1 /* { dg-do compile } */ 2 /* { dg-options "-O2 -fdump-tree-evrp" } */ 3 4 extern void link_error (); 5 foo(int * x)6void foo (int *x) 7 { 8 int *p = x + 1; 9 if (p == 0) 10 link_error (); 11 } 12 bar(char * x,int a)13void 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" } } */ 24