cprover
|
Public Member Functions | |
arg_stackt (const_function_pointer_propagationt &_cfpp) | |
void | add_args (const symbol_exprt &const_function, goto_programt::instructionst::iterator it) |
adds const pointers (instantiated here or propagated) passed as arguments in the map More... | |
void | remove_args () |
Protected Attributes | |
const_function_pointer_propagationt & | cfpp |
Definition at line 117 of file propagate_const_function_pointers.cpp.
|
inlineexplicit |
Definition at line 123 of file propagate_const_function_pointers.cpp.
void const_function_pointer_propagationt::arg_stackt::add_args | ( | const symbol_exprt & | const_function, |
goto_programt::instructionst::iterator | it | ||
) |
adds const pointers (instantiated here or propagated) passed as arguments in the map
Definition at line 338 of file propagate_const_function_pointers.cpp.
References const_function_pointer_propagationt::add(), code_function_callt::arguments(), symbolt::base_name, cfpp, messaget::debug(), messaget::eom(), const_function_pointer_propagationt::fun_id_to_invok, goto_functions_templatet< bodyT >::function_map, const_function_pointer_propagationt::get(), symbol_exprt::get_identifier(), const_function_pointer_propagationt::goto_functions, const_function_pointer_propagationt::has(), irept::id(), symbol_tablet::lookup(), const_function_pointer_propagationt::message, address_of_exprt::object(), const_function_pointer_propagationt::symbol_table, to_address_of_expr(), to_code_function_call(), and to_symbol_expr().
Referenced by const_function_pointer_propagationt::propagate().
void const_function_pointer_propagationt::arg_stackt::remove_args | ( | ) |
Definition at line 415 of file propagate_const_function_pointers.cpp.
References messaget::eom().
Referenced by const_function_pointer_propagationt::propagate().
|
protected |
Definition at line 120 of file propagate_const_function_pointers.cpp.
Referenced by add_args().