[Bug tree-optimization/23604] New: [4.1 Regression] wrong code due to VRP

["pinskia at gcc dot gnu dot org" <gcc-bugzilla at gcc dot gnu dot org>]

The following should not abort but does at -O2.

int g(int i, int j)
{
  if (i>-1)
    if (i<2)
     {
        if (i != j)
          {
            if (j != 0)
                return 0;
          }
     }
  return 1;
}

int main(void)
{
  if (!g(1, 0))
   abort ();
  return 0;
}

---

I found this while working on PR 23603.

-- 
           Summary: [4.1 Regression] wrong code due to VRP
           Product: gcc
           Version: 4.1.0
            Status: UNCONFIRMED
          Keywords: wrong-code
          Severity: normal
          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
OtherBugsDependingO 23603
             nThis:


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