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