1 /* { dg-additional-options "-O3" } */ 2 3 #include <stdlib.h> 4 5 int a; 6 int c; foo(int x)7__attribute__((noinline, noclone)) void foo (int x) 8 { 9 if (x == 0) 10 c++; 11 } 12 13 int main(int argc,char * argv[])14main (int argc, char* argv[]) 15 { 16 int j, k, b = 0; 17 if (argc == 0) 18 b = 1; 19 for (j = 0; j < 3; j++) 20 for (k = 0; k < 1; k++) 21 { 22 foo (0); 23 if (b) 24 for (k = -1; a;) 25 ; 26 } 27 if (c != 3) 28 abort (); 29 return 0; 30 } 31