cprover
|
Public Member Functions | |
parameter_assignmentst (symbol_tablet &_symbol_table) | |
void | operator() (goto_functionst &goto_functions) |
Protected Member Functions | |
void | do_function_calls (goto_functionst &goto_functions, goto_programt &goto_program) |
turns x=f(...) into f(...); lhs=f::return_value; More... | |
Protected Attributes | |
symbol_tablet & | symbol_table |
Definition at line 19 of file parameter_assignments.cpp.
|
inlineexplicit |
Definition at line 22 of file parameter_assignments.cpp.
|
protected |
turns x=f(...) into f(...); lhs=f::return_value;
Definition at line 39 of file parameter_assignments.cpp.
References goto_programt::add_instruction(), code_function_callt::arguments(), dstringt::empty(), Forall_goto_program_instructions, code_function_callt::function(), goto_program, irept::id(), goto_programt::insert_before_swap(), goto_programt::instructions, namespacet::lookup(), exprt::make_typecast(), code_typet::parameters(), symbolt::symbol_expr(), symbol_table, to_code_function_call(), to_code_type(), to_symbol_expr(), symbolt::type, and exprt::type().
Referenced by operator()().
void parameter_assignmentst::operator() | ( | goto_functionst & | goto_functions | ) |
Definition at line 93 of file parameter_assignments.cpp.
References do_function_calls(), and Forall_goto_functions.
|
protected |
Definition at line 31 of file parameter_assignments.cpp.
Referenced by do_function_calls().