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)8foo (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