https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91052
--- Comment #8 from Kewen Lin <linkw at gcc dot gnu.org> --- Sorry, I just saw this bug was starting to fail with my commit. Thanks for @ing me! My commit is just to pass the finiteness information down to RTL phase. The loops in that case are simple and have only an exit respectively, it should be taken as finite loop, I think my commit just exposed some bugs. I'll take vacation for two weeks, will dig into this then.