cprover
|
This is the complete list of members for remove_function_pointerst, including all inherited members.
add_safety_assertion | remove_function_pointerst | protected |
address_taken | remove_function_pointerst | protected |
arg_is_type_compatible(const typet &call_type, const typet &function_type) | remove_function_pointerst | protected |
compute_address_taken_in_symbols(std::unordered_set< irep_idt > &address_taken) | remove_function_pointerst | inlineprotected |
conditional_output(mstreamt &mstream, const std::function< void(mstreamt &)> &output_generator) const | messaget | |
debug() const | messaget | inline |
endl(mstreamt &m) | messaget | inlinestatic |
eom(mstreamt &m) | messaget | inlinestatic |
error() const | messaget | inline |
eval_verbosity(const std::string &user_input, const message_levelt default_verbosity, message_handlert &dest) | messaget | static |
fix_argument_types(code_function_callt &function_call) | remove_function_pointerst | protected |
fix_return_type(code_function_callt &function_call, goto_programt &dest) | remove_function_pointerst | protected |
get_message_handler() | messaget | inline |
get_mstream(unsigned message_level) const | messaget | inline |
is_type_compatible(bool return_value_used, const code_typet &call_type, const code_typet &function_type) | remove_function_pointerst | protected |
M_DEBUG enum value | messaget | |
M_ERROR enum value | messaget | |
M_PROGRESS enum value | messaget | |
M_RESULT enum value | messaget | |
M_STATISTICS enum value | messaget | |
M_STATUS enum value | messaget | |
M_WARNING enum value | messaget | |
message_handler | messaget | protected |
message_levelt enum name | messaget | |
messaget() | messaget | inline |
messaget(const messaget &other) | messaget | inline |
messaget(message_handlert &_message_handler) | messaget | inlineexplicit |
mstream | messaget | mutableprotected |
ns | remove_function_pointerst | protected |
only_resolve_const_fps | remove_function_pointerst | protected |
operator()(goto_functionst &goto_functions) | remove_function_pointerst | |
operator=(const messaget &other) | messaget | inline |
progress() const | messaget | inline |
remove_function_pointer(goto_programt &goto_program, goto_programt::targett target) | remove_function_pointerst | protected |
remove_function_pointers(goto_programt &goto_program) | remove_function_pointerst | |
remove_function_pointerst(message_handlert &_message_handler, symbol_tablet &_symbol_table, bool _add_safety_assertion, bool only_resolve_const_fps, const goto_functionst &goto_functions) | remove_function_pointerst | |
result() const | messaget | inline |
set_message_handler(message_handlert &_message_handler) | messaget | inlinevirtual |
statistics() const | messaget | inline |
status() const | messaget | inline |
symbol_table | remove_function_pointerst | protected |
type_map | remove_function_pointerst | protected |
type_mapt typedef | remove_function_pointerst | protected |
warning() const | messaget | inline |
~messaget() | messaget | virtual |