[Bug tree-optimization/22235] New: VRP misses folding opportunity with ranges

[pinskia at gcc dot gnu dot org]

Take the following code, there should be no references to link_error left if we 
enable VRP.

void link_error (void);
void
foo (int a)
{
  if (a < 100)
    return;
  if (200 < a)
    return;
  if (a > 160)
    link_error ();
}

-- 
           Summary: VRP misses folding opportunity with ranges
           Product: gcc
           Version: 4.0.1
            Status: UNCONFIRMED
          Keywords: missed-optimization
          Severity: enhancement
          Priority: P2
         Component: tree-optimization
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: pinskia at gcc dot gnu dot org
                CC: gcc-bugs at gcc dot gnu dot org


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