1  /* { dg-do compile } */
       2  
       3  int n;
       4  
       5  void
       6  bar (int, int);
       7  
       8  __attribute__ ((noinline, returns_twice)) int
       9  zero (void)
      10  {
      11    return 0;
      12  }
      13  
      14  void
      15  foo (void)
      16  {
      17    (void) zero ();
      18  
      19    n = 0;
      20  
      21    for (;;)
      22      bar (zero (), n);
      23  }