Fixed state clauses. Added obvious loop exec checking.

[splint.git] / src / Headers / exprNode.h

diff --git a/src/Headers/exprNode.h b/src/Headers/exprNode.h
index 69fb4ca9fd1a953b9a62c0ef41f04d5214ebc8b2..6d93a915bd0cf95165eb95705c1c9844c9f558ec 100644 (file)
--- a/src/Headers/exprNode.h
+++ b/src/Headers/exprNode.h
@@ -216,6 +216,8 @@ extern long exprNode_getLongValue (exprNode p_e) /*@*/ ;
 
 extern /*@observer@*/ cstring exprNode_unparseFirst (exprNode p_e) /*@*/ ;
 extern /*@observer@*/ guardSet exprNode_getForGuards (exprNode p_pred) /*@*/ ;
+extern bool exprNode_loopMustExec (exprNode p_forPred) /*@*/ ;
+
 extern bool exprNode_isNullValue (exprNode p_e) /*@*/ ;
 extern /*@exposed@*/ sRef exprNode_getSref (exprNode p_e) /*@*/ ;
 extern /*@exposed@*/ uentry exprNode_getUentry (exprNode p_e)