1  /* PR bootstrap/34003 */
       2  /* { dg-do compile } */
       3  /* { dg-options "-O0" } */
       4  
       5  extern void abort (void);
       6  
       7  int seen = 0;
       8  
       9  void foo (void)
      10  {
      11    ++seen;
      12  }
      13  
      14  int main (void)
      15  {
      16    extern int bar (void);
      17    if (bar () != 1 || seen != 1)
      18      abort ();
      19    return 0;
      20  }