/* { dg-do run } */ | |
int __attribute__((noinline)) | |
test (int token) | |
{ | |
int done = 0; | |
int virtual_p = 0; | |
while (!done) | |
{ | |
if (token == 42) | |
virtual_p = 1; | |
else | |
done = 1; | |
} | |
return virtual_p; | |
} | |
extern void abort (void); | |
int | |
main() | |
{ | |
if (test (0) != 0) | |
abort (); | |
return 0; | |
} |