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