From 90c808bde91fc010b699003076345327017f074b Mon Sep 17 00:00:00 2001
From: Nuno Lopes <t-nclaud@microsoft.com>
Date: Mon, 8 Apr 2013 17:14:43 -0700
Subject: [PATCH] [datalog] fix memory leak in union instructions the source
operand was never cleaned up
Signed-off-by: Nuno Lopes <t-nclaud@microsoft.com>
---
src/muz_qe/dl_compiler.cpp | 1 +
1 file changed, 1 insertion(+)
diff --git a/src/muz_qe/dl_compiler.cpp b/src/muz_qe/dl_compiler.cpp
index c898f7964..acedc3619 100644
--- a/src/muz_qe/dl_compiler.cpp
+++ b/src/muz_qe/dl_compiler.cpp
@@ -707,6 +707,7 @@ namespace datalog {
//update the head relation
make_union(new_head_reg, head_reg, delta_reg, use_widening, acc);
+ make_dealloc_non_void(new_head_reg, acc);
}
finish: