1  /* { dg-do run } */
       2  
       3  extern void exit(int);
       4  extern void abort(void);
       5  int a[10];
       6  int foo()
       7  {
       8    exit (0);
       9    return 0;
      10  }
      11  int main()
      12  {
      13    if (&a[foo()])
      14      abort ();
      15    return 0;
      16  }