1 /* { dg-do compile } */
2 /* { dg-additional-options "-finline-functions" } */
3 
4 int vh, it, k1;
5 
6 void
vn(void)7 vn (void)
8 {
9   ++vh;
10   if (vh == 0 && it == 0)
11     k1 = -k1;
12 }
13 
14 __attribute__ ((returns_twice)) void
ef(int * uw)15 ef (int *uw)
16 {
17   while (uw != (void *) 0)
18     {
19       vn ();
20       *uw = 0;
21     }
22 }
23 
24 void
gu(int * uw)25 gu (int *uw)
26 {
27   ef (uw);
28 }
29