20 std::cout <<
"*** " << it->first <<
'\n';
23 natural_loops(it->second.body);
24 natural_loops.
output(std::cout);
void output(std::ostream &) const
Print all natural loops that were found.
void show_natural_loops(const goto_functionst &goto_functions)
Compute natural loops in a goto_function.
#define forall_goto_functions(it, functions)