Code passes splintme with no errors.

diff --git a/src/Headers/functionClauseList.h b/src/Headers/functionClauseList.h
index 21717fe9de2f2b6ac47acb44072f02ce029d4fea..d7b56bfcce012b5e6c34ab07cce5757dd4766d49 100644 (file)
--- a/src/Headers/functionClauseList.h
+++ b/src/Headers/functionClauseList.h
@@ -48,8 +48,9 @@ extern functionClauseList
 extern /*@unused@*/ /*@only@*/ cstring functionClauseList_unparse (functionClauseList p_s) ;
 extern void functionClauseList_free (/*@only@*/ functionClauseList p_s) ;
 
-extern void functionClauseList_getImplictConstraints (functionClauseList p_s) /*@*/ ;
-
+functionClauseList 
+functionClauseList_setImplictConstraints (/*@returned@*/ functionClauseList p_s);
+     
 /*@constant int functionClauseListBASESIZE;@*/
 # define functionClauseListBASESIZE MIDBASESIZE
 

diff --git a/src/functionConstraint.c b/src/functionConstraint.c
index 785e2f37903443a5db14289f09f222bcc7da43d3..b97a8022bddf2b09a274e622ba747a7e4395cb0f 100644 (file)
--- a/src/functionConstraint.c
+++ b/src/functionConstraint.c
@@ -237,7 +237,7 @@ void functionConstraint_addBufferConstraints (functionConstraint node, constrain
        {
          if (node->kind == FCT_BUFFER)
            {
-             node->constraint.buffer = constraintList_addList(node->constraint.buffer, temp);
+             node->constraint.buffer = constraintList_addListFree(node->constraint.buffer, temp);
            }
          else
            {

diff --git a/src/idDecl.c b/src/idDecl.c
index 76ba025d9b143ed5ceb44eb2493f9ad2ecbb2016..ccb0aea4441f60b91fde0de881939b5d21187f24 100644 (file)
--- a/src/idDecl.c
+++ b/src/idDecl.c
@@ -256,6 +256,14 @@ idDecl_addClauses (idDecl d, functionClauseList clauses)
     llassert (functionClauseList_isUndefined (d->clauses));
 
   */
-  
-  d->clauses = clauses;
+
+  if (functionClauseList_isUndefined (d->clauses) )
+    {
+      d->clauses = clauses;
+    }
+  else
+    {
+      functionClauseList_free(d->clauses);
+      d->clauses = clauses;
+    }
 }