1  /* { dg-do compile } */
       2  /* { dg-options "-O2 -fno-delete-null-pointer-checks -fdump-tree-optimized -fno-isolate-erroneous-paths-dereference" }
       3   * */
       4  
       5  int f(int *p)
       6  {
       7    int a = *p;
       8    int *null = 0;
       9    *null = 5;
      10    return *p == a;
      11  }
      12  
      13  /* { dg-final { scan-tree-dump-times "\\\*p" 2 "optimized" } } */
      14  /* { dg-final { scan-tree-dump-not "return 1" "optimized" } } */
      15  
      16