openafs/src/splint.cfg
R. Lindsay Todd 4dd74ef182 splint-support-20030701
FIXES 1493

add splint support targets to makefiles
add support files
2003-07-02 02:03:17 +00:00

18 lines
402 B
INI

# 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