[Bug tree-optimization/27603] [4.1/4.2 Regression] wrong code, apparently due to bad VRP

[rguenth at gcc dot gnu dot org]

------- Comment #2 from rguenth at gcc dot gnu dot org  2006-05-14 17:44 -------
Confirmed.  Reduced testcase:

void abort(void);

int g1[6] = { 0, 0, 0, 0, 0, 0 };
int g4 = 0;

void Foo(void)
{
  int j;
  for (j = 0; j < 6; j++) {
    if (j == 3 || j == 4)
      g1[j] = 100;
    g4 += 1000 * (6 - j);
  }
}

int main() {
  Foo();
  if (g1[3] != 100 || g1[4] != 100)
    abort ();
  return 0;
}


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2006-05-14 17:44:48
               date|                            |


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