[Kernel] Ast_info: add function get_statics (previously at Kernel_function)

src/kernel_services/ast_data/kernel_function.ml

@@ -54,17 +54,7 @@ let get_locals f = match f.fundec with
 
 let get_statics f = match f.fundec with
   | Definition (d, _) ->
-    let statics = ref [] in
-    let local_statics_visitor =
-      object
-        inherit Cil.nopCilVisitor
-        method! vblock b =
-          statics := !statics @ b.bstatics;
-          Cil.DoChildren
-      end
-    in
-    ignore (Cil.visitCilBlock local_statics_visitor d.sbody);
-    !statics
+    Ast_info.Function.get_statics d
   | Declaration (_, _, _, _) -> []
 
 let () = Globals.get_statics := get_statics

src/kernel_services/ast_queries/ast_info.ml

@@ -364,6 +364,22 @@ module Function = struct
   let get_name f = (get_vi f).vname
   let get_id f = (get_vi f).vid
 
+  let get_statics fundec =
+    let statics = ref [] in
+    let local_statics_visitor =
+      object
+        inherit Cil.nopCilVisitor
+        method! vblock b =
+          statics := !statics @ b.bstatics;
+          Cil.DoChildren
+        method! vinst _ = Cil.SkipChildren
+        method! vvdec _ = Cil.SkipChildren
+        method! vexpr _ = Cil.SkipChildren
+      end
+    in
+    ignore (Cil.visitCilBlock local_statics_visitor fundec.sbody);
+    !statics
+
 end
 
 exception FoundBlock of block

src/kernel_services/ast_queries/ast_info.mli

@@ -230,6 +230,10 @@ module Function: sig
   val get_vi: cil_function -> varinfo
   val get_name: cil_function -> string
   val get_id: cil_function -> int
+
+  val get_statics: fundec -> varinfo list
+  (** @since Frama-C+dev *)
+
 end
 
 (* ************************************************************************** *)