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

   1 /* { dg-do compile } */
   2 /* { dg-options "-O2 -fdump-tree-vrp1" } */
   3
   4 extern void link_error (void);
   5 void foo (void)
   6 {
   7   int j = 256;
   8   do
   9     {
  10       if (j < 0 || j > 256)
  11         link_error ();
  12       j--;
  13     }
  14   while (j >= 0);
  15   if (j != -1)
  16     link_error ();
  17 }
  18 extern void link_error (void);
  19 void bar (void)
  20 {
  21   int j = 0;
  22   do
  23     {
  24       if (j < 0 || j > 256)
  25         link_error ();
  26       j++;
  27     }
  28   while (j <= 256);
  29   if (j != 257)
  30     link_error ();
  31 }
  32
  33 /* { dg-final { scan-tree-dump-not "link_error" "vrp1" } } */