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) {
75 return id2string(a->first) < id2string(b->first);
84 std::vector<function_mapt::iterator> result;
94 [](function_mapt::iterator a, function_mapt::iterator b) {
95 return id2string(a->first) < id2string(b->first);