1 2 3 4 5 6 7 8 9 10 11 12
/* { dg-require-alias "" } */ #include "20081222_0.h" extern void abort (void); int main () { if (x () == 7) return 0; abort (); }