1 /* { dg-do compile } */ 2 /* { dg-options "-O2 -fdelete-null-pointer-checks -fdump-tree-vrp1" } */ 3 /* { dg-skip-if "" { keeps_null_pointer_checks } } */ 4 5 struct B { int x; }; foo(struct S * x)6extern void g3(struct B *that) __attribute__((nonnull)); 7 int f3(struct B *a) 8 { 9 g3(a); 10 return a != (void *)0; 11 } bar(struct S * x)12 13 /* { dg-final { scan-tree-dump "return 1;" "vrp1" } } */ 14