gcc/testsuite/gcc.dg/tree-ssa/unreachable.c

   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 } } } } */