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 |
fix_argument_types(code_function_callt &function_call) | remove_function_pointerst | protected |
fix_return_type(const irep_idt &in_function_id, code_function_callt &function_call, goto_programt &dest) | remove_function_pointerst | protected |
functionst typedef | remove_function_pointerst | |
is_type_compatible(bool return_value_used, const code_typet &call_type, const code_typet &function_type) | remove_function_pointerst | protected |
log | remove_function_pointerst | protected |
ns | remove_function_pointerst | protected |
only_resolve_const_fps | remove_function_pointerst | protected |
operator()(goto_functionst &goto_functions) | remove_function_pointerst | |
remove_function_pointer(goto_programt &goto_program, const irep_idt &function_id, goto_programt::targett target, const functionst &functions) | remove_function_pointerst | |
remove_function_pointer(goto_programt &goto_program, const irep_idt &function_id, goto_programt::targett target) | remove_function_pointerst | protected |
remove_function_pointers(goto_programt &goto_program, const irep_idt &function_id) | 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 | |
symbol_table | remove_function_pointerst | protected |
type_map | remove_function_pointerst | protected |
type_mapt typedef | remove_function_pointerst | protected |