1 /* { dg-do compile } */
2 /* { dg-options "-O1 -fdump-tree-optimized -fdelete-null-pointer-checks" } */
bad_boy()3 static void bad_boy()
4 {
5 }
6 int
main()7 main()
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