https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112358
--- Comment #7 from Jeffrey A. Law <law at gcc dot gnu.org> --- It could well be the case that the threader could transform this code to eliminate the unexecutable path, but that it wasn't deemed profitable, thus leaving a path in the IL that will never occur at runtime.