projects
/
platform
/
upstream
/
gcc48.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
history
|
raw
|
HEAD
Imported Upstream version 4.8.1
[platform/upstream/gcc48.git]
/
gcc
/
testsuite
/
gcc.dg
/
tree-ssa
/
vrp78.c
1
/* { dg-do link } */
2
/* { dg-options "-O2" } */
3
4
/* Based on f3 from vrp63.c, but with switch instead of if-chain. */
5
6
extern void link_error (void);
7
8
void
9
f3 (int s)
10
{
11
if (s >> 3 == -2)
12
/* s in range [ -16, -9]. */
13
;
14
else
15
{
16
/* s in range ~[-16, -9], so none of the case labels can be taken. */
17
switch (s)
18
{
19
case -16:
20
case -12:
21
case -9:
22
link_error ();
23
break;
24
default:
25
break;
26
}
27
}
28
}
29
30
int
31
main ()
32
{
33
return 0;
34
}