cprover
|
Handling of functions without body. More...
#include <iosfwd>
Go to the source code of this file.
Functions | |
void | list_undefined_functions (const goto_functionst &goto_functions, const namespacet &ns, std::ostream &os) |
void | undefined_function_abort_path (goto_functionst &goto_functions) |
Handling of functions without body.
Definition in file undefined_functions.h.
void list_undefined_functions | ( | const goto_functionst & | goto_functions, |
const namespacet & | ns, | ||
std::ostream & | os | ||
) |
Definition at line 20 of file undefined_functions.cpp.
References forall_goto_functions, and namespacet::lookup().
Referenced by goto_instrument_parse_optionst::doit().
void undefined_function_abort_path | ( | goto_functionst & | goto_functions | ) |
Definition at line 31 of file undefined_functions.cpp.
References Forall_goto_functions, Forall_goto_program_instructions, code_function_callt::function(), goto_functions_templatet< bodyT >::function_map, irept::id(), id2string(), to_code_function_call(), and to_symbol_expr().
Referenced by goto_instrument_parse_optionst::doit().