https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114787
--- Comment #5 from Andrew Pinski <pinskia at gcc dot gnu.org> --- The first difference (in GCC 13) with/without -fdump-tree-all-all comes from cunroll: Broken: ``` Loop 3 iterates 2 times. Loop 3 iterates at most 1 times. Loop 3 likely iterates at most 1 times. Analyzing # of iterations of loop 3 exit condition [2, + , 4294967295] != 0 bounds on difference of bases: -2 ... -2 result: # of iterations 2, bounded by 2 Removed pointless exit: if (ivtmp_43 != 0) ``` Working: ``` Loop 3 iterates 2 times. Loop 3 iterates at most 2 times. Loop 3 likely iterates at most 2 times. ```