From fde0bef4f9ea9bb919c3f5b56716fd476c3b6fd4 Mon Sep 17 00:00:00 2001
From: Thibault Martin <thi.martin.pro@pm.me>
Date: Thu, 30 Nov 2023 11:11:39 +0100
Subject: [PATCH] [Variadic] Add mem for globals and functions in env
---
src/plugins/variadic/environment.ml | 6 ++++++
src/plugins/variadic/environment.mli | 3 +++
2 files changed, 9 insertions(+)
diff --git a/src/plugins/variadic/environment.ml b/src/plugins/variadic/environment.ml
index 77cbd5aa164..e561d19a840 100644
--- a/src/plugins/variadic/environment.ml
+++ b/src/plugins/variadic/environment.ml
@@ -90,6 +90,12 @@ let find_type (env : t) (namespace : Logic_typing.type_namespace)
| Logic_typing.Enum ->
TEnum (find_enum env tname, [])
+let mem_global (env : t) (vname : string) : bool =
+ Table.mem env.globals vname
+
+let mem_function (env : t) (vname : string) : bool =
+ Table.mem env.functions vname
+
let from_file (file : file) : t =
let env = empty () in
let v = object inherit Cil.nopCilVisitor
diff --git a/src/plugins/variadic/environment.mli b/src/plugins/variadic/environment.mli
index 9163b7b16cd..d8e54a24f77 100644
--- a/src/plugins/variadic/environment.mli
+++ b/src/plugins/variadic/environment.mli
@@ -34,3 +34,6 @@ val find_struct : t -> string -> Cil_types.compinfo
val find_union : t -> string -> Cil_types.compinfo
val find_enum : t -> string -> Cil_types.enuminfo
val find_type : t -> Logic_typing.type_namespace -> string -> Cil_types.typ
+
+val mem_global : t -> string -> bool
+val mem_function : t -> string -> bool
--
GitLab