| 885824d3 |
1 | -IHeaders |
| 2 | -DDEBUGPRINT |
| 3 | |
| 4 | ## -systemdirs /usr/include:/usr/local/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 |
| 2934b455 |
70 | -numenummembers 415 |
| 885824d3 |
71 | |
| 72 | +posixlib |
| 73 | |
| 74 | ### this should be builtin to pp? |
| 75 | -D__i386__ |
| 76 | -D_M_IX86 |
| 77 | |
| 78 | -booltype bool |
| 79 | -booltrue TRUE |
| 80 | -boolfalse FALSE |
| 81 | |
| 82 | +numliteral |
andersk / splint.git / blame