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

   1 /* { dg-do compile } */
   2 /* { dg-options "-O2 -fdump-tree-vrp1" } */
   3
   4 int
   5 foo (int *p)
   6 {
   7   int a = *p;
   8   int b = p != 0;
   9
  10   *p = b;
  11
  12   if (b)
  13     return a;
  14   else
  15     return 0;
  16 }
  17
  18 /* { dg-final { scan-tree-dump-times "Folding predicate " 1 "vrp1" } } */
  19 /* { dg-final { scan-tree-dump-not "b_. =" "vrp1" } } */
  20 /* { dg-final { cleanup-tree-dump "vrp1" } } */