Made make lint work. Although exprNode_doSwitchExpr surpresses too much.

[splint.git] / src / exprChecks.c

diff --git a/src/exprChecks.c b/src/exprChecks.c
index e662771e5c7d4aacf0011e56068b28436a392ed1..3691147717d243754668ec08c8c136ca55a92d78 100644 (file)
--- a/src/exprChecks.c
+++ b/src/exprChecks.c
@@ -938,6 +938,8 @@ void exprNode_checkFunction (/*@unused@*/ uentry ue, /*@only@*/ exprNode fcnBody
     // check if errors will printed
     if (! (context_getFlag(FLG_DEBUGFUNCTIONCONSTRAINT) ||
           context_getFlag(FLG_FUNCTIONCONSTRAINT) ||
+          context_getFlag(FLG_ARRAYBOUNDS) ||
+          context_getFlag(FLG_ARRAYBOUNDSREAD) ||
           context_getFlag(FLG_CHECKPOST) 
           )
        )