1 /* { dg-do compile } */
2 /* { dg-require-effective-target int32plus } */
3 /* { dg-options "-O2 -fdump-tree-vrp1" } */
4 
5 extern void link_error (void);
6 
7 void
foo(unsigned int s)8 foo (unsigned int s)
9 {
10   if (s + 0x70000000 < 0xf0000000U)
11     {
12       if (s >= 0x80000000U && s < 0x90000000U)
13 	link_error ();
14     }
15 }
16 
17 void
bar(unsigned int s)18 bar (unsigned int s)
19 {
20   if (s + 0x70000000 >= 0xf0000000U)
21     {
22       if (s < 0x80000000U || s >= 0x90000000U)
23 	link_error ();
24     }
25 }
26 
27 /* { dg-final { scan-tree-dump-not "link_error" "vrp1" } } */
28