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" } } */