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

[pinskia at gcc dot gnu dot org]

Kinda like PR 14490 but for the -fwrapv and unsigned cases:

void bar (void);

void
foo (unsigned a)
{
  if (a < 100)
    return;
  if (200 < a)
    return;

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


-- 
           Summary: Simplify "a - 10 > 150" into "a > 160" when range of a
                    is known (in VRP or somewhere else)
           Product: gcc
           Version: 4.2.0
            Status: UNCONFIRMED
          Keywords: missed-optimization
          Severity: normal
          Priority: P3
         Component: tree-optimization
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: pinskia at gcc dot gnu dot org


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