Fixed bug caused by free the null terminated stuff (bbufinfo) in uvinfo_free

[splint.git] / src / constraint.c

diff --git a/src/constraint.c b/src/constraint.c
index 2bddf88bbc0b97da72d7c4366d4b3ddd39848df3..aaaa9e68997cd12c836cdf2e92d5a7b4e80ffd21 100644 (file)
--- a/src/constraint.c
+++ b/src/constraint.c
@@ -14,8 +14,6 @@
 # include "exprNodeSList.h"
 
 /*@i33*/
-/*@-fcnuse*/
-/*@-assignexpose*/
 
 /*@access exprNode @*/
 
@@ -161,7 +159,9 @@ constraint constraint_copy (/*@temp@*/ /*@observer@*/ constraint c)
   ret->ar = c->ar;
   ret->expr =  constraintExpr_copy (c->expr);
   ret->post = c->post;
+  /*@-assignexpose@*/
   ret->generatingExpr = c->generatingExpr;
+  /*@=assignexpose@*/
   
   /*@i33 fix this*/
   if (c->orig != NULL)
@@ -216,8 +216,10 @@ void constraint_overWrite (constraint c1, constraint c2)
     c1->or = NULL;
 
   c1->fcnPre = c2->fcnPre;
-  
+
+  /*@-assignexpose@*/
   c1->generatingExpr = c2->generatingExpr;
+  /*@=assignexpose@*/
 }