From 6a27d93776fce414f4c4a04fb8358361a2a07d70 Mon Sep 17 00:00:00 2001 From: "Christoph M. Wintersteiger" Date: Thu, 23 Oct 2014 17:20:55 +0100 Subject: [PATCH] Fixed memory leaks in interpolation API Signed-off-by: Christoph M. Wintersteiger --- src/api/api_interp.cpp | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/api/api_interp.cpp b/src/api/api_interp.cpp index 63ecc6c24..dd689dcb0 100644 --- a/src/api/api_interp.cpp +++ b/src/api/api_interp.cpp @@ -273,6 +273,9 @@ extern "C" { 0 // ignore params for now ); + for (unsigned i = 0; i < cnsts.size(); i++) + _m.dec_ref(cnsts[i]); + Z3_lbool status = of_lbool(_status); Z3_ast_vector_ref *v = 0;