From 5c121b9ab33d95e8b34f9386880a5570c8f815cc Mon Sep 17 00:00:00 2001 From: martin Date: Fri, 10 Feb 2017 16:58:28 +0000 Subject: [PATCH] Remove the top variable from the cfg_dominator analysis. This variable is not used anywhere, it is not clear what it's purpose is and in profiling it was shown to be expensive. --- src/analyses/cfg_dominators.h | 5 ----- 1 file changed, 5 deletions(-) diff --git a/src/analyses/cfg_dominators.h b/src/analyses/cfg_dominators.h index 687d84e1416..1a4d6090f47 100644 --- a/src/analyses/cfg_dominators.h +++ b/src/analyses/cfg_dominators.h @@ -35,7 +35,6 @@ class cfg_dominators_templatet void operator()(P &program); - target_sett top; T entry_node; void output(std::ostream &) const; @@ -101,10 +100,6 @@ template void cfg_dominators_templatet::initialise(P &program) { cfg(program); - - // initialise top element - for(const auto &node : cfg.entry_map) - top.insert(cfg[node.second].PC); } /*******************************************************************\