blob: c8b8595c6be5c64b948b9f82e1146de5a435fe1a (
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
35
|
/* { dg-do link } */
/* { dg-options "-O2 -fno-tree-switch-conversion" } */
/* Based on f3 from vrp63.c, but with switch instead of if-chain. This test
tests the propagation of an anti-range in a switch statement. */
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;
}
|