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
/
lintcomments.c
< prev
next >
Wrap
Text File
|
1997-09-03
|
364b
|
29 lines
int f (int x)
{
int i = 0;
switch (x)
{
case 1: i++; /*@fallthrough@*/
case 2: i++; /*FALLTHROUGH*/
case 3: i++; /*FALLTHRU*/
case 4: i++;
default: i++;
}
if (i > 2)
{
return i;
/*@notreached@*/
i++;
}
else
{
return i;
/*NOTREACHED*/
i++;
}
/*@notreached@*/ return 3;
}