24 if(state.call_stack.empty())
25 throw "catch-pop on empty call stack";
27 if(state.top().catch_map.empty())
28 throw "catch-pop on function frame";
31 state.call_stack.pop_back();
35 state.catch_stack.push_back(goto_symex_statet::catch_framet());
36 goto_symex_statet::catch_framet &frame=state.catch_stack.back();
42 assert(exception_list.size()==instruction.
targets.size());
46 for(goto_programt::targetst::const_iterator
50 frame.target_map[exception_list[i].id()]=*it;
std::vector< irept > subt
targetst targets
The list of successor instructions.
void symex_catch(statet &)
This class represents an instruction in the GOTO intermediate representation.
const irept & find(const irep_namet &name) const