EXtensive code clean up. Almost passes LCLint.

[splint.git] / src / constraint.c

diff --git a/src/constraint.c b/src/constraint.c
index 2bd6adf1692ac6211f5695cd10c675618a5058fb..aa8071600938535d33efbaf43ed560d37eb77d44 100644 (file)
--- a/src/constraint.c
+++ b/src/constraint.c
@@ -280,12 +280,12 @@ constraint constraint_makeWriteSafeInt (exprNode po, int ind)
   /*@i1*/return ret;
 }
 
-constraint constraint_makeSRefSetBufferSize (sRef s, int size)
+constraint constraint_makeSRefSetBufferSize (sRef s, long int size)
 {
  constraint ret = constraint_makeNew();
  ret->lexpr = constraintExpr_makeSRefMaxset (s);
  ret->ar = EQ;
- ret->expr =  constraintExpr_makeIntLiteral (size);
+ ret->expr =  constraintExpr_makeIntLiteral ((int)size);
  ret->post = TRUE;
  /*@i1*/return ret;
 }
@@ -720,3 +720,9 @@ constraint constraint_doSRefFixConstraintParam (constraint precondition,
 /*@=fcnuse*/
 /*@=assignexpose*/
 /*@=czechfcns@*/
+
+constraint constraint_togglePost (/*@returned@*/ constraint c)
+{
+  c->post = !c->post;
+  return c;
+}