Loading...
Searching...
No Matches
remove_virtual_functionst Class Reference
+ Collaboration diagram for remove_virtual_functionst:
Remove virtual function calls from all functions in the specified list and replace them with their most derived implementations.
Remove all virtual function calls in a GOTO program and replace them with calls to their most derived implementations.
Replace specified virtual function call with a static call to its most derived implementation.
Detailed Description
Constructor & Destructor Documentation
◆ remove_virtual_functionst()
remove_virtual_functionst::remove_virtual_functionst
(
symbol_table_baset &
_symbol_table,
)
inline
Member Function Documentation
◆ operator()()
Remove virtual function calls from all functions in the specified list and replace them with their most derived implementations.
Definition at line 690 of file remove_virtual_functions.cpp.
◆ remove_virtual_function()
Replace specified virtual function call with a static call to its most derived implementation.
- Parameters
-
function_id The identifier of the function we are currently analysing
[in,out] goto_program GOTO program to modify
target iterator to a function in the supplied GOTO program to replace. Must point to a virtual function call.
- Returns
- Returns a pointer to the statement in the supplied GOTO program after replaced function call
Definition at line 466 of file remove_virtual_functions.cpp.
◆ remove_virtual_functions()
bool remove_virtual_functionst::remove_virtual_functions
(
const irep_idt &
function_id,
)
Remove all virtual function calls in a GOTO program and replace them with calls to their most derived implementations.
Returns true if at least one function has been replaced.
Definition at line 657 of file remove_virtual_functions.cpp.
Member Data Documentation
◆ class_hierarchy
◆ ns
◆ symbol_table
The documentation for this class was generated from the following file:
