1  /* { dg-do compile } */
       2  
       3  extern int baz (void);
       4  extern int foo (void) __attribute__ ((returns_twice));
       5  
       6  void
       7  bar (_Bool b)
       8  {
       9    int buf[1];
      10    while (1)
      11      {
      12        _Bool x = 1;
      13        if (b)
      14  	baz ();
      15        b = 1;
      16        baz ();
      17        x = 0;
      18        unsigned int i;
      19        while (buf[i] && i)
      20  	i++;
      21        foo ();
      22        if (!x)
      23  	b = 0;
      24      }
      25  }