gcc-4.9/gcc/testsuite/gcc.c-torture/execute/mayalias-2.c


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

typedef struct __attribute__((__may_alias__)) { short x; } test;

int f() {
  int a=10;
  test *p=(test *)&a;
  p->x = 1;
  return a;
}

int main() {
  if (f() == 10)
    __builtin_abort();
  return 0;
}