108 lines
1.8 KiB
C
108 lines
1.8 KiB
C
char a, b;
|
|
|
|
static int f1(void)
|
|
{
|
|
switch (a) {
|
|
case 1: return 1;
|
|
case 0xFF: break;
|
|
default: return 2;
|
|
}
|
|
/* Reachable */
|
|
return a;
|
|
}
|
|
|
|
static int f2(void)
|
|
{
|
|
switch (a) {
|
|
case 1: return 1;
|
|
case 0x100: break; /* Unreachable */
|
|
default: return 2;
|
|
}
|
|
/* Unreachable despite the "break" above */
|
|
return a;
|
|
}
|
|
|
|
static int f3(void)
|
|
{
|
|
|
|
switch (a) {
|
|
case 1:
|
|
if (b > 128) {
|
|
a = 2;
|
|
break;
|
|
} else {
|
|
a = 1;
|
|
}
|
|
return a;
|
|
default:
|
|
return 2;
|
|
}
|
|
/* Reachable */
|
|
return a;
|
|
}
|
|
|
|
static int f4(void)
|
|
{
|
|
|
|
switch (a) {
|
|
case 1:
|
|
if (b > 255) {
|
|
/* Unreachable */
|
|
a = 2;
|
|
break;
|
|
} else {
|
|
a = 1;
|
|
}
|
|
return a;
|
|
default:
|
|
return 2;
|
|
}
|
|
/* Unreachable despite the "break" above */
|
|
return a;
|
|
}
|
|
|
|
static int f5(void)
|
|
{
|
|
|
|
switch (a) {
|
|
case 1:
|
|
if (b >= 0) {
|
|
a = 2;
|
|
} else {
|
|
/* Unreachable */
|
|
a = 1;
|
|
break;
|
|
}
|
|
return a;
|
|
default:
|
|
return 2;
|
|
}
|
|
/* Unreachable despite the "break" above */
|
|
return a;
|
|
}
|
|
|
|
static int f6(void)
|
|
{
|
|
|
|
switch (a) {
|
|
case 1:
|
|
while (0) {
|
|
/* Unreachable */
|
|
if (b >= 128) {
|
|
a = 2;
|
|
break;
|
|
}
|
|
}
|
|
return a;
|
|
default:
|
|
return 2;
|
|
}
|
|
/* Unreachable despite the "break" above */
|
|
return a;
|
|
}
|
|
|
|
int main(void)
|
|
{
|
|
return f1() + f2() + f3() + f4() + f5() + f6();
|
|
}
|