summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--.splintrc42
1 files changed, 0 insertions, 42 deletions
diff --git a/.splintrc b/.splintrc
deleted file mode 100644
index ffc264c..0000000
--- a/.splintrc
+++ /dev/null
@@ -1,42 +0,0 @@
--I. -DHAVE_CONFIG_H -D_GNU_SOURCE
-
-#+partial
-+forcehints
-
--warnposix
-
-+unixlib
-
--unrecogcomments # XXX ignore doxygen markings
-
-+strict # lclint level
-
-# --- in progress
-+bounds
--bufferoverflowhigh
-
-# --- +partial artifacts
-
-# --- not-yet at strict level
--elseifcomplete # 18
--exportfcn # 25
--ifblock # 202
--namechecks # 206
--ptrarith # 43
-
--mustdefine # 10
--shiftimplementation # 120
--sys-dir-errors
-
--strictops # 16
--whileblock # 10
-
-# --- not-yet at checks level
--mustfree # 52
--predboolptr # 62
--usedef # 1
-
-# --- not-yet at standard level
--boolops # 112
--predboolint # 38
-+ignorequals # 17