CBMC
linking.h File Reference

ANSI-C Linking. More...

+ This graph shows which files directly or indirectly include this file:

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...
 

Detailed Description

ANSI-C Linking.

Definition in file linking.h.

Function Documentation

◆ linking()

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.

Returns
True, iff linking failed with unresolvable conflicts.

Definition at line 1130 of file linking.cpp.