/* { dg-do compile } */ | |
/* { dg-additional-options "-finline-functions" } */ | |
int vh, it, k1; | |
void | |
vn (void) | |
{ | |
++vh; | |
if (vh == 0 && it == 0) | |
k1 = -k1; | |
} | |
__attribute__ ((returns_twice)) void | |
ef (int *uw) | |
{ | |
while (uw != (void *) 0) | |
{ | |
vn (); | |
*uw = 0; | |
} | |
} | |
void | |
gu (int *uw) | |
{ | |
ef (uw); | |
} |