------- Additional Comments From belyshev at depni dot sinp dot msu dot ru  
2005-08-02 08:13 -------
I think this testcase even better, it fails with -O1 -fstrict-aliasing and -O2:

struct S { int i; } s;

void f (struct S *q)
{
  int a, *p;
  p = &a;
  if (q)
    p = &q->i;
  *p = 1;
}

void abort (void);

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


-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
           Severity|normal                      |critical
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
      Known to work|                            |4.1.0 3.4.5
   Last reconfirmed|0000-00-00 00:00:00         |2005-08-02 08:13:43
               date|                            |


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

Reply via email to