diff options
author | jbj <jbj> | 2008-03-09 20:24:45 +0000 |
---|---|---|
committer | jbj <jbj> | 2008-03-09 20:24:45 +0000 |
commit | 3cb9493db033210c82bda3a3fdab5366fb7065ea (patch) | |
tree | 2c798350226528a029f10a4ab80a529ec97d0ae5 /.splintrc | |
parent | 0608049e4ad26f83a2d140979a03ddebb6e7fda4 (diff) | |
download | libpopt-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-- | .splintrc | 6 |
1 files changed, 2 insertions, 4 deletions
@@ -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 |