fixed memory leak in zonotope

eth-sri · Sep 17, 2018 · 7a2def1 · 7a2def1
1 parent 1888bd3
commit 7a2def1
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/elina_zonotope/zonotope_internal.h b/elina_zonotope/zonotope_internal.h
@@ -338,7 +338,8 @@ static inline void zonotope_aff_free(zonotope_internal_t *pr, zonotope_aff_t *a)
 	a->q = NULL;
 	a->end = NULL;
 	a->l = (uint_t)0;
-	//elina_interval_free(a->itv);
+	elina_interval_free(a->itv);
+    a->itv= NULL;
 	free(a);
 	a = NULL;
     }