1  /* { dg-do compile } */
       2  /* { dg-additional-options "-Wno-div-by-zero" } */
       3  
       4  __attribute__ ((returns_twice)) int
       5  bar (void);
       6  
       7  void
       8  foo (int *p, int x)
       9  {
      10    *p = 0;
      11    while (*p < 1)
      12      {
      13        x = 0;
      14        while (x < 1)
      15          bar ();
      16  
      17        x /= 0;
      18      }
      19  
      20    foo (p, x);
      21  }