[Bug tree-optimization/77387] -Wstrict-overflow pessimizes VRP in some cases for ABS_EXPR

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

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |needs-bisection
      Known to work|                            |8.1.0
      Known to fail|                            |7.5.0

--- Comment #4 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
EVRP in 8+:
_1: [0, 127]
i_2(D): VARYING
x_4: [0, +INF]
x_5: [0, 127]

EVRP in 7.5.0:
_1: VARYING
i_2(D): VARYING
x_4: [0, +INF(OVF)]
x_5: VARYING

Looks to be fixed for GCC 8.