Comment by mjevans

Any instance of undefined behavior should result in a Warning, if not an Error.

Similarly, 'dead code paths' should also result in a Warning, if not an Error. (Possibly with a way of turning that off for specific functions.)

I also fully agree with the author's statement about what a good compiler should be doing.