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