summaryrefslogtreecommitdiff
path: root/beecrypt/.splintrc
diff options
context:
space:
mode:
authorjbj <devnull@localhost>2003-05-02 17:47:41 +0000
committerjbj <devnull@localhost>2003-05-02 17:47:41 +0000
commit6479a55c561f2fbd606b72f8721066acbd842041 (patch)
tree292db2e63586018e5c913b76708f4dcf70b51b0d /beecrypt/.splintrc
parentf3de276031932be5311f97694c581d312393330e (diff)
downloadlibrpm-tizen-6479a55c561f2fbd606b72f8721066acbd842041.tar.gz
librpm-tizen-6479a55c561f2fbd606b72f8721066acbd842041.tar.bz2
librpm-tizen-6479a55c561f2fbd606b72f8721066acbd842041.zip
spliddles for type checking.
CVS patchset: 6804 CVS date: 2003/05/02 17:47:41
Diffstat (limited to 'beecrypt/.splintrc')
-rw-r--r--beecrypt/.splintrc4
1 files changed, 2 insertions, 2 deletions
diff --git a/beecrypt/.splintrc b/beecrypt/.splintrc
index a38e1300b..0b2fa549e 100644
--- a/beecrypt/.splintrc
+++ b/beecrypt/.splintrc
@@ -15,7 +15,6 @@
# --- in progress
+likelybounds
-bufferoverflowhigh
-#-compdef # 83
-elseifcomplete
-whileempty
@@ -50,5 +49,6 @@
# --- not-yet at standard level
-boolops # 53
-predboolint # 238
++boolint
++charint
+matchanyintegral
--type # 150