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