blob: e08d1ffdfa2bd83eeea8a62affec00ce5c3fda59 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
|
/* { dg-do link } */
/* { dg-options "-O2" } */
/* Based on f3 from vrp63.c, but with switch instead of if-chain. */
extern void link_error (void);
void
f3 (int s)
{
if (s >> 3 == -2)
/* s in range [ -16, -9]. */
;
else
{
/* s in range ~[-16, -9], so none of the case labels can be taken. */
switch (s)
{
case -16:
case -12:
case -9:
link_error ();
break;
default:
break;
}
}
}
int
main ()
{
return 0;
}
|