CBMC
|
ANSI-C Linking. More...
Go to the source code of this file.
Functions | |
bool | linking (symbol_table_baset &dest_symbol_table, const symbol_table_baset &new_symbol_table, message_handlert &message_handler) |
Merges the symbol table new_symbol_table into dest_symbol_table , renaming symbols from new_symbol_table when necessary. More... | |
ANSI-C Linking.
Definition in file linking.h.
bool linking | ( | symbol_table_baset & | dest_symbol_table, |
const symbol_table_baset & | new_symbol_table, | ||
message_handlert & | message_handler | ||
) |
Merges the symbol table new_symbol_table
into dest_symbol_table
, renaming symbols from new_symbol_table
when necessary.
Definition at line 1130 of file linking.cpp.