[splint.git] / src / .splintrc

-IHeaders 
-DDEBUGPRINT

-systemdirs /usr/include:/usr/local/lib/:/usr/lib

+allmacros # check all macros
+checks    # checks mode (moderately strict checking)

### Display Flags
+showscan 
+showsummary 
+stats 
+timedist 

+charindex 
-allglobals 
-export 
+voidabstract 
+forwarddecl 
+relaxquals 
+allmacros

### Assume all while and for loops execute at least once
+loopexec

### Naming Convention

+czech 
-czechconstants
-enumprefix ~~* 
-uncheckedmacroprefix ~* 

### global variables should start with g_
-globalprefix g_
+globalprefixexclude

### parameters in declarations should start with p_
-protoparamprefix p_
+protoparamprefixexclude

### these flags slow down checking a lot,
### only use on special occasions.
###

+distinctinternalnames -internalnamecaseinsensitive 
+internalnamelookalike

# -externalnamelen 24 

+sizeoftype 
+repeatunrecog 
+topuse 
+deepbreak 
+needspec 
+evalorderuncon 
-mustmod 
+iso99limits 
+allempty 
+whileblock 
+forblock 
+elseifcomplete 

### Limit maximimum include nesting
-includenest 5

+posixlib
     
### this should be builtin to pp?
-D__i386__
-D_M_IX86

-booltype bool
-booltrue TRUE
-boolfalse FALSE

+numliteral

-indentspaces 3

#drl add 11-15-2001
+slashslashcomment
Commit	Line	Data
885824d3	1	-IHeaders
	2	-DDEBUGPRINT
	3
68de3f33	4	-systemdirs /usr/include:/usr/local/lib/:/usr/lib
885824d3	5
	6	+allmacros # check all macros
	7	+checks # checks mode (moderately strict checking)
	8
	9	### Display Flags
	10	+showscan
	11	+showsummary
	12	+stats
	13	+timedist
	14
	15	+charindex
	16	-allglobals
	17	-export
	18	+voidabstract
	19	+forwarddecl
	20	+relaxquals
	21	+allmacros
	22
	23	### Assume all while and for loops execute at least once
	24	+loopexec
	25
	26	### Naming Convention
	27
	28	+czech
	29	-czechconstants
	30	-enumprefix ~~*
	31	-uncheckedmacroprefix ~*
	32
	33	### global variables should start with g_
	34	-globalprefix g_
	35	+globalprefixexclude
	36
	37	### parameters in declarations should start with p_
	38	-protoparamprefix p_
	39	+protoparamprefixexclude
	40
	41	### these flags slow down checking a lot,
	42	### only use on special occasions.
	43	###
	44
	45	+distinctinternalnames -internalnamecaseinsensitive
	46	+internalnamelookalike
	47
	48	# -externalnamelen 24
	49
	50	+sizeoftype
	51	+repeatunrecog
	52	+topuse
	53	+deepbreak
	54	+needspec
	55	+evalorderuncon
	56	-mustmod
27c9e640	57	+iso99limits
885824d3	58	+allempty
	59	+whileblock
	60	+forblock
	61	+elseifcomplete
	62
	63	### Limit maximimum include nesting
885824d3	64	-includenest 5
885824d3	65
885824d3	66	+posixlib
	67
	68	### this should be builtin to pp?
	69	-D__i386__
	70	-D_M_IX86
	71
	72	-booltype bool
	73	-booltrue TRUE
	74	-boolfalse FALSE
	75
	76	+numliteral
28bf4b0b	77
28bf4b0b	78	-indentspaces 3
e5f31c00	79
	80	#drl add 11-15-2001
	81	+slashslashcomment
	82
	83