1  /* { dg-do run } */
       2  
       3  int __attribute__((noinline))
       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
      19  main()
      20  {
      21    if (test (0) != 0)
      22      abort ();
      23    return 0;
      24  }