alt Hacker News“Undefined behavior” is a term of art in programming languages that means something more specific than “the program may do something odd.”
The compiler is not allowed to derive any assumptions from it. It only could if it were UB.
“Undefined behavior” is a term of art in programming languages that means something more specific than “the program may do something odd.”
The compiler is not allowed to derive any assumptions from it. It only could if it were UB.
But did the rust compiler assume that the integer would not overflow? It did so in Debug mode where runtime checks were added. If it's not the case in Release mode, does that mean semantics are different between Debug and Release?