1 /* { dg-do compile } */
2 /* { dg-require-effective-target int32plus } */
3 /* { dg-options "-O2 -fdump-tree-vrp1" } */
5 extern void link_error (void);
10 if (s
+ 0x70000000 < 0xf0000000U
)
12 if (s
>= 0x80000000U
&& s
< 0x90000000U
)
20 if (s
+ 0x70000000 >= 0xf0000000U
)
22 if (s
< 0x80000000U
|| s
>= 0x90000000U
)
27 /* { dg-final { scan-tree-dump-not "link_error" "vrp1" } } */