Re:Defining the Undefinedness of C (2015) [pdf]
by Manishearth on Wednesday July 26, 2017 @12:35PM
(#14857727)
Assuming no compiler bugs, no.
UB isn't something "caused" by optimizations, it's something that exists in the code before optimizations, optimizations can just trigger nasal demons. So you shouldn't be able to write UB in safe Rust assuming no compiler bugs.
(And assuming that any unsafe libraries being leveraged are bug free)
UB isn't something "caused" by optimizations, it's something that exists in the code before optimizations, optimizations can just trigger nasal demons. So you shouldn't be able to write UB in safe Rust assuming no compiler bugs.
(And assuming that any unsafe libraries being leveraged are bug free)