From 970d351b4e77bad5d630792c5e5414ea193fe2c0 Mon Sep 17 00:00:00 2001
From: Valentin Perrelle <valentin.perrelle@cea.fr>
Date: Mon, 16 Sep 2019 16:43:49 +0200
Subject: [PATCH] [Dive] Fix scattered dependencies values
---
src/plugins/dive/build.ml | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/src/plugins/dive/build.ml b/src/plugins/dive/build.ml
index d7bdb9f1076..eaa3bbd6bfd 100644
--- a/src/plugins/dive/build.ml
+++ b/src/plugins/dive/build.ml
@@ -303,7 +303,8 @@ let build_all_scattered_node context callstack kinstr lval =
let cells = enumerate_cells ~is_folded_base ~limit:20 lval kinstr in
let add node_kind =
let node = add_or_update_node context callstack node_kind in
- update_node_values node kinstr lval;
+ let new_lval = Extlib.the (Node_kind.to_lval node_kind) in
+ update_node_values node kinstr new_lval;
node
in
List.map add cells
--
GitLab