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)7 int foo (int i)
8 {
9   if (i < 5)
10     __builtin_abort ();
11   return 0;
12 }
13 
14 static __attribute__((noinline, noclone))
bar(int j)15 int bar (int j)
16 {
17   if (cond)
18     foo (j);
19   return 0;
20 }
21 
main()22 int 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