gcc/testsuite/gcc.dg/ipa/vrp7.c

   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))
   8 int foo (int i)
   9 {
  10   if (i < 5)
  11     __builtin_abort ();
  12   return 0;
  13 }
  14
  15 static __attribute__((noinline, noclone))
  16 int bar (int j)
  17 {
  18   foo (~j);
  19   foo (abs (j));
  20   foo (j);
  21   return 0;
  22 }
  23
  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 \\(now 0\\) .irange. int \\\[-10, 9\\\]" 1 "cp" } } */