cprover
remove_internal_symbols.h File Reference

Remove symbols that are internal only. More...

#include <util/message.h>
#include <string>
+ Include dependency graph for remove_internal_symbols.h:
+ 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. More...
 

Detailed Description

Remove symbols that are internal only.

Definition in file remove_internal_symbols.h.

Function Documentation

◆ remove_internal_symbols()

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.

  • non-static function with body that is not extern inline
  • symbol used in an EXPORTED symbol
  • type used in an EXPORTED symbol
       Read
       http://gcc.gnu.org/ml/gcc/2006-11/msg00006.html
       on "extern inline"
    
    Parameters
    symbol_tablesymbol table to clean up
    mhlog handler
    keep_file_localkeep file-local functions with bodies even if we would otherwise remove them

Definition at line 77 of file remove_internal_symbols.cpp.