gcc/testsuite/gcc.dg/tree-ssa/evrp11.c

   1 /* { dg-do compile } */
   2 /* { dg-options "-O2 -fdump-tree-evrp" } */
   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" } }  */