1  /* { dg-do link } */
       2  /* { dg-options "-O2 -fdump-tree-vrp1" } */
       3  
       4  #include "vrp.h"
       5  
       6  void test1 (int i, int j, int b)
       7  {
       8    RANGE(i, 2, 6);
       9    ANTI_RANGE(j, 1, 7);
      10    MERGE(b, i, j);
      11    CHECK_ANTI_RANGE(i, 1, 1);
      12  }
      13  int main() { }
      14  
      15  /* VRP will arbitrarily choose ~[1, 1] when merging [2, 6] with ~[1, 7].  */
      16  
      17  /* { dg-final { scan-tree-dump-times "link_error" 0 "vrp1" } } */