|
|
|
|
|
|
by ivanbakel
3265 days ago
|
|
|
>a conditional qualification such as "if one does not invoke UB of LLVM" A conditional qualification which is intended to be unconditionally true of safe Rust code, outside bugs in the compiler. The universal statement is totally possible, because your conditional is equivalent to saying "if you write valid code". |
|
|
I emphasized "intended" because it seems like we're talking past each other.
You: re-emphasizing Rust's specified design goal.
Me: emphasizing the current state of Rust compiler as reality which makes the statement "safe Rust has no undefined behavior" as not true.
(In other words, I emphasize the unintentional UB whereas you do not.)
>, because your conditional is equivalent to saying "if you write valid code".
If you look at the github issue, "1.04E+17 as u8" is valid safe Rust code which invokes UB.