The code almost work.

[splint.git] / src / constraint.c

diff --git a/src/constraint.c b/src/constraint.c
index 7ebf00adef4a34622d1e0d156db75281962cf716..f3e09a49757b1bc6fc115c9cd91f9750ff5a39d4 100644 (file)
--- a/src/constraint.c
+++ b/src/constraint.c
@@ -535,8 +535,15 @@ void constraint_free (/*@only@*/ /*@notnull@*/ constraint c)
   if ( constraint_isDefined(c->or) )
     constraint_free (c->or);
 
+  
   constraintExpr_free(c->lexpr);
   constraintExpr_free(c->expr);
+
+  c->orig = NULL;
+  c->or = NULL;
+  c->lexpr = NULL;
+  c->expr  = NULL;
+
   free (c);
   
 }