http://gcc.gnu.org/bugzilla/show_bug.cgi?id=44786
Vincent Lefèvre <vincent-gcc at vinc17 dot net> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |vincent-gcc at vinc17 dot net --- Comment #8 from Vincent Lefèvre <vincent-gcc at vinc17 dot net> --- GCC 4.9, which has just been released, has -fsanitize=undefined (and some other -fsanitize checks): http://gcc.gnu.org/onlinedocs/gcc-4.9.0/gcc/Debugging-Options.html#Debugging-Options However it only gives a runtime diagnostic message. It basically lacks clang's -fno-sanitize-recover option to make the program abort (useful for test suites). After that, I suppose that this enhancement would be complete (it doesn't check all kinds of undefined behavior, such as the use of uninitialized variables, but clang doesn't do this either).