[hcoop/debian/openafs.git] / src / splint.cfg

# We only attempt weak checking.
-weak
#
# We are not using namespaces the way splint wants, so don't check.
-name-checks
#
# Standard Unix library.
+unix-lib
#
# On RedHat Linux 9, /usr/include/asm/types.h uses __signed__ keyword.
-D__signed__=signed
#
# Stop complaining that sizes of array parameters are ignored.
-fixed-formal-array
#
# Flags to control checking integer usage.
+match-any-integral
Commit	Line	Data
805e021f CE	1	# We only attempt weak checking.
	2	-weak
	3	#
	4	# We are not using namespaces the way splint wants, so don't check.
	5	-name-checks
	6	#
	7	# Standard Unix library.
	8	+unix-lib
	9	#
	10	# On RedHat Linux 9, /usr/include/asm/types.h uses __signed__ keyword.
	11	-D__signed__=signed
	12	#
	13	# Stop complaining that sizes of array parameters are ignored.
	14	-fixed-formal-array
	15	#
	16	# Flags to control checking integer usage.
	17	+match-any-integral