◆ type_mapt
◆ remove_function_pointerst()
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 |
|
) |
| |
◆ operator()()
void remove_function_pointerst::operator() |
( |
goto_functionst & |
goto_functions | ) |
|
◆ remove_function_pointer()
Replace a call to a dynamic function at location target in the given goto-program by determining functions that have a compatible signature.
- Parameters
-
goto_program | The goto program that contains target |
function_id | Name of function containing the target |
target | location with function call with function pointer |
Definition at line 242 of file remove_function_pointers.cpp.
◆ remove_function_pointers()
bool remove_function_pointerst::remove_function_pointers |
( |
goto_programt & |
goto_program, |
|
|
const irep_idt & |
function_id |
|
) |
| |
◆ add_safety_assertion
bool remove_function_pointerst::add_safety_assertion |
|
protected |
◆ address_taken
std::unordered_set<irep_idt> remove_function_pointerst::address_taken |
|
protected |
◆ message_handler
◆ ns
◆ only_resolve_const_fps
bool remove_function_pointerst::only_resolve_const_fps |
|
protected |
◆ symbol_table
◆ type_map
type_mapt remove_function_pointerst::type_map |
|
protected |
The documentation for this class was generated from the following file: