1  /* { dg-do compile } */
       2  /* { dg-options "-O2 -fdelete-null-pointer-checks -fdump-tree-optimized" } */
       3  
       4  /* { dg-skip-if "" keeps_null_pointer_checks } */
       5  extern int a;
       6  int
       7  t()
       8  {
       9    /* { dg-final { scan-tree-dump-not "&a != 0" "optimized" } } */
      10    return &a!=0;
      11  }