Merge branch 'fix/eva/prepare-builtins-once' into 'master'

[Eva] Only prepares cvalue builtins once. Fixes [is_builtin_overridden].

See merge request frama-c/frama-c!4567

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                                                 --- *)