1 /* { dg-do compile } */ 2 /* { dg-options "-O2 -fdump-ipa-cp-details" } */ 3 4 volatile int cond; 5 6 static __attribute__((noinline, noclone)) foo(int i)7int foo (int i) 8 { 9 if (i < 5) 10 __builtin_abort (); 11 return 0; 12 } 13 14 static __attribute__((noinline, noclone)) bar(int j)15int bar (int j) 16 { 17 if (cond) 18 foo (j); 19 return 0; 20 } 21 main()22int main () 23 { 24 for (unsigned int i = 0; i < 10; ++i) 25 bar (i); 26 27 return 0; 28 } 29 30 /* { dg-final { scan-ipa-dump-times "Setting value range of param 0 \\\[0, 9\\\]" 2 "cp" } } */ 31