1  /* { dg-do compile } */
       2  /* { dg-options "-O2 -fdump-tree-evrp -fdelete-null-pointer-checks" } */
       3  
       4  extern void link_error ();
       5  
       6  void foo (int *x)
       7  {
       8    int *p = x + 1;
       9    if (p == 0)
      10      link_error ();
      11  }
      12  
      13  void bar (char *x, int a)
      14  {
      15    if (a != 0)
      16      {
      17        char *p = x + a;
      18        if (p == 0)
      19  	link_error ();
      20      }
      21  }
      22  
      23  /* { dg-final { scan-tree-dump-not "link_error" "evrp" } }  */