From 963f69418b7d7431161bccc981881a6cf70f9804 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Tue, 11 Jul 2023 14:38:33 +0200
Subject: [PATCH] [from] Removes use of Value_types.
---
src/plugins/inout/operational_inputs.ml | 7 +++++--
1 file changed, 5 insertions(+), 2 deletions(-)
diff --git a/src/plugins/inout/operational_inputs.ml b/src/plugins/inout/operational_inputs.ml
index 5c8a0efd9a9..055cedeea1a 100644
--- a/src/plugins/inout/operational_inputs.ml
+++ b/src/plugins/inout/operational_inputs.ml
@@ -207,13 +207,16 @@ module Internals =
let size = 17
end)
-module CallsiteHash = Value_types.Callsite.Hashtbl
+module Callsite =
+ Datatype.Pair_with_collections (Kernel_function) (Cil_datatype.Kinstr)
+ (struct let module_name = "From.Callsite" end)
+module CallsiteHash = Callsite.Hashtbl
(* Results of an an entire call, represented by a pair (stmt, kernel_function).
*)
module CallwiseResults =
State_builder.Hashtbl
- (Value_types.Callsite.Hashtbl)
+ (Callsite.Hashtbl)
(Inout_type)
(struct
let size = 17
--
GitLab