From 39719de803c06df945a944fc3f2d45b0e5651f8a Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Mon, 11 Jul 2022 14:30:08 +0200
Subject: [PATCH] [kernel] fix warning 32/34
---
src/dune | 2 +-
src/kernel_services/abstract_interp/offsetmap.ml | 2 --
src/kernel_services/plugin_entry_points/dynamic.ml | 7 -------
3 files changed, 1 insertion(+), 10 deletions(-)
diff --git a/src/dune b/src/dune
index dea5fe6e33d..31106c84ff5 100644
--- a/src/dune
+++ b/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))
)
diff --git a/src/kernel_services/abstract_interp/offsetmap.ml b/src/kernel_services/abstract_interp/offsetmap.ml
index 443f613e6a5..fbb0e33eddf 100644
--- a/src/kernel_services/abstract_interp/offsetmap.ml
+++ b/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
diff --git a/src/kernel_services/plugin_entry_points/dynamic.ml b/src/kernel_services/plugin_entry_points/dynamic.ml
index 4db425f4496..faf704b58d7 100644
--- a/src/kernel_services/plugin_entry_points/dynamic.ml
+++ b/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
--
GitLab