1/* Tests that the may_alias attribute works as expected. 2 Author: Osku Salerma <osku@iki.fi> Apr 2002. */ 3 4extern void abort(void); 5extern void exit(int); 6 7typedef short __attribute__((__may_alias__)) short_a; 8 9int 10main (void) 11{ 12 int a = 0x12345678; 13 short_a *b = (short_a*) &a; 14 15 b[1] = 0; 16 17 if (a == 0x12345678) 18 abort(); 19 20 exit(0); 21} 22