[Bug tree-optimization/24141] [4.1 regression] VRP ICE in compare_name_with_value, at tree-vrp.c:2965

[belyshev at depni dot sinp dot msu dot ru]

------- Additional Comments From belyshev at depni dot sinp dot msu dot ru  
2005-09-30 10:55 -------
// reduced testcase, compile with -O2. Also, with --disable-checking
// gcc produces wrong code.

void abort (void);
int i;

void g (void)
{
  i = 1;
}

void f (int a, int b)
{
  int c = 0;
  if (a == 0)
    c = 1;
  if (c)
    return;
  if (c == 1)
    c = 0;
  if (b == 0)
    c = 1;
  if (c)
    g ();
}

int main (void)
{
  f (1, 0);
  if (i != 1)
    abort ();
  return 0;
}


-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
           Severity|normal                      |critical
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
           Keywords|                            |ice-checking, wrong-code
   Last reconfirmed|0000-00-00 00:00:00         |2005-09-30 10:55:54
               date|                            |
            Summary|VRP ICE in                  |[4.1 regression] VRP ICE in
                   |compare_name_with_value, at |compare_name_with_value, at
                   |tree-vrp.c:2965             |tree-vrp.c:2965
   Target Milestone|---                         |4.1.0


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