From 6f11c879bffcfab692e2684be19cb73eadff598f Mon Sep 17 00:00:00 2001
From: Valentin Perrelle <valentin.perrelle@cea.fr>
Date: Tue, 20 Aug 2019 20:10:15 +0200
Subject: [PATCH] [Dive] Add type information to each node
---
src/plugins/dive/imprecision_graph.ml | 18 +++++++++++++-----
1 file changed, 13 insertions(+), 5 deletions(-)
diff --git a/src/plugins/dive/imprecision_graph.ml b/src/plugins/dive/imprecision_graph.ml
index 55cacf98272..6fee241289e 100644
--- a/src/plugins/dive/imprecision_graph.ml
+++ b/src/plugins/dive/imprecision_graph.ml
@@ -267,12 +267,20 @@ struct
("label", Json.of_string label) ;
("kind", output_node_kind node.node_kind) ;
("locality", output_node_locality node.node_locality) ;
- ("explored", Json.of_bool node.node_deps_computed)
+ ("explored", Json.of_bool node.node_deps_computed) ;
] @
- match node.node_values with
- | None -> []
- | Some node_values -> [("values", output_node_values node_values)]
- )
+ begin match node.node_values with
+ | None -> []
+ | Some node_values -> [("values", output_node_values node_values)]
+ end
+ @
+ begin match Node_kind.to_lval node.node_kind with
+ | None -> []
+ | Some lval ->
+ let typ = Cil.typeOfLval lval in
+ let str = Pretty_utils.to_string Cil_printer.pp_typ typ in
+ [("type", Json.of_string str)]
+ end)
let output_dep (n1,dep,n2) =
Json.of_fields [
--
GitLab