https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80346 --- Comment #5 from Jeffrey A. Law <law at redhat dot com> --- My very quick analysis from the IRC chat yesterday was that the first testcase has a path that should have been detected as unexecutable. I'd work from the full testcase rather than the reduced one.