cprover
|
Link Goto Programs. More...
#include "link_goto_model.h"
#include <unordered_set>
#include <util/base_type.h>
#include <util/symbol.h>
#include <util/rename_symbol.h>
#include <linking/linking_class.h>
#include "goto_model.h"
Go to the source code of this file.
Functions | |
static void | rename_symbols_in_function (goto_functionst::goto_functiont &function, irep_idt &new_function_name, const rename_symbolt &rename_symbol) |
static bool | link_functions (symbol_tablet &dest_symbol_table, goto_functionst &dest_functions, const symbol_tablet &src_symbol_table, goto_functionst &src_functions, const rename_symbolt &rename_symbol, const std::unordered_set< irep_idt > &weak_symbols, const replace_symbolt &object_type_updates) |
Link a set of goto functions, considering weak symbols and symbol renaming. More... | |
void | link_goto_model (goto_modelt &dest, goto_modelt &src, message_handlert &message_handler) |
Link Goto Programs.
Definition in file link_goto_model.cpp.
|
static |
Link a set of goto functions, considering weak symbols and symbol renaming.
Definition at line 44 of file link_goto_model.cpp.
References base_type_eq(), rename_symbolt::expr_map, replace_symbolt::expr_map, Forall_goto_functions, Forall_goto_program_instructions, goto_functionst::function_map, symbol_exprt::get_identifier(), irept::id(), rename_symbolt::insert_expr(), INVARIANT, namespacet::lookup(), symbolt::name, rename_symbols_in_function(), symbol_table_baset::symbols, to_symbol_expr(), symbolt::type, and symbolt::value.
Referenced by link_goto_model().
void link_goto_model | ( | goto_modelt & | dest, |
goto_modelt & | src, | ||
message_handlert & | message_handler | ||
) |
Definition at line 156 of file link_goto_model.cpp.
References goto_modelt::goto_functions, link_functions(), linking(), message_handler, goto_modelt::symbol_table, and symbol_table_baset::symbols.
Referenced by read_object_and_link().
|
static |
Definition at line 24 of file link_goto_model.cpp.
References Forall_goto_program_instructions.
Referenced by link_functions().