#include <util/irep.h>
#include <set>

Include dependency graph for remove_internal_symbols.h:

This graph shows which files directly or indirectly include 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...

void	remove_internal_symbols (class symbol_tablet &symbol_table, message_handlert &, const bool keep_file_local, const std::set< irep_idt > &keep)
	Removes internal symbols from a symbol table A symbol is EXPORTED if it is a. More...

Detailed Description

Remove symbols that are internal only

Function Documentation

void remove_internal_symbols	(	symbol_tablet &	symbol_table,
		message_handlert &	mh,
		const bool	keep_file_local,
		const std::set< irep_idt > &	keep
	)

Removes internal symbols from a symbol table A symbol is EXPORTED if it is a.

type used in an EXPORTED symbol

   Read
   http://gcc.gnu.org/ml/gcc/2006-11/msg00006.html
   on "extern inline"

Parameters

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
keep	set of symbol names to keep in the symbol table regardless of usage or kind

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.