28 for(
const auto ¶m : goto_function.type.parameters())
36 out << local.first <<
"\n";
const code_declt & to_code_decl(const codet &code)
A declaration of a local variable.
goto_functionst::goto_functiont goto_functiont
API to expression classes.
const irep_idt & get_identifier() const
void output(std::ostream &out) const
void build(const goto_functiont &goto_function)
const symbol_exprt & to_symbol_expr(const exprt &expr)
Cast a generic exprt to a symbol_exprt.
Expression to hold a symbol (variable)
Local variables whose address is taken.
#define forall_goto_program_instructions(it, program)