From aaea47afd223021d98e6c5f3b778fe8b0fd472d8 Mon Sep 17 00:00:00 2001 From: "R. Lindsay Todd" Date: Wed, 28 May 2003 19:18:08 +0000 Subject: [PATCH] start-splint-support-20030528 FIXES 1493 only part of this bug --- .splintrc | 12 ++++++++++++ 1 file changed, 12 insertions(+) create mode 100644 .splintrc diff --git a/.splintrc b/.splintrc new file mode 100644 index 0000000000..1c9195ef2d --- /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