22 if(instruction.is_decl())
23 locals.insert(instruction.decl_symbol().get_identifier());
33 for(
const auto &local :
locals)
A goto function, consisting of function body (see body) and parameter identifiers (see parameter_iden...
parameter_identifierst parameter_identifiers
The identifiers of the parameters of this function.
instructionst instructions
The list of instructions in the goto program.
void build(const goto_functiont &goto_function)
void output(std::ostream &out) const
Local variables whose address is taken.