summaryrefslogtreecommitdiff
path: root/.splintrc
diff options
context:
space:
mode:
authorjbj <jbj>2007-11-04 13:51:28 +0000
committerjbj <jbj>2007-11-04 13:51:28 +0000
commit6a38a7e33aca951d054c78d2625de4133102e029 (patch)
tree2f062e6ee556c2843f25f8fefc101ea153d1f684 /.splintrc
parent92ab571a6eb169a7015c2823a9bfe011f7192dde (diff)
downloadlibpopt-6a38a7e33aca951d054c78d2625de4133102e029.tar.gz
- jbj: change sizeof to use the type implicitly, rather than explicitly.
- jbj: remove incorrect casts, changing to size_t where needed. - jbj: remove unused STD_VFPRINTF macro.
Diffstat (limited to '.splintrc')
-rw-r--r--.splintrc1
1 files changed, 0 insertions, 1 deletions
diff --git a/.splintrc b/.splintrc
index 8be1e2a..26806ab 100644
--- a/.splintrc
+++ b/.splintrc
@@ -45,7 +45,6 @@
+charint
-exportvar
+matchanyintegral
--loopswitchbreak
-varuse
# --- +partial artifacts