From 11ee68b9c59c265043e96c2869cb7ea99d94accd Mon Sep 17 00:00:00 2001
From: jbj <jbj>
Date: Sun, 4 Nov 2007 13:15:32 +0000
Subject: - jbj: remove splint bounds/branch annotations, little gain, much
 pain. - jbj: revert alloca usage again again.

---
 .splintrc | 35 ++++++++++++++++++++++++++++++++++-
 1 file changed, 34 insertions(+), 1 deletion(-)

(limited to '.splintrc')

diff --git a/.splintrc b/.splintrc
index ffc264c..8be1e2a 100644
--- a/.splintrc
+++ b/.splintrc
@@ -12,9 +12,42 @@
 +strict			# lclint level
 
 # --- in progress
-+bounds
+#+bounds
 -bufferoverflowhigh
 
+-bitwisesigned
+-branchstate
+-compdef
+-globuse
+-internalglobs
+-modnomods
+-modobserveruncon
+-mods
+-moduncon
+-modunconnomods
+-mustmod
+-noeffectuncon
+-nullderef
+-nullpass
+-nullptrarith
+-nullret
+-nullstate
+-protoparammatch
+-retalias
+-retvalint
+-retvalother
+-sizeoftype
+-type
+-unrecog
+
+-temptrans
+
++charint
+-exportvar
++matchanyintegral
+-loopswitchbreak
+-varuse
+
 # --- +partial artifacts
 
 # --- not-yet at strict level
-- 
cgit v1.2.1