From c08c6e470b5427e43031d702d6993117c4a00eb5 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Thu, 13 Jan 2022 21:38:28 +0100
Subject: [PATCH] [Kernel] cleanup unused code in Rmtmps
---
src/kernel_internals/typing/rmtmps.ml | 13 +++----------
1 file changed, 3 insertions(+), 10 deletions(-)
diff --git a/src/kernel_internals/typing/rmtmps.ml b/src/kernel_internals/typing/rmtmps.ml
index 8103797ff66..0bef4ca0188 100644
--- a/src/kernel_internals/typing/rmtmps.ml
+++ b/src/kernel_internals/typing/rmtmps.ml
@@ -790,8 +790,6 @@ let remove_unused_labels ?(is_removable=label_removable) func =
(visitCilBlock (new removeUnusedLabels is_removable usedLabels) func.sbody)
let removeUnmarked isRoot ast reachable_tbl =
- let removedLocals = ref [] in
-
let filterGlobal global =
match global with
(* unused global types, variables, and functions are simply removed *)
@@ -823,11 +821,7 @@ let removeUnmarked isRoot ast reachable_tbl =
if (local.vtemp || local.vstorage = Static) &&
not (is_reachable reachable_tbl (Var local)) then
begin
- (* along the way, record the interesting locals that were removed *)
- let name = local.vname in
- (Kernel.debug ~dkey "removing local: %s" name);
- removedLocals :=
- (func.svar.vname ^ "::" ^ name) :: !removedLocals;
+ Kernel.debug ~dkey "removing local: %s" local.vname;
false
end else true
in
@@ -873,8 +867,7 @@ let removeUnmarked isRoot ast reachable_tbl =
end;
Kernel.debug ~dkey "kept global %s (%a)" (global_type_and_name rg) Printer.pp_global rg
) keptGlobals;
- end;
- !removedLocals
+ end
(***********************************************************************
@@ -914,7 +907,7 @@ let removeUnused ?(isRoot=isExportedRoot) ast =
markReferenced ast;
(* take out the trash *)
- ignore (removeUnmarked isRoot ast reachable_tbl)
+ removeUnmarked isRoot ast reachable_tbl
end
(*
--
GitLab