cprover
remove_function_pointerst Member List

This is the complete list of members for remove_function_pointerst, including all inherited members.

add_safety_assertionremove_function_pointerstprotected
address_takenremove_function_pointerstprotected
arg_is_type_compatible(const typet &call_type, const typet &function_type)remove_function_pointerstprotected
compute_address_taken_in_symbols(std::set< irep_idt > &address_taken)remove_function_pointerstinlineprotected
debug()messagetinline
endl(mstreamt &m)messagetinlinestatic
eom(mstreamt &m)messagetinlinestatic
error()messagetinline
fix_argument_types(code_function_callt &function_call)remove_function_pointerstprotected
fix_return_type(code_function_callt &function_call, goto_programt &dest)remove_function_pointerstprotected
get_message_handler()messagetinline
get_mstream(unsigned message_level)messagetinline
is_type_compatible(bool return_value_used, const code_typet &call_type, const code_typet &function_type)remove_function_pointerstprotected
M_DEBUG enum valuemessaget
M_ERROR enum valuemessaget
M_PROGRESS enum valuemessaget
M_RESULT enum valuemessaget
M_STATISTICS enum valuemessaget
M_STATUS enum valuemessaget
M_WARNING enum valuemessaget
message_handlermessagetprotected
message_levelt enum namemessaget
messaget()messagetinline
messaget(const messaget &other)messagetinline
messaget(message_handlert &_message_handler)messagetinlineexplicit
mstreammessagetprotected
nsremove_function_pointerstprotected
only_resolve_const_fpsremove_function_pointerstprotected
operator()(goto_functionst &goto_functions)remove_function_pointerst
progress()messagetinline
remove_function_pointer(goto_programt &goto_program, goto_programt::targett target)remove_function_pointerstprotected
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()messagetinline
set_message_handler(message_handlert &_message_handler)messagetinlinevirtual
statistics()messagetinline
status()messagetinline
symbol_tableremove_function_pointerstprotected
type_mapremove_function_pointerstprotected
type_mapt typedefremove_function_pointerstprotected
warning()messagetinline
~messaget()messagetvirtual