static void unreachable_instructions( const goto_programt &goto_program, dead_mapt &dest) { cfg_dominatorst dominators; dominators(goto_program); for(cfg_dominatorst::cfgt::entry_mapt::const_iterator it=dominators.cfg.entry_map.begin(); it!=dominators.cfg.entry_map.end(); ++it) { const cfg_dominatorst::cfgt::nodet &n=dominators.cfg[it->second]; if(n.dominators.empty()) dest.insert(std::make_pair(it->first->location_number, it->first)); } }
const NatSet* DominanceInfo::dominators(CfgNode *n) const { return dominators(get_number(n)); }