18 std::ostream &out)
const 22 if(fun.second.body_available())
24 out <<
"^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^\n\n";
28 fun.second.body.output(ns, symbol.
name, out);
57 func.second.body.compute_incoming_edges();
65 func.second.body.compute_target_numbers();
73 func.second.body.compute_loop_numbers();
irep_idt name
The unique identifier.
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
Symbol table entry.This is a symbol in the symbol table, stored in an object of type symbol_tablet...
void compute_location_numbers()
void output(const namespacet &ns, std::ostream &out) const
A generic container class for the GOTO intermediate representation of one function.
const irep_idt & display_name() const
void compute_incoming_edges()
bool lookup(const irep_idt &name, const symbolt *&symbol) const override
See namespace_baset::lookup().