[Bug tree-optimization/113434] [13/14/17 Regression] VRP misses conditional in loop is always false sometimes

[pinskia at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113434

Drea Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|[13/14 Regression] VRP      |[13/14/17 Regression] VRP
                   |misses conditional in loop  |misses conditional in loop
                   |is always false sometimes   |is always false sometimes
      Known to work|                            |11.2.0
      Known to fail|                            |17.0

--- Comment #6 from Drea Pinski <pinskia at gcc dot gnu.org> ---
Looks like this regresses again on the trunk at least with `-O3 -fwrapv
-fno-tree-vectorize -fno-ivopts`.