gcc/testsuite/gcc.dg/tree-ssa/vrp01.c

   1 /* { dg-do compile } */
   2 /* { dg-options "-O2 -fdump-tree-vrp" } */
   3
   4 foo (int *p, int i)
   5 {
   6   int x;
   7
   8   if (i > 10)
   9     {
  10       if (p)
  11         {
  12           x = *p;
  13           p = 0;
  14         }
  15     }
  16   else
  17     p = 0;
  18
  19   /* This should be folded to if (1), but only if we insert an
  20      assertion on the ELSE edge from the inner 'if (p)'.  */
  21   if (p == 0)
  22     return x + 1;
  23
  24   return i;
  25 }
  26
  27 /* { dg-final { scan-tree-dump-times "Folding predicate p_.*to 1" 1 "vrp" } } */
  28 /* { dg-final { cleanup-tree-dump "vrp" } } */