17 const goto_programt::instructiont &instruction=*state.
source.
pc;
21 instruction.code.find(ID_exception_list).get_sub();
25 for(goto_symex_statet::call_stackt::const_reverse_iterator
35 for(irept::subt::const_iterator
36 e_it=exceptions_thrown.begin();
37 e_it!=exceptions_thrown.end();
40 goto_symex_statet::framet::catch_mapt::const_iterator
goto_programt::const_targett pc
virtual void symex_assume(statet &state, const exprt &cond)
std::vector< irept > subt
The boolean constant false.
call_stackt & call_stack()
void symex_throw(statet &state)
symex_targett::sourcet source