diff options
| author | jbj <devnull@localhost> | 2003-03-08 23:31:10 +0000 |
|---|---|---|
| committer | jbj <devnull@localhost> | 2003-03-08 23:31:10 +0000 |
| commit | 680669383a5a35c4e8f7ff65799cac62edb5222c (patch) | |
| tree | 9afa224eb82aa572ec8643a5248f1c8187a7feaf /zlib | |
| parent | 946203d5d9aa29f5b59a94786d04e4a8e34f4832 (diff) | |
| download | rpm-680669383a5a35c4e8f7ff65799cac62edb5222c.tar.gz rpm-680669383a5a35c4e8f7ff65799cac62edb5222c.tar.bz2 rpm-680669383a5a35c4e8f7ff65799cac62edb5222c.zip | |
Splint fiddles.
CVS patchset: 6666
CVS date: 2003/03/08 23:31:10
Diffstat (limited to 'zlib')
| -rw-r--r-- | zlib/.splintrc | 24 | ||||
| -rw-r--r-- | zlib/inffast.c | 2 | ||||
| -rw-r--r-- | zlib/inflate.c | 4 | ||||
| -rw-r--r-- | zlib/zlib.h | 1 |
4 files changed, 17 insertions, 14 deletions
diff --git a/zlib/.splintrc b/zlib/.splintrc index 78da9da2d..a1729421f 100644 --- a/zlib/.splintrc +++ b/zlib/.splintrc @@ -14,39 +14,37 @@ # --- in progress -abstract # 4 --aliasunique +-aliasunique # 2 -assignexpose -branchstate -bufferoverflowhigh --castfcnptr --compdef --compmempass +-castfcnptr # 6 +-compdef # 16 +-compmempass # 37 -evalorder # 2 --globstate --modfilesys +-globstate # 1 -mods # 13 --mustmod -noeffectuncon # 10 -nullderef # 9 -nullpass # 24 --nullptrarith +-nullptrarith # 4 -nullret # 13 -protoparammatch # 22 -redef # 4 -retalias # 4 -retvalint # painful -sizeoftype # 106 --type +-type # 3 -usereleased # 38 --dependenttrans # 2 +-dependenttrans # 2 -immediatetrans --kepttrans +-kepttrans # 8 -observertrans -readonlytrans -statictrans --temptrans --unqualifiedtrans +-temptrans # 7 +-unqualifiedtrans # 10 -casebreak -looploopbreak diff --git a/zlib/inffast.c b/zlib/inffast.c index d1db74c44..990a08199 100644 --- a/zlib/inffast.c +++ b/zlib/inffast.c @@ -8,6 +8,8 @@ #include "inflate.h" #include "inffast.h" +/*@access z_streamp @*/ + /* Allow machine dependent optimization for post-increment or pre-increment. Based on testing to date, Pre-increment preferred for: diff --git a/zlib/inflate.c b/zlib/inflate.c index 44f4e78ff..b665aaeb4 100644 --- a/zlib/inflate.c +++ b/zlib/inflate.c @@ -82,6 +82,8 @@ # endif #endif +/*@access z_streamp @*/ + /* function prototypes */ local void fixedtables OF((struct inflate_state FAR *state)) /*@modifies state @*/; @@ -91,7 +93,7 @@ local int updatewindow OF((z_streamp strm, unsigned out)) void makefixed OF((void)) /*@*/; #endif -local unsigned syncsearch OF((unsigned *have, unsigned char FAR *buf, +local unsigned syncsearch OF((unsigned *have, /*@out@*/ unsigned char FAR *buf, unsigned len)) /*@modifies *have @*/; diff --git a/zlib/zlib.h b/zlib/zlib.h index 05d5594a3..b7aa24452 100644 --- a/zlib/zlib.h +++ b/zlib/zlib.h @@ -1079,6 +1079,7 @@ ZEXTERN int ZEXPORT inflateBackInit_ OF((z_stream FAR *strm, int windowBits, struct internal_state {int dummy;}; /* hack for buggy compilers */ #endif +/*@observer@*/ ZEXTERN const char * ZEXPORT zError OF((int err)) /*@*/; ZEXTERN int ZEXPORT inflateSyncPoint OF((z_streamp z)) |