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