1 /* { dg-do compile } */
2 /* { dg-options "-O2 -fdump-tree-evrp" } */
3 
4 extern void link_error ();
5 
6 void
f3(unsigned int s)7 f3 (unsigned int s)
8 {
9   if ((s & 0x3cc0) == 0)
10     {
11       if (s >= -15552U)
12 	link_error ();
13     }
14   else
15     {
16       if (s <= 0x3f)
17 	link_error ();
18     }
19 }
20 
21 /* { dg-final { scan-tree-dump-not "link_error" "evrp" } } */
22