49 !i_it->guard.is_constant())
55 t1->make_function_call(
57 t1->function=f_it->first;
60 t2->make_goto(i_it->get_target());
63 t3->make_function_call(
65 t3->function=f_it->first;
66 i_it->targets.clear();
67 i_it->targets.push_back(t3);
Function Entering and Exiting.
const std::string & id2string(const irep_idt &d)
Deprecated expression utility functions.
symbol_tablet symbol_table
Symbol table.
instructionst::iterator targett
targett insert_after(const_targett target)
Insertion after the instruction pointed-to by the given instruction iterator target.
bool has_prefix(const std::string &s, const std::string &prefix)
dstringt has one field, an unsigned integer no which is an index into a static table of strings...
A generic container class for the GOTO intermediate representation of one function.
#define Forall_goto_functions(it, functions)
#define Forall_goto_program_instructions(it, program)
code_function_callt function_to_call(symbol_tablet &symbol_table, const irep_idt &id, const irep_idt &argument)
exprt boolean_negate(const exprt &src)
negate a Boolean expression, possibly removing a not_exprt, and swapping false and true ...
goto_functionst goto_functions
GOTO functions.
void branch(goto_modelt &goto_model, const irep_idt &id)