> Even if your code is perfect, the compiler might optimize it into something that might contain undefined behavior.

This is false. If your code is perfect, the compiler shouldn't do such optimization. Of course compilers have bugs, but that's compiler bugs not language standard problem. (Not to speak of bug free compilers like CompCert.)