|
cprover
|
ANSI-C Linking. More...
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) |
ANSI-C Linking.
Definition in file linking.h.
| bool linking | ( | symbol_tablet & | dest_symbol_table, |
| symbol_tablet & | new_symbol_table, | ||
| message_handlert & | message_handler | ||
| ) |
Definition at line 1391 of file linking.cpp.