News for hackers. Stuff that matters.
Re:Defining the Undefinedness of C (2015) [pdf] by bbatha on Wednesday July 26, 2017 @12:32PM (#14857703)
Its totally possible, but its considered a compiler bug if it does happen. In the same way that its possible to segfault java if there's a bug in the jit. There's an on going project to verify the semantics of the Rust language and its safe abstractions[0] which should make it easier to choose which optimizations are legal.

0: http://plv.mpi-sws.org/rustbelt/

There are no comments on this comment yet.