18 std::set<irep_idt> &dest)
26 for(
const auto ¶m : parameters)
28 const irep_idt &identifier=param.get_identifier();
30 dest.insert(identifier);
Goto Programs with Functions.
void get_local_identifiers(const goto_function_templatet< goto_programt > &goto_function, std::set< irep_idt > &dest)
std::vector< parametert > parameterst
void get_decl_identifiers(decl_identifierst &decl_identifiers) const
const parameterst & parameters() const