C++ (Cpp) dominators Exemples

Exemple #1

Fichier : unreachable_instructions.cpp Projet : danpoe/cbmc

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));
  }
}

Exemple #2

Fichier : dom.cpp Projet : JehandadKhan/roccc-2.0

const NatSet*
DominanceInfo::dominators(CfgNode *n) const
{
    return dominators(get_number(n));
}