commitng to fix cvs archive. Code works with gcc272 but not 295. Currently passed...

[splint.git] / src / constraintList.c

diff --git a/src/constraintList.c b/src/constraintList.c
index baa03af96ae8542d4fdf760436739dceddf6482a..7cf3f857c1b62299689cab03b63a242ff5de81d8 100644 (file)
--- a/src/constraintList.c
+++ b/src/constraintList.c
@@ -235,7 +235,7 @@ constraintList_free (constraintList s)
 }
 
 constraintList
-constraintList_copy (constraintList s)
+constraintList_copy (constraintList s) /*@*/
 {
   constraintList ret = constraintList_new ();
 
@@ -257,6 +257,19 @@ constraintList constraintList_preserveOrig (constraintList c)
   return c;
 }
 
+constraintList constraintList_addGeneratingExpr (constraintList c, exprNode e)
+{
+  DPRINTF ((message ("entering constraintList_addGeneratingExpr for %s ", exprNode_unparse(e) ) ));
+  
+  constraintList_elements (c, el)
+  {
+    DPRINTF ((message ("setting generatingExpr for %s to %s", constraint_print(el), exprNode_unparse(e) )  ));
+    el = constraint_addGeneratingExpr (el, e);
+  }
+  end_constraintList_elements;
+  return c;
+}
+
 constraintList constraintList_doFixResult (constraintList postconditions, exprNode fcnCall)
 {
   constraintList ret;