cprover
|
Goto Programs with Functions. More...
#include "goto_functions.h"
Go to the source code of this file.
Functions | |
void | get_local_identifiers (const goto_function_templatet< goto_programt > &goto_function, std::set< irep_idt > &dest) |
Goto Programs with Functions.
Definition in file goto_functions.cpp.
void get_local_identifiers | ( | const goto_function_templatet< goto_programt > & | goto_function, |
std::set< irep_idt > & | dest | ||
) |
Definition at line 16 of file goto_functions.cpp.
References goto_function_templatet< bodyT >::body, goto_programt::get_decl_identifiers(), code_typet::parameters(), and goto_function_templatet< bodyT >::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().