[Bug tree-optimization/27109] Simplify "a - 10 > 150" into "a > 160" when range of a is known (in VRP or somewhere else)

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

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Last reconfirmed|2007-07-01 00:53:44         |2021-6-2

--- Comment #3 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Here is a better testcase:
void bar(void);
void goo(void);
void
foo (unsigned a)
{
  if (a < 100)
    return;
  goo();
  if (200 < a)
    return;

  if (a - 10 > 150)
    bar ();
}


Note the original testcase is optimized correctly in reassoc1 but that was not
the point of it.
Anyways we have:
  # RANGE [90, 190] NONZERO 255
  _1 = a_3(D) + 4294967286;
  if (_1 > 150)

4294967286 is -10