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)10 main (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