cprover
|
Go to the source code of this file.
Classes | |
class | goto_functiont |
Functions | |
void | get_local_identifiers (const goto_functiont &, std::set< irep_idt > &dest) |
void get_local_identifiers | ( | const goto_functiont & | , |
std::set< irep_idt > & | dest | ||
) |
Definition at line 13 of file goto_function.cpp.
References goto_functiont::body, goto_programt::get_decl_identifiers(), code_typet::parameters(), and goto_functiont::type.
Referenced by invariant_propagationt::add_objects(), value_set_analysis_fit::add_vars(), value_set_analysis_fivrt::add_vars(), value_set_analysis_fivrnst::add_vars(), interpretert::execute_function_call(), and goto_symext::locality().