25 if(state.call_stack.empty())
26 throw "catch-pop on empty call stack";
28 if(state.top().catch_map.empty())
29 throw "catch-pop on function frame";
32 state.call_stack.pop_back();
36 state.catch_stack.push_back(goto_symex_statet::catch_framet());
37 goto_symex_statet::catch_framet &frame=state.catch_stack.back();
47 for(goto_programt::targetst::const_iterator
51 frame.target_map[exception_list[i].id()]=*it;