diff options
author | jbj <jbj> | 2007-11-04 13:15:32 +0000 |
---|---|---|
committer | jbj <jbj> | 2007-11-04 13:15:32 +0000 |
commit | 11ee68b9c59c265043e96c2869cb7ea99d94accd (patch) | |
tree | 3a1a45f5499e22d1273a4991a81c60e52e5f5b16 /.splintrc | |
parent | ff8a8339909c9297357957e34f3b1608ae4f3797 (diff) | |
download | libpopt-11ee68b9c59c265043e96c2869cb7ea99d94accd.tar.gz |
- jbj: remove splint bounds/branch annotations, little gain, much pain.
- jbj: revert alloca usage again again.
Diffstat (limited to '.splintrc')
-rw-r--r-- | .splintrc | 35 |
1 files changed, 34 insertions, 1 deletions
@@ -12,9 +12,42 @@ +strict # lclint level # --- in progress -+bounds +#+bounds -bufferoverflowhigh +-bitwisesigned +-branchstate +-compdef +-globuse +-internalglobs +-modnomods +-modobserveruncon +-mods +-moduncon +-modunconnomods +-mustmod +-noeffectuncon +-nullderef +-nullpass +-nullptrarith +-nullret +-nullstate +-protoparammatch +-retalias +-retvalint +-retvalother +-sizeoftype +-type +-unrecog + +-temptrans + ++charint +-exportvar ++matchanyintegral +-loopswitchbreak +-varuse + # --- +partial artifacts # --- not-yet at strict level |