modernc.org/ccgo/v3@v3.16.14/lib/testdata/gcc-9.1.0/gcc/testsuite/gcc.c-torture/execute/mayalias-2.c (about)

     1  typedef struct __attribute__((__may_alias__)) { short x; } test;
     2  
     3  int f() {
     4    int a=10;
     5    test *p=(test *)&a;
     6    p->x = 1;
     7    return a;
     8  }
     9  
    10  int main() {
    11    if (f() == 10)
    12      __builtin_abort();
    13    return 0;
    14  }
    15  
    16