gcc/testsuite/gcc.dg/ipa/vrp3.c

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