https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101830
--- Comment #10 from Bill Schmidt <wschmidt at gcc dot gnu.org> --- As a reminder, the code compiled fine with no warnings until the rewrite of the back-threader. Based on the IL example above, it looks to me like the new pass is not producing a self-consistent CFG in all cases.