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