|
cprover
|
Remove symbols that are internal only. More...
This graph shows which files directly or indirectly include this file:Go to the source code of this file.
Functions | |
| void | remove_internal_symbols (class symbol_tablet &symbol_table, message_handlert &, const bool) |
| Removes internal symbols from a symbol table A symbol is EXPORTED if it is a. | |
Remove symbols that are internal only.
Definition in file remove_internal_symbols.h.
| void remove_internal_symbols | ( | symbol_tablet & | symbol_table, |
| message_handlert & | mh, | ||
| const bool | keep_file_local | ||
| ) |
Removes internal symbols from a symbol table A symbol is EXPORTED if it is a.
Read http://gcc.gnu.org/ml/gcc/2006-11/msg00006.html on "extern inline"
| symbol_table | symbol table to clean up |
| mh | log handler |
| keep_file_local | keep file-local functions with bodies even if we would otherwise remove them |
Definition at line 104 of file remove_internal_symbols.cpp.