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