Originally Posted by Elkvis I'd argue that, because it is emitting a UD2, it does know about the undefined behavior at build time, and should be able to emit a diagnostic. You haven't explained what your problem is with the presence of these UD2 instructions. Do you not test your code? EDITED: thought it was Epy I was replying to.
Code: //try //{ if (a) do { f( b); } while(1); else do { f(!b); } while(1); //}
//try //{ if (a) do { f( b); } while(1); else do { f(!b); } while(1); //}