Fixed all /*@i...@*/ tags (except 1).

[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
-locindentspaces 0 
+showdeephistory
+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
+numabstractindex
+numabstractlit
-numabstractprint

-indentspaces 3

#drl add 11-15-2001
+slashslashcomment