[Bug middle-end/116753] [13/14/15/16 Regression] GCC trunk (-O3) can't fold a loop into a constant since r13-3596-ge7310e24b1c0ca67b1bb507c1330b2bf39e59e32

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

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |fixed-but-no-testcase,
                   |                            |needs-bisection

--- Comment #8 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
```
Global Exported: x_4 = [irange] long int [-9223372036854775804, -2][0, 0][2,
2][4, 10]
Simplified relational if (x_4 <= 9)
 into if (x_4 != 10)
```

is produced instead of what was before:
Global Exported: x_4 = [irange] long int [-9223372036854775806, 0][2, 11]

in vrp1.

But earlier in evrp we have:
  # RANGE [irange] long int [-9223372036854775806, -2][0, 0][2, 10][16,
9223372036854775802]
  # x_7 = PHI <x_6(6), 0(2), x_14(8), x_6(7)>


vs previously:
  # RANGE [irange] long int [-9223372036854775807, 0][2, 11][16,
9223372036854775802]
  # x_7 = PHI <x_2(9), 0(2)>

Which vrp refines.