1 /* { dg-do run } */
2 
foo(int * p)3 int __attribute__((pure,noinline,noclone)) foo (int *p)
4 {
5   return *p * 2;
6 }
7 
main()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 }
28