From d3d1ef47d61c10118594ee089576476b91203899 Mon Sep 17 00:00:00 2001
From: Valentin Perrelle <valentin.perrelle@cea.fr>
Date: Wed, 28 Aug 2019 14:05:01 +0200
Subject: [PATCH] [Dive] Compute values for each cells composing a scattered
node
---
src/plugins/dive/build.ml | 7 ++++++-
1 file changed, 6 insertions(+), 1 deletion(-)
diff --git a/src/plugins/dive/build.ml b/src/plugins/dive/build.ml
index 009a30364d9..c69caf28221 100644
--- a/src/plugins/dive/build.ml
+++ b/src/plugins/dive/build.ml
@@ -301,7 +301,12 @@ let build_all_scattered_node context callstack kinstr lval =
let is_folded_base = is_folded context in
try
let cells = enumerate_cells ~is_folded_base ~limit:20 lval kinstr in
- List.map (add_or_update_node context callstack) cells
+ let add node_kind =
+ let node = add_or_update_node context callstack node_kind in
+ update_node_values node kinstr lval;
+ node
+ in
+ List.map add cells
with NotACell ->
Self.warning "Unable to enumerate cells for %a"
Cil_printer.pp_lval lval;
--
GitLab