http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59083
--- Comment #2 from Jeffrey A. Law <law at redhat dot com> --- I need a compilable/complete testcase. If a program is faulting with -fisolate-erroneous-paths, then that program is faulty in one way or another. It's dereferencing a null pointer, pass a null argument in a situation where the argument must be non-null, or returning a null pointer from a function declared as returning non-null.