home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
OS/2 Shareware BBS: 10 Tools
/
10-Tools.zip
/
lclint.zip
/
lclint-2_3h-os2-bin.zip
/
test
/
unreachable.c
< prev
next >
Wrap
Text File
|
1997-09-03
|
608b
|
49 lines
/*@exits@*/ void f (void)
{
int x = 3;
exit(x);
x++; /* 1. Unreachable code */
}
void tu(int y)
{
int x = 16;
if (x == y)
{
return;
}
else
{
x++;
f();
return; /* 2. Unreachable code */
}
y++; /* 3. Unreachable code */
}
int s(int z)
{
switch (z)
{
case 1: return 3;
case 2: return 12;
case 3: z++; return z; z--; /* 4. Unreachable code */
case 4: /* 5. Fall through case */
switch (z + 1)
{
case 1: return 18;
case 2: z++;
}
return z;
default:
return 12;
}
z++; /* 6. Unreachable code */
}