1  /* { dg-do compile }  */
       2  
       3  int _setjmp (void *);
       4  void foo (int);
       5  
       6  void
       7  bar (int e, int b, char c, void *d)
       8  {
       9    while (b)
      10      {
      11        if (_setjmp (d))
      12  	foo (e);
      13        if (c)
      14  	{
      15  	  e--;
      16  	  foo (0);
      17  	}
      18        e++;
      19      }
      20  }