[Bug middle-end/21985] [4.0/4.1 Regression] miscompiled or wrong code snippet?

[steven at gcc dot gnu dot org]

------- Additional Comments From steven at gcc dot gnu dot org  2005-06-10 
23:41 -------
Must be a fold bug, caused by this: 
http://gcc.gnu.org/ml/gcc-patches/2004-11/msg00715.html 
 
My .gimple dump already looks wrong: 
 
main () 
{ 
  unsigned char * b.0; 
  unsigned char * D.1575; 
  int D.1576; 
  unsigned char * b; 
  unsigned int size; 
 
  b.0 = (unsigned char *) &b; 
  D.1575 = b.0 + 1B; 
  b = D.1575; 
  size = 0; 
  if (size != 4294967295) 
    { 
      abort (); 
    } 
  else 
    { 
 
    } 
  D.1576 = 0; 
  return D.1576; 
} 
 
Note "size = 0" which is BS. 
 

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
   Last reconfirmed|2005-06-09 16:26:32         |2005-06-10 23:41:31
               date|                            |


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