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