[Bug tree-optimization/81913] [8 Regression] wrong code at -O1

[rguenth at gcc dot gnu.org]

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)