1 /* { dg-do run } */
2 
3 int __attribute__((noinline))
test(int token)4 test (int token)
5 {
6   int done = 0;
7   int virtual_p = 0;
8   while (!done)
9     {
10       if (token == 42)
11 	virtual_p = 1;
12       else
13 	done = 1;
14     }
15   return virtual_p;
16 }
17 extern void abort (void);
18 int
main()19 main()
20 {
21   if (test (0) != 0)
22     abort ();
23   return 0;
24 }
25