diff --git a/src/plugins/dive/build.ml b/src/plugins/dive/build.ml index d7bdb9f1076664d3fa41e6ae482c4b7f2c86f717..eaa3bbd6bfde6d4ae26589592aff3f8117c94fc8 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