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 bar(void * p)7void bar (void *p) 8 { 9 foo (p); 10 if (!p) 11 __builtin_abort (); 12 } 13 14 /* { dg-final { scan-tree-dump-not "abort" "evrp" } } */ 15