cprover
remove_internal_symbols.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: Remove symbols that are internal only
4 
5 Author: Daniel Kroening
6 
7 \*******************************************************************/
8 
11 
12 #ifndef CPROVER_LINKING_REMOVE_INTERNAL_SYMBOLS_H
13 #define CPROVER_LINKING_REMOVE_INTERNAL_SYMBOLS_H
14 
16  class symbol_tablet &symbol_table);
17 
18 #endif // CPROVER_LINKING_REMOVE_INTERNAL_SYMBOLS_H
The symbol table.
Definition: symbol_table.h:52
void remove_internal_symbols(class symbol_tablet &symbol_table)
A symbol is EXPORTED if it is a * non-static function with body that is not extern inline * symbol us...