1 typedef struct __attribute__((__may_alias__)) { short x; } test;
2 
3 test *p;
4 
g(int * a)5 int g(int *a)
6 {
7  p = (test*)a;
8 }
9 
f()10 int f()
11 {
12   int a;
13   g(&a);
14   a = 10;
15   test s={1};
16   *p=s;
17   return a;
18 }
19 
main()20 int main() {
21   if (f() == 10)
22     __builtin_abort();
23   return 0;
24 }
25 
26 
27