22 return a->location_number <
b->location_number;
29 auto &instruction = *it;
30 std::vector<goto_programt::targett>
backedges;
37 if(
predecessor->location_number > instruction.location_number)
107 goto_function.body.update();
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
function_mapt function_map
Interface providing access to a single function in a GOTO model, plus its associated symbol table.
goto_functionst goto_functions
GOTO functions.
A generic container class for the GOTO intermediate representation of one function.
instructionst instructions
The list of instructions in the goto program.
instructionst::iterator targett
targett insert_after(const_targett target)
Insertion after the instruction pointed-to by the given instruction iterator target.
static instructiont make_goto(targett _target, const source_locationt &l=source_locationt::nil())
static bool location_number_less_than(const goto_programt::targett &a, const goto_programt::targett &b)
bool ensure_one_backedge_per_target(goto_programt::targett &it, goto_programt &goto_program)
Ensure one backedge per target.