40 func.second.body.compute_incoming_edges();
48 func.second.body.compute_target_numbers();
56 func.second.body.compute_loop_numbers();
61 std::vector<goto_functionst::function_mapt::const_iterator>
64 std::vector<function_mapt::const_iterator> result;
74 [](function_mapt::const_iterator a, function_mapt::const_iterator b) {
84 std::vector<function_mapt::iterator> result;
94 [](function_mapt::iterator a, function_mapt::iterator b) {
const std::string & id2string(const irep_idt &d)
void compute_location_numbers(unsigned &nr)
Compute location numbers.
void compute_loop_numbers()
void compute_target_numbers()
Goto Programs with Functions.
unsigned unused_location_number
A location number such that numbers in the interval [unused_location_number, MAX_UINT] are all unused...
function_mapt function_map
void compute_location_numbers()
A generic container class for the GOTO intermediate representation of one function.
std::vector< function_mapt::const_iterator > sorted() const
returns a vector of the iterators in alphabetical order
void compute_incoming_edges()