http://gcc.gnu.org/bugzilla/show_bug.cgi?id=16351 --- Comment #15 from Jeffrey A. Law <law at redhat dot com> --- I expect it will be in GCC 4.9. It's a wrap-up item for -fisolate-erroneous-paths.