36 out << local.first <<
"\n";
const code_declt & to_code_decl(const codet &code)
A declaration of a local variable.
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.
const parameterst & parameters() const
Expression to hold a symbol (variable)
Local variables whose address is taken.
#define forall_goto_program_instructions(it, program)