]> andersk Git - splint.git/blame - src/lclint.lclintrc
noexpand always false.
[splint.git] / src / lclint.lclintrc
CommitLineData
86d93ed3 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.133503 seconds and 5 git commands to generate.