1  /* { dg-options "-O0" } */
       2  
       3  extern void fn1 (void);
       4  
       5  int a;
       6  
       7  int
       8  main ()
       9  {
      10    fn1 ();
      11  
      12    if (a != 0) 
      13      __builtin_abort (); 
      14  
      15    return 0;
      16  }