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

     1  /* Tests that the may_alias attribute works as expected.
     2     Author: Osku Salerma <osku@iki.fi> Apr 2002.  */
     3   
     4  extern void abort(void);
     5  extern void exit(int);
     6  
     7  typedef short __attribute__((__may_alias__)) short_a;
     8  
     9  int
    10  main (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  }