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