His understanding of undefined behavior seems off. Undefined behavior does not imply that the program crashes. I agree with him though that this would be a nice feature.
> Andrew: In release fast mode, which is unsafe, you will get actual undefined behavior. So, you might crash or you might get overflow. You might go down to zero or you might run an unrelated function.
Are you perhaps confusing this with statements made about the debug and release safe build modes?
