The difference between undefined behavior and ill-formed C++ programs