1 /* { dg-do link } */
2 /* { dg-options "-O2 -fdump-tree-vrp1" } */
3 
4 #include "vrp.h"
5 
test1(int i,int j,int b)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 }
main()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" } } */
18