1  /* { dg-do compile } */
       2  /* { dg-additional-options "-O -fexceptions" } */
       3  /* { dg-require-effective-target exceptions } */
       4  
       5  typedef __attribute__ ((const)) int (*bart) (void);
       6  
       7  int foo (bart bar, int m)
       8  {
       9    int i, j = 0;
      10    for (i = 0; i < m; i++)
      11      j += bar();
      12    return j;
      13  }
      14