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