cprover
Loading...
Searching...
No Matches
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_tablet &dest_symbol_table, const symbol_tablet &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.
 

Detailed Description

ANSI-C Linking.

Definition in file linking.h.

Function Documentation

◆ linking()

bool linking ( symbol_tablet dest_symbol_table,
const symbol_tablet 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 1470 of file linking.cpp.