head	1.2;
access;
symbols
	rpm-4_1-release:1.2
	rpm-4_1:1.2.0.2;
locks; strict;
comment	@# @;


1.2
date	2002.06.22.18.51.57;	author jbj;	state Exp;
branches
	1.2.2.1;
next	1.1;

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

1.2.2.1
date	2003.03.08.18.25.55;	author jbj;	state dead;
branches;
next	;


desc
@@


1.2
log
@Factor bounds checking annotations into source code.
@
text
@-DHAVE_CONFIG_H -I.. -I.

+partial
+forcehints

-warnunixlib
-warnposix

+unixlib

-unrecogcomments	# XXX ignore doxygen markings

+strict			# lclint level

# --- in progress
+boundsread		# 0
+boundswrite		# 0

-branchstate		# 77
-compdef		# 85
-compmempass		# 79
-globstate		# 93
-incondefs		# 4
-matchfields		# 24
-mods			# 259
-nullderef		# 10
-redef			# 42
-retalias		# 21
-retvalint		# 9
-shadow			# 9
-shiftimplementation	# 35
-sizeoftype		# 325
-unsignedcompare	# 11
-usereleased		# 50

-immediatetrans		# 18
-kepttrans		# 11
-temptrans		# 20

# --- +partial artifacts
-declundef
-exportheadervar
-exportlocal

-enummemuse
-fcnuse
-typeuse
-varuse

# --- not-yet at strict level
-bitwisesigned
-elseifcomplete
-exportconst
-exportfcn
-exporttype
-exportvar
-fielduse
-forblock		# tedious
-ifblock		# tedious
-namechecks		# tedious ANSI compliance checks
-ptrarith

-compdestroy
-mustdefine
-sys-dir-errors

-strictops
-whileblock		# tedious

# --- not-yet at checks level
+enumint
-mustfree
-predboolptr
-usedef

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


1.2.2.1
log
@Orphans.
@
text
@@


1.1
log
@Splint annotations and spec file.
@
text
@d16 2
a17 2
#+bounds		# 675
#+boundswrite		# 94
d36 3
a38 3
-immediatetrans		# 19
-kepttrans		# 15
-temptrans		# 15
@

