cprover
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, symbol_tablet &new_symbol_table, message_handlert &message_handler)
 

Detailed Description

ANSI-C Linking.

Definition in file linking.h.

Function Documentation

◆ linking()

bool linking ( symbol_tablet dest_symbol_table,
symbol_tablet new_symbol_table,
message_handlert message_handler 
)

Definition at line 1444 of file linking.cpp.