> *Yes, -fcatch-undefined-behavior. > http://clang.llvm.org/docs/UsersManual.html#codegen Thanks guys. My understanding of the situation is that for meaningful automated testing, the protection from undefined behavior has to cover all problems that actually occur in the code under test. But I'll keep checking on this... John