20 std::set<goto_programt::targett> reachable;
21 std::stack<goto_programt::targett> working;
25 while(!working.empty())
30 if(reachable.find(t)==reachable.end() &&
45 if(reachable.find(it)==reachable.end() &&
46 !it->is_end_function())
instructionst instructions
The list of instructions in the goto program.
void remove_unreachable(goto_programt &goto_program)
remove unreachable code
std::list< Target > get_successors(Target target) const
A specialization of goto_program_templatet over goto programs in which instructions have codet type...
#define Forall_goto_functions(it, functions)
#define Forall_goto_program_instructions(it, program)
instructionst::iterator targett