1 /* { dg-do compile } */
2 /* { dg-options "-O2 -fdump-ipa-cp-details" } */
3 
4 static __attribute__((noinline, noclone))
foo(int i)5 int foo (int i)
6 {
7   if (i < 5)
8     __builtin_abort ();
9   return 0;
10 }
11 
12 static __attribute__((noinline, noclone))
bar(int j)13 int 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()23 int 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