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