summaryrefslogtreecommitdiff
path: root/.splintrc
diff options
context:
space:
mode:
authorjbj <jbj>2008-03-09 20:24:45 +0000
committerjbj <jbj>2008-03-09 20:24:45 +0000
commit3cb9493db033210c82bda3a3fdab5366fb7065ea (patch)
tree2c798350226528a029f10a4ab80a529ec97d0ae5 /.splintrc
parent0608049e4ad26f83a2d140979a03ddebb6e7fda4 (diff)
downloadlibpopt-3cb9493db033210c82bda3a3fdab5366fb7065ea.tar.gz
- jbj: study the mess with splint, remove annotations where possible.
- jbj: add -D_GNU_SOURCE for gcc to use __builtin_stpcpy when available. - jbj: add static inline stpcpy for the deprived. - jbj: use stpcpy to eliminate sprintf calls everywhere but popthelp.c - jbj: remove (now unneeded afaik) va_copy() from POPT_fprintf(). - jbj: inline strdup_fprintf() => POPT_fprintf keeping (unneeded?) va_copy.
Diffstat (limited to '.splintrc')
-rw-r--r--.splintrc6
1 files changed, 2 insertions, 4 deletions
diff --git a/.splintrc b/.splintrc
index 9dd8a71..431c99a 100644
--- a/.splintrc
+++ b/.splintrc
@@ -14,7 +14,6 @@
# --- in progress
#+bounds
-bufferoverflowhigh
-
-branchstate
# --- +partial artifacts
@@ -35,8 +34,7 @@
# --- not-yet at checks level
-mustfree # 38
-predboolptr # 82
--usedef # 7
# --- not-yet at standard level
--boolops # 127
--predboolint # 42
+-boolops # 124
+-predboolint # 53