And see John Regehr's ( http://blog.regehr.org/ http://blog.regehr.org/, of the headline article) other posts. He's written a great deal about undefined behavio

And see John Regehr's ( http://blog.regehr.org/ http://blog.regehr.org/, of the headline article) other posts. He's written a great deal about undefined behaviour in C/C++ and how modern compilers handle it. Check the ‘Compilers’ and ‘Software Correctness’ categories.