1  /* { dg-do run } */
       2  
       3  int __attribute__((pure,noinline,noclone)) foo (int *p)
       4  {
       5    return *p * 2;
       6  }
       7  
       8  int main()
       9  {
      10    int k = 0;
      11    int i;
      12  #pragma GCC ivdep
      13    for (k = 0; k < 9;)
      14      {
      15        i = 0;
      16        while (1)
      17  	{
      18  	  k += foo (&i);
      19  	  if (k > 7)
      20  	    break;
      21  	  i++;
      22  	}
      23      }
      24    if (k != 12)
      25      __builtin_abort ();
      26    return 0;
      27  }