35 out << local.first <<
"\n";
const code_declt & to_code_decl(const codet &code)
const irep_idt & get_identifier() const
A codet representing the declaration of a local variable.
API to expression classes.
void output(std::ostream &out) const
void build(const goto_functiont &goto_function)
code_typet type
The type of the function, indicating the return type and parameter types.
A goto function, consisting of function type (see type), function body (see body),...
const parameterst & parameters() const
Expression to hold a symbol (variable)
Local variables whose address is taken.
#define forall_goto_program_instructions(it, program)