start-splint-support-20030528

FIXES 1493

only part of this bug

diff --git a/.splintrc b/.splintrc
new file mode 100644 (file)
index 0000000..1c9195e
--- /dev/null
+++ b/.splintrc
@@ -0,0 +1,12 @@
+-badflag
+-weak
++unix-lib
++char-index
++relax-quals
+-pred-bool-int
+-pred-bool-ptr
++ptr-negate
+-fixed-formal-array
++match-any-integral
++ignore-equals
+-name-checks