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
/
modifies.h
< prev
next >
Wrap
C/C++ Source or Header
|
1997-09-03
|
163b
|
5 lines
extern int f1 (int p[]) /*@modifies nothing @*/ ;
extern int f2 (int p[]) /*@modifies internalState @*/ ;
extern int g2 (int p[]) /*@modifies internalState @*/ ;