]> andersk Git - splint.git/blob - src/lclint.lclintrc
noexpand always false.
[splint.git] / src / lclint.lclintrc
1 -IHeaders 
2 -DDEBUGPRINT
3
4 -systemdirs /usr/include:/usr/local/lib/:/usr/lib
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 
57 +ansilimits 
58 +allempty 
59 +whileblock 
60 +forblock 
61 +elseifcomplete 
62
63 ### Limit maximimum include nesting
64
65 -includenest 5
66
67 ### Some ANSI limits exceeded (tsk, tsk, tsk...)
68
69 -controlnestdepth 25 
70 -numenummembers 512 
71 +internalnamelen 50
72  
73 +posixlib
74      
75 ### this should be builtin to pp?
76 -D__i386__
77 -D_M_IX86
78
79 -booltype bool
80 -booltrue TRUE
81 -boolfalse FALSE
82
83 +numliteral
84
85 -indentspaces 3
86
87 #drl add 11-15-2001
88 +slashslashcomment
89
90
91 +constraintlocation
92 -incondefs
This page took 0.040398 seconds and 5 git commands to generate.