[kernel] Query to know if a kf is the entry point

src/kernel_services/ast_data/globals.ml

@@ -847,6 +847,13 @@ let set_entry_point name lib =
     Kernel.LibEntry.unsafe_set lib;
   end
 
+let is_entry_point ?when_lib_entry kf =
+  match when_lib_entry with
+  | Some value when Kernel.LibEntry.get () -> value
+  | _ ->
+    try Cil_datatype.Kf.equal kf @@ fst @@ entry_point ()
+    with No_such_entry_point _ -> false
+
 (* ************************************************************************* *)
 (** {2 Global Comments} *)
 (* ************************************************************************* *)

src/kernel_services/ast_data/globals.mli

@@ -293,6 +293,14 @@ val set_entry_point : string -> bool -> unit
     [Kernel.MainFunction] or [Kernel.LibEntry].
     @plugin development guide *)
 
+val is_entry_point : ?when_lib_entry:bool -> kernel_function -> bool
+(** @return [true] iff the given kernel function is the entry point.
+    The optional parameter [when_lib_entry] overrides the result if we are
+    in -lib-entry mode.
+
+    @since Frama-C+dev
+*)
+
 (* ************************************************************************* *)
 (** {2 Comments} *)
 (* ************************************************************************* *)