1 /* Tests that the may_alias attribute works as expected. 2 Author: Osku Salerma <osku@iki.fi> Apr 2002. */ 3 4 extern void abort(void); 5 extern void exit(int); 6 7 typedef short __attribute__((__may_alias__)) short_a; 8 9 int main(void)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