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