25 for(goto_symex_statet::call_stackt::const_reverse_iterator
30 const goto_symex_statet::framet &
frame=*
s_it;
32 if(
frame.catch_map.empty())
35 for(irept::subt::const_iterator
40 goto_symex_statet::framet::catch_mapt::const_iterator
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
The Boolean constant false.
This class represents an instruction in the GOTO intermediate representation.
codet code
Do not read or modify directly – use get_X() instead.
Central data structure: state.
call_stackt & call_stack()
symex_targett::sourcet source
void symex_throw(statet &state)
Symbolically execute a THROW instruction.
void symex_assume_l2(statet &, const exprt &cond)
const irept & find(const irep_idt &name) const
goto_programt::const_targett pc