1 /* PR tree-optimization/71872 */ 2 3 struct __attribute__((may_alias)) S { int a; }; 4 5 void foo(int * x,struct S * y)6 foo (int *x, struct S *y) 7 { 8 int i; 9 for (i = 0; i < 16; i++) 10 { 11 int a = 0; 12 if (*x) 13 *(struct S *) y = *(struct S *) &a; 14 } 15 } 16