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" } } */