From 7086061a4801ac50684f276bd2f2fa9b9e61b943 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Tue, 23 Jul 2024 14:13:11 +0200
Subject: [PATCH] [Dive] Include global initializations in Ivette.
---
src/plugins/dive/server_interface.ml | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/src/plugins/dive/server_interface.ml b/src/plugins/dive/server_interface.ml
index aad1cb495a8..dc881ea4522 100644
--- a/src/plugins/dive/server_interface.ml
+++ b/src/plugins/dive/server_interface.ml
@@ -61,7 +61,8 @@ let origin_to_locations = function
| Studia.Writes.Assign s
| CallDirect s -> [Printer_tag.localizable_of_stmt s]
| CallIndirect _s -> []
- | GlobalInit (_vi, _init) -> []
+ | GlobalInit (vi, _init) ->
+ [ Printer_tag.localizable_of_declaration (SGlobal vi) ]
| FormalInit (_vi, callsites) ->
List.concat_map
(fun (_,l) -> List.map Printer_tag.localizable_of_stmt l)
--
GitLab