[Bug tree-optimization/18241] [4.0 Regression] linux kernel loop gets miscompiled

[steven at gcc dot gnu dot org]

------- Additional Comments From steven at gcc dot gnu dot org  2005-01-03 
22:59 -------
the .t17.ssa dump: 
 
f (i1243D.1466) 
{ 
  volatile intD.0 * i2D.1471; 
  intD.0 * i1D.1470; 
  intD.0 iD.1469[2]; 
  intD.0 D.1475; 
  intD.0 D.1474; 
  intD.0 D.1473; 
  volatile intD.0 * D.1472; 
 
  # BLOCK 0 
  # PRED: ENTRY (fallthru) 
  i1D.1470_1 = &iD.1469; 
  #   iD.1469_3 = V_MAY_DEF <iD.1469_2>; 
  iD.1469[0] = 1; 
  i2D.1471_4 = i1D.1470_1; 
  D.1472_5 = i2D.1471_4 + 4B; 
  *D.1472_5 = 1; 
  i1243D.1466_6 = 0; 
  D.1472_7 = i2D.1471_4 + 4B; 
  D.1474_8 = *D.1472_7; 
  D.1475_9 = *i2D.1471_4; 
  D.1473_10 = D.1474_8 + D.1475_9; 
  return D.1473_10; 
  # SUCC: EXIT 
} 
 
Shouldn't there be a VUSE for "D.1474_8 = *D.1472_7"? 
 

-- 


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