Temporarily set flags to splintme without warnings.

[splint.git] / src / loopHeuristics.c

diff --git a/src/loopHeuristics.c b/src/loopHeuristics.c
index c8057c1d14ba31a9ac716c3b8a59eb2ec8217683..4f7e46c90028daaa507e7cb2ef85a528d31d6f48 100644 (file)
--- a/src/loopHeuristics.c
+++ b/src/loopHeuristics.c
@@ -43,9 +43,14 @@
 
 # include "exprDataQuite.i"
 
-/*@access constraint, exprNode @*/
+/*@access constraint, exprNode @*/  /* !!! NO! */
 
-/*@access constraintExpr @*/
+/*@access constraintExpr @*/ /* !!! NO! */
+
+/*@-nullderef@*/ /* !!! DRL needs to fix this code! */
+/*@-nullstate@*/ /* !!! DRL needs to fix this code! */
+/*@-nullpass@*/ /* !!! DRL needs to fix this code! */
+/*@-temptrans@*/ /* !!! DRL needs to fix this code! */
 
 static bool isInc (/*@observer@*/ constraintExpr c) /*@*/
 {
@@ -254,7 +259,10 @@ static /*@only@*/ constraintExpr getForTimes (/*@notnull@*/ exprNode forPred, /*
 
          }
        else
-         DPRINTF (( message ("getForTimes: %s doesn't increment %s", constraint_print (el2), constraint_print (el) )   ));
+         {
+           ;
+           DPRINTF (( message ("getForTimes: %s doesn't increment %s", constraint_print (el2), constraint_print (el) )   ));
+         }
       }
       end_constraintList_elements;
     }