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
/
tests2.2a
/
notreached.c
< prev
next >
Wrap
Text File
|
1997-09-03
|
114b
|
10 lines
int f (int x)
{
if (x > 3) {
/*@notreached@*/ ;
} else {
return 3;
/*@notreached@*/ x = 12;
}
}