From 281d013d2bb9213f62b4ede778c04397adf4ed71 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Mon, 15 Apr 2024 11:21:23 +0200
Subject: [PATCH] [Eva] Only prepares cvalue builtins once. Fixes
[is_builtin_overridden].
---
src/plugins/eva/domains/cvalue/builtins.ml | 7 ++++---
1 file changed, 4 insertions(+), 3 deletions(-)
diff --git a/src/plugins/eva/domains/cvalue/builtins.ml b/src/plugins/eva/domains/cvalue/builtins.ml
index 493a62a052b..e5eb37d3758 100644
--- a/src/plugins/eva/domains/cvalue/builtins.ml
+++ b/src/plugins/eva/domains/cvalue/builtins.ml
@@ -204,14 +204,15 @@ let prepare_builtins () =
(* Overrides builtins attribution according to the -eva-builtin option. *)
Parameters.BuiltinsOverrides.iter
(fun (kf, name) ->
- prepare_builtin kf (Hashtbl.find table (Option.get name)))
+ prepare_builtin kf (Hashtbl.find table (Option.get name)));
+ BuiltinsOverride.mark_as_computed ()
let find_builtin_override = Hashtbl.find_opt builtins_table
-let is_builtin_overridden name =
+let is_builtin_overridden kf =
if not (BuiltinsOverride.is_computed ())
then prepare_builtins ();
- BuiltinsOverride.mem name
+ BuiltinsOverride.mem kf
(* -------------------------------------------------------------------------- *)
(* --- Applying a builtin --- *)
--
GitLab