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