Quote Originally Posted by Elkvis View Post
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.