cprover
|
Remove Virtual Function (Method) Calls. More...
#include "remove_virtual_functions.h"
#include <algorithm>
#include <util/type_eq.h>
#include "class_identifier.h"
#include "goto_model.h"
#include "remove_skip.h"
#include "resolve_inherited_component.h"
Go to the source code of this file.
Classes | |
class | remove_virtual_functionst |
Remove Virtual Function (Method) Calls.
Definition in file remove_virtual_functions.cpp.
void collect_virtual_function_callees | ( | const exprt & | function, |
const symbol_table_baset & | symbol_table, | ||
const class_hierarchyt & | class_hierarchy, | ||
dispatch_table_entriest & | overridden_functions | ||
) |
Definition at line 591 of file remove_virtual_functions.cpp.
References remove_virtual_functionst::get_functions().
|
static |
Create a concrete function call to replace a virtual one.
call | [in/out]: the function call to update |
function_symbol | the function to be called |
ns | namespace |
Definition at line 104 of file remove_virtual_functions.cpp.
References code_function_callt::arguments(), code_function_callt::function(), symbol_exprt::get_identifier(), code_typet::parametert::get_this(), INVARIANT, namespacet::lookup(), to_code_type(), exprt::type(), and type_eq().
Referenced by remove_virtual_functionst::remove_virtual_function().
goto_programt::targett remove_virtual_function | ( | symbol_tablet & | symbol_table, |
goto_programt & | goto_program, | ||
goto_programt::targett | instruction, | ||
const dispatch_table_entriest & | dispatch_table, | ||
virtual_dispatch_fallback_actiont | fallback_action | ||
) |
Definition at line 557 of file remove_virtual_functions.cpp.
References goto_program, remove_virtual_functionst::remove_virtual_function(), and goto_programt::update().
Referenced by remove_virtual_function().
goto_programt::targett remove_virtual_function | ( | goto_modelt & | goto_model, |
goto_programt & | goto_program, | ||
goto_programt::targett | instruction, | ||
const dispatch_table_entriest & | dispatch_table, | ||
virtual_dispatch_fallback_actiont | fallback_action | ||
) |
Definition at line 576 of file remove_virtual_functions.cpp.
References goto_program, remove_virtual_function(), and goto_modelt::symbol_table.
void remove_virtual_functions | ( | const symbol_table_baset & | symbol_table, |
goto_functionst & | goto_functions | ||
) |
Definition at line 533 of file remove_virtual_functions.cpp.
Referenced by goto_instrument_parse_optionst::do_indirect_call_and_rtti_removal(), jbmc_parse_optionst::process_goto_function(), jdiff_parse_optionst::process_goto_program(), janalyzer_parse_optionst::process_goto_program(), and remove_virtual_functions().
void remove_virtual_functions | ( | goto_modelt & | goto_model | ) |
Definition at line 543 of file remove_virtual_functions.cpp.
References goto_modelt::goto_functions, remove_virtual_functions(), and goto_modelt::symbol_table.
void remove_virtual_functions | ( | goto_model_functiont & | function | ) |
Remove virtual functions from one function.
May change the location numbers in function
.
function | function from which virtual functions should be converted to explicit dispatch tables. |
Definition at line 549 of file remove_virtual_functions.cpp.
References remove_virtual_functionst::remove_virtual_functions().