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