| /* { 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); | |
| } |