-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 -indentspaces 3 #drl add 11-15-2001 +slashslashcomment