1 /* { dg-do compile } */
2 /* { dg-additional-options "-Wno-div-by-zero" } */
3 
4 __attribute__ ((returns_twice)) int
5 bar (void);
6 
7 void
foo(int * p,int x)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 }
22