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

     1  int val;
     2  
     3  int *ptr = &val;
     4  float *ptr2 = &val;
     5  
     6  __attribute__((optimize ("-fno-strict-aliasing")))
     7  typepun ()
     8  {
     9    *ptr2=0;
    10  }
    11  
    12  main()
    13  {
    14    *ptr=1;
    15    typepun ();
    16    if (*ptr)
    17      __builtin_abort ();
    18  }
    19