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