Go to the documentation of this file.
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);
#define Forall_goto_program_instructions(it, program)
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
const std::string & id2string(const irep_idt &d)
void branch(goto_modelt &goto_model, const irep_idt &id)
exprt boolean_negate(const exprt &src)
negate a Boolean expression, possibly removing a not_exprt, and swapping false and true
code_function_callt function_to_call(symbol_tablet &symbol_table, const irep_idt &id, const irep_idt &argument)
#define Forall_goto_functions(it, functions)
Deprecated expression utility functions.
goto_functionst goto_functions
GOTO functions.
A generic container class for the GOTO intermediate representation of one function.
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)
symbol_tablet symbol_table
Symbol table.
instructionst::iterator targett