1 /* { dg-do link } */
2 /* { dg-options "-O2 -fno-tree-switch-conversion" } */
3
4 extern void link_error (void);
5
6 /* Test <<. */
7
8 void
f3(int s,int b)9 f3 (int s, int b)
10 {
11 if (s >> 3 == -2)
12 /* s in range [-16, -9]. */
13 {
14 s += 17;
15 /* s in range [1, 8]. */
16 b = (b & 1) + 1;
17 /* b in range [1, 2]. */
18 b = b << s;
19 /* b in range [bmin << smin, bmax << smax],
20 == [1 << 1, 2 << 8]
21 == [2, 512]. */
22 if (b == 1 || b == 513)
23 link_error ();
24 }
25 }
26
27 int
main()28 main ()
29 {
30 return 0;
31 }
32
33
34