1 /* { dg-do compile } */ 2 /* { dg-options "-O1 -fdump-tree-optimized -fdelete-null-pointer-checks" } */ bad_boy()3static void bad_boy() 4 { 5 } 6 int main()7main() 8 { 9 void *t=(void *)bad_boy; 10 if (!t) 11 return 1; 12 return 0; 13 } 14 /* { dg-final { scan-tree-dump-not "bad_boy" "optimized" { target { ! keeps_null_pointer_checks } } } } */ 15