head	1.4;
access;
symbols
	pjones-sparse-experiment:1.4.0.2;
locks; strict;
comment	@# @;


1.4
date	2005.01.04.16.35.05;	author jbj;	state Exp;
branches;
next	1.3;

1.3
date	2004.12.11.22.13.49;	author jbj;	state Exp;
branches;
next	1.2;

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

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


desc
@@


1.4
log
@Splint fiddles.
@
text
@-I. -DHAVE_CONFIG_H -DSTDC -D_GNU_SOURCE -DHAVE_STDINT_H

#+partial
+forcehints


-warnposix

+unixlib

-unrecogcomments	# XXX ignore doxygen markings

+strict			# lclint level

# --- in progress
-bounds			# 90

-boolops		# 3
-branchstate		# 5
-compdef		# 28
-compmempass		# 3
-compdestroy		# 8
+enumint		# 47
-formatconst
-globs			# 18
-globstate		# 4
+ignoresigns
-mayaliasunique		# 1
-mustmod		# 7
-noeffect		# 95
-noret			# 2
-nullderef		# 4
-nullpass		# 12
-nullptrarith		# 1
-nullstate		# 1
-paramuse		# 3
-predboolothers		# 1
-predboolptr		# 15
-protoparammatch	# 19
-retalias		# 5
-retvalint		# 3
-retvalother		# 17
-shiftnegative		# 8
-sizeoftype		# 6
-type			# 2+47(enumint)
-unrecog		# 1
+voidabstract		# 2

-dependenttrans		# 1
-immediatetrans		# 2
-kepttrans		# 1
-onlytrans		# 4
-temptrans		# 7
-unqualifiedtrans	# 2

-ifempty		# 3

-declundef		# 7
-enummemuse		# 254 prototab.h
-exportlocal		# 12
-exportheader		# 107
-fielduse		# 2
-typeuse		# 2
-varuse			# 2

# --- not-yet at strict level
-bitwisesigned		# 13
-elseifcomplete		# 4
-forblock		# 1
-ifblock		# 88
-namechecks		# 600 tedious ANSI compliance checks
-ptrarith		# 28

-shiftimplementation	# 5

-strictops		# 3

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

# --- not-yet at standard level
+boolint		# 44
+charint		# 6
@


1.3
log
@Splint fiddles.
@
text
@d1 1
a1 1
-I. -DHAVE_CONFIG_H -DSTDC -DHAVE_STDINT_H
d24 1
d27 1
d31 1
a31 1
-noret			# 2 BUGS
@


1.2
log
@Splint fiddles.
@
text
@d3 1
a3 1
+partial
d16 1
a16 1
#-bounds
d23 1
a25 1
-internalglobs
a26 1
-modfilesys
d34 1
a34 1
-paramuse
d43 1
a43 1
-type
d54 1
a54 1
-ifempty
d56 7
a62 8
-declundef
-enummemuse
-exportlocal
-exportheader
-fcnuse
-fielduse
-typeuse
-varuse
d65 6
a70 7
-bitwisesigned		# 86
-elseifcomplete		# 2
-forblock		# 6
-ifblock		# 231
-incondefs		# 64
-namechecks		# tedious ANSI compliance checks
-ptrarith		# tedious
d72 1
a72 2
-mustdefine		# 25
-shiftimplementation	# 148 ctype.h
d74 1
a74 2
-strictops		# 37
-whileblock		# 16
d77 2
a78 2
-mustfree		# 26
-usedef			# 31
d81 2
a82 4
+boolint		# 38
+charint		# 147
+ignorequals		# 49
+matchanyintegral	# 77
@


1.1
log
@Rescusitate splint annotations. Been there, done that, some listen, most don't.
@
text
@d18 7
a24 7
-boolops
-branchstate
-compdef
-compmempass
-compdestroy
-globs
-globstate
d26 9
a34 11
-mayaliasunique
-modobserveruncon
-modunconnomods
-modnomods
-mustmod
-noeffectuncon
-noret
-nullassign
-nullpass
-nullret
-nullstate
d36 8
a43 8
-predboolothers
-predboolptr
-protoparammatch
-retalias
-retvalint
-retvalother
-shiftnegative
-sizeoftype
d45 2
a46 2
-unrecog
+voidabstract
d48 6
a53 9
-dependenttrans
-immediatetrans
-kepttrans
-observertrans
-onlytrans
-readonlytrans
-statictrans
-temptrans
-unqualifiedtrans
a55 3

+ptrnegate
+enumint
@

