https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81913
Richard Biener <rguenth at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |amker at gcc dot gnu.org, | |rguenth at gcc dot gnu.org --- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> --- It's SCEV const-prop aka final value replacement (and thus likely niter analysis): Analyzing # of iterations of loop 1 exit condition [0, + , 5] <= 0 bounds on difference of bases: 0 ... 0 result: # of iterations 1, bounded by 1 Replacing uses of: e_5 with: 4266897156 gimple_simplified to if (1 != 0)