Note that this post was heavily discussed and disputed. The question "is undefined behavior treated correctly?" is rather contentious. It certainly is the case

Note that this post was heavily discussed and disputed. The question "is undefined behavior treated correctly?" is rather contentious. It certainly is the case that most compiler writers have decided this is okay. And I personally tend to agree with them.