[kernel] fix warning 32/34

src/dune

@@ -44,7 +44,7 @@
   (name frama_c_kernel)
   (public_name frama-c.kernel)
   (foreign_stubs (language c) (names c_bindings))
-  (flags :standard -w -9-32-34)
+  (flags :standard -w -9)
   (libraries frama-c.init str unix zarith ocamlgraph dynlink bytes yojson dune-site dune-site.plugins)
   (preprocess (staged_pps ppx_import ppx_deriving.eq))
 )

src/kernel_services/abstract_interp/offsetmap.ml

@@ -2384,8 +2384,6 @@ end
 
 module Int_Intervals = struct
 
-  type itv = Int.t * Int.t
-
   type intervals =
     | Top
     | Intervals of Int.t * Int_Intervals_Map.t * Int.t * Int.t

src/kernel_services/plugin_entry_points/dynamic.ml

@@ -86,7 +86,6 @@ let dynlib_module name file =
 (* --- Utilities                                                          --- *)
 (* -------------------------------------------------------------------------- *)
 
-let split_word = Str.(split (regexp ":"))
 let split_ext p =
   try
     let k = String.rindex p '.' in
@@ -102,12 +101,6 @@ let is_package =
   let pkg = Str.regexp "[a-z-_][a-z-_0-9.]*$" in
   fun name -> Str.string_match pkg name 0
 
-let is_meta =
-  let meta = Str.regexp "META.frama-c-[a-z-_][a-z-_0-9]*$" in
-  fun name -> Str.string_match meta name 0
-
-let is_dir d = Sys.file_exists d && Sys.is_directory d
-
 let is_file base ext =
   let file = base ^ ext in
   if Sys.file_exists file then Some file else None