From a75704d2305b263a9d066ea301ee6eafcfe3ebea Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Mon, 5 Aug 2019 15:42:57 +0200
Subject: [PATCH] [kernel] slight internal refactoring in file.ml
---
src/kernel_services/ast_queries/file.ml | 12 ++++++------
1 file changed, 6 insertions(+), 6 deletions(-)
diff --git a/src/kernel_services/ast_queries/file.ml b/src/kernel_services/ast_queries/file.ml
index 356d822f8d2..eacf1fbb240 100644
--- a/src/kernel_services/ast_queries/file.ml
+++ b/src/kernel_services/ast_queries/file.ml
@@ -604,11 +604,11 @@ let () =
-(** Keep defined entry point even if not defined, and possibly the functions
- with only specifications (according to parameter
- keep_unused_specified_function). This function is meant to be passed to
- {!Rmtmps.removeUnused}. *)
-let keep_entry_point ?(specs=Kernel.Keep_unused_specified_functions.get ()) g =
+(* Keep defined entry point even if not defined, and possibly
+ other unused globals according to relevant command-line parameters.
+ This function is meant to be passed to {!Rmtmps.removeUnused}. *)
+let isRoot g =
+ let specs = Kernel.Keep_unused_specified_functions.get () in
let keepTypes = Kernel.Keep_unused_types.get () in
Rmtmps.isExportedRoot g ||
match g with
@@ -1099,7 +1099,7 @@ let prepare_cil_file ast =
Transform_before_cleanup.apply ast;
(* Remove unused temp variables and globals. *)
Kernel.feedback ~level:2 "cleaning unused parts";
- Rmtmps.removeUnused ~isRoot:keep_entry_point ast;
+ Rmtmps.removeUnused ~isRoot ast;
if Kernel.Check.get () then begin
Filecheck.check_ast ~is_normalized:false ~ast "Removed temp vars"
end;
--
GitLab