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