cprover
|
#include "goto_function.h"
Go to the source code of this file.
Functions | |
void | get_local_identifiers (const goto_functiont &goto_function, std::set< irep_idt > &dest) |
void get_local_identifiers | ( | const goto_functiont & | goto_function, |
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().