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

     1  typedef struct __attribute__((__may_alias__)) { short x; } test;
     2  
     3  test *p;
     4  
     5  int g(int *a)
     6  {
     7   p = (test*)a;
     8  }
     9  
    10  int f()
    11  {
    12    int a;
    13    g(&a);
    14    a = 10;
    15    test s={1};
    16    *p=s;
    17    return a;
    18  }
    19  
    20  int main() {
    21    if (f() == 10)
    22      __builtin_abort();
    23    return 0;
    24  }
    25  
    26