head	1.2;
access;
symbols
	pjones-sparse-experiment:1.2.0.2;
locks; strict;
comment	@# @;


1.2
date	2004.11.27.01.44.15;	author jbj;	state Exp;
branches;
next	1.1;

1.1
date	2004.11.26.23.38.12;	author jbj;	state Exp;
branches;
next	;


desc
@@


1.2
log
@Splint fiddles.
@
text
@-DHAVE_CONFIG_H -I. -I. -I.. -I../lib

+partial
+forcehints

-warnposix

+unixlib

-unrecogcomments	# XXX ignore doxygen markings

+strict			# lclint level

# --- in progress
#+bounds

-aliasunique
-branchstate
-boolops
-compdef
-compdestroy
-compmempass
-declundef
-enummemuse
-fcnuse
-globs			# 35 ASN1.y
-infloops		# 4
-internalglobs
-mayaliasunique
-modfilesys
-mods			# 2 ASN1.y
-moduncon		# 22 alloca
-modunconnomods		# 4 ASN1.y
-noeffect		# 11
-noeffectuncon		# 5 ASN1.y
-noparams
-nullderef
-nullpass		# 8 ASN1.y
-nullstate		# 9
-oldstyle		# 1 ASN1.y
-paramuse
-predboolptr
-protoparammatch
-redecl
-redef
-retalias
-retvalint
-retvalother
-shiftnegative
-sizeoftype
-typeuse
-usereleased

-kepttrans		# 3
-onlytrans		# 3
-temptrans		# 19
-unqualifiedtrans	# 2

-looploopbreak
-loopswitchbreak
-switchloopbreak
-switchswitchbreak

-exportconst
-exportfcn
-exportheader
-exportlocal
-exporttype
-exportvar

# --- not-yet at strict level
-bitwisesigned
-elseifcomplete
-forblock
-ifblock
-incondefs
-namechecks
-ptrarith

-mustdefine
-shiftimplementation

-strictops
-whileblock

# --- not-yet at checks level
-mustfree
-usedef	

# --- not-yet at standard level
+boolint
+charint
+ignorequals
+matchanyintegral
@


1.1
log
@Splint pass 0.
@
text
@a19 1
#-bufferoverflowhigh	# 2
a24 1
-evalorderuncon
d26 2
a27 4
-fullinitblock
-globs
-globstate
-infloopsuncon
d30 6
a35 5
-modnomods
-modobserveruncon
-modunconnomods
-noeffect
-noeffectuncon
a36 1
-noret
d38 3
a40 3
-nullpass
-nullstate
-oldstyle
d45 1
a51 1
-unreachable
d54 4
a57 7
-kepttrans
-observertrans
-onlytrans
-readonlytrans
-statictrans
-temptrans
-unqualifiedtrans
@

