The difference between undefined behavior and ill-formed C++ programs (devblogs.microsoft.com)