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

   1 /* { dg-do compile } */
   2 /* { dg-options "-O2 -fdump-tree-evrp -fdelete-null-pointer-checks" } */
   3 /* { dg-skip-if "" { keeps_null_pointer_checks } } */
   4
   5 void foo (void *p) __attribute__((nonnull(1)));
   6
   7 void bar (void *p)
   8 {
   9   foo (p);
  10   if (!p)
  11     __builtin_abort ();
  12 }
  13
  14 /* { dg-final { scan-tree-dump-not "abort" "evrp" } } */