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