cprover
|
Remove symbols that are internal only. More...
#include "remove_internal_symbols.h"
#include <util/config.h>
#include <util/find_symbols.h>
#include <util/namespace.h>
#include <util/std_types.h>
#include <util/symbol_table.h>
#include "static_lifetime_init.h"
Go to the source code of this file.
Functions | |
static void | get_symbols (const namespacet &ns, const symbolt &in_symbol, find_symbols_sett &dest) |
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. More... | |
Remove symbols that are internal only.
Definition in file remove_internal_symbols.cpp.
|
static |
Definition at line 22 of file remove_internal_symbols.cpp.
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 77 of file remove_internal_symbols.cpp.