1 /* { dg-do compile } */
2 /* { dg-options "-O1 -ftree-vrp -fdump-tree-vrp1" } */
3 /* { dg-require-effective-target int32plus } */
4
5 extern void link_error ();
6
test01(unsigned int a,unsigned int b)7 void test01(unsigned int a, unsigned int b)
8 {
9 unsigned int x = 0x80000000;
10 if (a < x)
11 if (b < x)
12 if (a > 5)
13 if (a + b == 0U)
14 link_error ();
15 }
16
test02(unsigned int a,unsigned int b)17 void test02(unsigned int a, unsigned int b)
18 {
19 unsigned int x = 0x80000000;
20 if (a > x)
21 if (b < x)
22 if (a - b == 1U)
23 link_error ();
24 }
25
26 /* { dg-final { scan-tree-dump-times "link_error" 0 "vrp1" } } */
27