We're now able to generate Maxset constraints for fixed sized arrays.

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

diff --git a/src/Headers/constraint.h b/src/Headers/constraint.h
index d8e1b5052667561bf77a199aa7a05c53b46e49aa..e8436fa53f69de7ab8cdd919d92ffe9492284dba 100644 (file)
--- a/src/Headers/constraint.h
+++ b/src/Headers/constraint.h
@@ -86,6 +86,15 @@ constraint constraint_doSRefFixBaseParam (constraint precondition,
 
 cstring  constraint_printDetailed (constraint c);
 
+constraint constraint_makeEnsureLessThan (exprNode e1, exprNode e2, fileloc sequencePoint);
+
+constraint constraint_makeEnsureLessThanEqual (exprNode e1, exprNode e2, fileloc sequencePoint);
+constraint constraint_makeEnsureGreaterThan (exprNode e1, exprNode e2, fileloc sequencePoint);
+constraint constraint_makeEnsureGreaterThanEqual (exprNode e1, exprNode e2, fileloc sequencePoint);
+
+/*drl add 11/28/2000 */
+constraint constraint_makeSRefWriteSafeInt (sRef s, int ind);
+
 /*@=czechfcns*/
 #warning take this out
 #include "constraintList.h"