cprover
natural_loops.cpp
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: Dominators
4 
5 Author: Georg Weissenbacher, georg@weissenbacher.name
6 
7 \*******************************************************************/
8 
11 
12 #include "natural_loops.h"
13 
15  const goto_modelt &goto_model,
16  std::ostream &out)
17 {
19  {
20  out << "*** " << it->first << '\n';
21 
22  natural_loopst natural_loops;
23  natural_loops(it->second.body);
24  natural_loops.output(out);
25 
26  out << '\n';
27  }
28 }
void output(std::ostream &) const
Print all natural loops that were found.
A concretized version of natural_loops_templatet<const goto_programt, goto_programt::const_targett>
Definition: natural_loops.h:87
void show_natural_loops(const goto_modelt &goto_model, std::ostream &out)
Compute natural loops in a goto_function.
#define forall_goto_functions(it, functions)
goto_functionst goto_functions
GOTO functions.
Definition: goto_model.h:32