From 680669383a5a35c4e8f7ff65799cac62edb5222c Mon Sep 17 00:00:00 2001
From: jbj <devnull@localhost>
Date: Sat, 8 Mar 2003 23:31:10 +0000
Subject: Splint fiddles.

CVS patchset: 6666
CVS date: 2003/03/08 23:31:10
---
 zlib/.splintrc | 24 +++++++++++-------------
 zlib/inffast.c |  2 ++
 zlib/inflate.c |  4 +++-
 zlib/zlib.h    |  1 +
 4 files changed, 17 insertions(+), 14 deletions(-)

(limited to 'zlib')

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))
-- 
cgit v1.2.3