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