CBMC
Loading...
Searching...
No Matches
Functions
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.
 

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 1132 of file linking.cpp.

AltStyle によって変換されたページ (->オリジナル) /