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