start-splint-support-20030528

FIXES 1493

only part of this bug
This commit is contained in:
R. Lindsay Todd 2003-05-28 19:18:08 +00:00 committed by Derrick Brashear
parent ce4f08f0a9
commit aaea47afd2

12
.splintrc Normal file
View File

@ -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