[Eva] Exported function [use_builtin] raises Not_found on unknown builtins.

src/plugins/value/Eva.mli

@@ -36,8 +36,9 @@ module Value_parameters: sig
   (** Returns the list (name, descr) of currently enabled abstract domains. *)
   val enabled_domains: unit -> (string * string) list
 
-  (** [use_builtin kf b] adds a builtin override for function [kf] to
-      builtin {!b}. *)
+  (** [use_builtin kf name] instructs the analysis to use the builtin [name]
+      to interpret calls to function [kf].
+      Raises [Not_found] if there is no builtin of name [name]. *)
   val use_builtin: Cil_types.kernel_function -> string -> unit
 end
 

src/plugins/value/value_parameters.ml

@@ -941,8 +941,12 @@ module BuiltinsOverrides =
     end)
 let () = add_precision_dep BuiltinsOverrides.parameter
 let () = BuiltinsOverrides.add_aliases ["-val-builtin"]
-let use_builtin key value =
-  BuiltinsOverrides.add (key, Some value)
+
+(* Exported in Eva.mli. *)
+let use_builtin key name =
+  if !Db.Value.mem_builtin name
+  then BuiltinsOverrides.add (key, Some name)
+  else raise Not_found
 
 let () = Parameter_customize.set_group precision_tuning
 module BuiltinsAuto =