1  /* { dg-do compile } */
       2  /* { dg-options "-O -fexceptions -fnon-call-exceptions" } */
       3  /* { dg-require-effective-target exceptions } */
       4  
       5  extern void f2 () __attribute__ ((noreturn));
       6  void
       7  f1 ()
       8  {
       9    unsigned char a[8];
      10    unsigned int i;
      11  
      12    for (i = 0; i < 8; i++)
      13      {
      14        if (i > 8)
      15  	f2 ();
      16        a[i] = i <= 8;
      17      }
      18  }