1  /* PR c/88367 */
       2  /* { dg-do compile } */
       3  /* { dg-options "-fno-delete-null-pointer-checks -O2 -fdump-tree-optimized -fno-wrapv-pointer" } */
       4  /* { dg-final { scan-tree-dump-not "link_error \\(\\);" "optimized" } } */
       5  /* { dg-final { scan-tree-dump-times "bar \\(\\);" 2 "optimized" } } */
       6  
       7  void bar (void);
       8  void link_error (void);
       9  
      10  void
      11  foo (char *p)
      12  {
      13    if (!p)
      14      return;
      15    p += 3;
      16    if (!p)
      17      link_error ();
      18    p -= 6;
      19    if (!p)
      20      bar ();
      21  }
      22  
      23  void
      24  baz (char *p)
      25  {
      26    if (!p)
      27      return;
      28    p -= 6;
      29    if (!p)
      30      bar ();
      31  }