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

   1 /* { dg-do compile } */
   2 /* { dg-options "-O2 -fno-thread-jumps -fdisable-tree-evrp -fdump-tree-vrp1 -fdelete-null-pointer-checks" } */
   3
   4 int g, h;
   5
   6 int
   7 foo (int a)
   8 {
   9   int *p;
  10
  11   if (a)
  12     p = &g;
  13   else
  14     p = &h;
  15
  16   if (p != 0)
  17     return 1;
  18   else
  19     return 0;
  20 }
  21
  22 /* { dg-final { scan-tree-dump-times "Folding predicate.*to 1" 1 "vrp1" { target { ! keeps_null_pointer_checks } } } } */