48 !i_it->guard.is_constant())
51 i_it->guard.make_not();
54 t1->make_function_call(
56 t1->function=f_it->first;
59 t2->make_goto(i_it->get_target());
62 t3->make_function_call(
64 t3->function=f_it->first;
65 i_it->targets.clear();
66 i_it->targets.push_back(t3);
Function Entering and Exiting.
const std::string & id2string(const irep_idt &d)
symbol_tablet symbol_table
Symbol table.
instructionst::iterator targett
targett insert_after(const_targett target)
Insertion after the given 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)
goto_functionst goto_functions
GOTO functions.
void branch(goto_modelt &goto_model, const irep_idt &id)