15 std::set<irep_idt> &dest)
22 for(
const auto ¶m : parameters)
24 const irep_idt &identifier = param.get_identifier();
26 dest.insert(identifier);
void get_local_identifiers(const goto_functiont &goto_function, std::set< irep_idt > &dest)
std::vector< parametert > parameterst
void get_decl_identifiers(decl_identifierst &decl_identifiers) const
get the variables in decl statements
const parameterst & parameters() const