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
41 c_it=frame.catch_map.find(
e_it->id());
43 if(
c_it!=frame.catch_map.end())
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.
const goto_instruction_codet & code() const
Get the code represented by this instruction.
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)
goto_programt::const_targett pc