From c53b6c1fc4892acf6e74fe1ae0bd479de59d1c79 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Thu, 12 Sep 2019 16:23:55 +0200
Subject: [PATCH] [Eva] Memexec: fixes the computation of the set of bases
related to the inputs.
---
src/plugins/value/engine/mem_exec.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/plugins/value/engine/mem_exec.ml b/src/plugins/value/engine/mem_exec.ml
index 85441fdeda5..17adb027193 100644
--- a/src/plugins/value/engine/mem_exec.ml
+++ b/src/plugins/value/engine/mem_exec.ml
@@ -148,7 +148,7 @@ module Make
if Base.Hptset.equal expanded_bases bases
then Base.SetLattice.inject expanded_bases
else if count <= 0 then Base.SetLattice.top
- else expand_inputs_with_relations (count - 1) kf new_bases state
+ else expand_inputs_with_relations (count - 1) kf expanded_bases state
let store_computed_call kf input_state args
(call_result: Domain.t list Bottom.or_bottom) =
--
GitLab