49 !i_it->guard.is_constant())
52 i_it->guard.make_not();
55 t1->make_function_call(
57 t1->function=f_it->first;
61 t2->targets=i_it->targets;
64 t3->make_function_call(
66 t3->function=f_it->first;
67 i_it->targets.clear();
68 i_it->targets.push_back(t3);
Function Entering and Exiting.
const std::string & id2string(const irep_idt &d)
targett insert_after(const_targett target)
Insertion after the given target.
bool has_prefix(const std::string &s, const std::string &prefix)
A specialization of goto_program_templatet over goto programs in which instructions have codet type...
void branch(symbol_tablet &symbol_table, goto_functionst &goto_functions, const irep_idt &id)
#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)
instructionst::iterator targett