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
std::vector< irept > subt
This class represents an instruction in the GOTO intermediate representation.
void symex_throw(statet &)
virtual void symex_assume(statet &, const exprt &cond)
The boolean constant false.
call_stackt & call_stack()
const irept & find(const irep_namet &name) const
symex_targett::sourcet source