]> andersk Git - splint.git/blame_incremental - src/.splintrc
Remove empty configure file. This should not be in CVS.
[splint.git] / src / .splintrc
... / ...
CommitLineData
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+iso99limits
58+allempty
59+whileblock
60+forblock
61+elseifcomplete
62
63### Limit maximimum include nesting
64-includenest 5
65
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
77
78-indentspaces 3
79
80#drl add 11-15-2001
81+slashslashcomment
82
83
This page took 0.042122 seconds and 5 git commands to generate.