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