cprover
linking.h File Reference

ANSI-C Linking. More...

#include <util/message.h>
#include <util/symbol_table.h>
+ Include dependency graph for linking.h:
+ 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 1441 of file linking.cpp.