ana::state_purge_map Class Reference

#include <state-purge.h>

Inheritance diagram for ana::state_purge_map:

Collaboration diagram for ana::state_purge_map:

Public Types
typedef ordered_hash_map< tree, state_purge_per_ssa_name * >	ssa_map_t
typedef ssa_map_t::iterator	ssa_iterator
typedef ordered_hash_map< tree, state_purge_per_decl * >	decl_map_t
typedef decl_map_t::iterator	decl_iterator

Public Member Functions
	state_purge_map (const supergraph &sg, region_model_manager *mgr, logger *logger)
	~state_purge_map ()
const state_purge_per_ssa_name &	get_data_for_ssa_name (tree name) const
const state_purge_per_decl *	get_any_data_for_decl (tree decl) const
state_purge_per_decl &	get_or_create_data_for_decl (const function &fun, tree decl)
const supergraph &	get_sg () const
ssa_iterator	begin_ssas () const
ssa_iterator	end_ssas () const
decl_iterator	begin_decls () const
decl_iterator	end_decls () const
logger *	get_logger () const
void	set_logger (logger *logger)
void	log (const char *fmt,...) const ATTRIBUTE_GCC_DIAG(2
void void	start_log_line () const
void	end_log_line () const
void	enter_scope (const char *scope_name)
void	exit_scope (const char *scope_name)
pretty_printer *	get_logger_pp () const
FILE *	get_logger_file () const

Private Member Functions
	DISABLE_COPY_AND_ASSIGN (state_purge_map)

Private Attributes
const supergraph &	m_sg
ssa_map_t	m_ssa_map
decl_map_t	m_decl_map
logger *	m_logger

Detailed Description

The result of analyzing which decls and SSA names can be purged from state at
different points in the program, so that we can simplify program_state
objects, in the hope of reducing state-blowup.   

Member Typedef Documentation

decl_iterator

decl_map_t::iterator ana::state_purge_map::decl_iterator

decl_map_t

ordered_hash_map<tree, state_purge_per_decl *> ana::state_purge_map::decl_map_t

ssa_iterator

ssa_map_t::iterator ana::state_purge_map::ssa_iterator

ssa_map_t

ordered_hash_map<tree, state_purge_per_ssa_name *> ana::state_purge_map::ssa_map_t

Constructor & Destructor Documentation

state_purge_map()

ana::state_purge_map::state_purge_map	(	const supergraph &	sg,
		region_model_manager *	mgr,
		logger *	logger )

~state_purge_map()

ana::state_purge_map::~state_purge_map

(

)

Member Function Documentation

begin_decls()

decl_iterator ana::state_purge_map::begin_decls ( ) const

inline

References ordered_hash_map< KeyId, Value, Traits >::begin(), and m_decl_map.

begin_ssas()

ssa_iterator ana::state_purge_map::begin_ssas ( ) const

inline

References ordered_hash_map< KeyId, Value, Traits >::begin(), and m_ssa_map.

DISABLE_COPY_AND_ASSIGN()

ana::state_purge_map::DISABLE_COPY_AND_ASSIGN ( state_purge_map )

private

end_decls()

decl_iterator ana::state_purge_map::end_decls ( ) const

inline

References ordered_hash_map< KeyId, Value, Traits >::end(), and m_decl_map.

end_log_line()

void ana::log_user::end_log_line ( ) const

inlineinherited

A shortcut for ending a log line from a log_user,
handling the common case where the underlying logger is NULL via
a no-op.   

References ana::logger::end_log_line(), and ana::log_user::m_logger.

end_ssas()

ssa_iterator ana::state_purge_map::end_ssas ( ) const

inline

References ordered_hash_map< KeyId, Value, Traits >::end(), and m_ssa_map.

enter_scope()

void ana::log_user::enter_scope ( const char * scope_name )

inlineinherited

A shortcut for recording entry into a scope from a log_user,
handling the common case where the underlying logger is NULL via
a no-op.   

References ana::logger::enter_scope(), and ana::log_user::m_logger.

exit_scope()

void ana::log_user::exit_scope ( const char * scope_name )

inlineinherited

A shortcut for recording exit from a scope from a log_user,
handling the common case where the underlying logger is NULL via
a no-op.   

References ana::logger::exit_scope(), and ana::log_user::m_logger.

get_any_data_for_decl()

const state_purge_per_decl * ana::state_purge_map::get_any_data_for_decl ( tree decl ) const

inline

References gcc_assert, m_decl_map, NULL, and TREE_CODE.

get_data_for_ssa_name()

const state_purge_per_ssa_name & ana::state_purge_map::get_data_for_ssa_name ( tree name ) const

inline

References gcc_assert, m_ssa_map, SSA_NAME_VAR, TREE_CODE, and VAR_DECL_IS_VIRTUAL_OPERAND.

get_logger()

logger * ana::log_user::get_logger ( ) const

inlineinherited

References ana::log_user::m_logger.

Referenced by ana::exploded_graph::get_logger(), and ana::impl_region_model_context::get_logger().

get_logger_file()

FILE * ana::log_user::get_logger_file ( ) const

inlineinherited

References ana::logger::get_file(), ana::log_user::m_logger, and NULL.

get_logger_pp()

pretty_printer * ana::log_user::get_logger_pp ( ) const

inlineinherited

References gcc_assert, ana::logger::get_printer(), and ana::log_user::m_logger.

get_or_create_data_for_decl()

state_purge_per_decl & ana::state_purge_map::get_or_create_data_for_decl	(	const function &	fun,
		tree	decl )

get_sg()

const supergraph & ana::state_purge_map::get_sg ( ) const

inline

References m_sg.

log()

void ana::log_user::log ( const char * fmt, ... ) const

inlineinherited

A shortcut for calling log from a log_user, handling the common
case where the underlying logger is NULL via a no-op.   

References ap, ana::logger::log_va(), and ana::log_user::m_logger.

set_logger()

void ana::log_user::set_logger ( logger * logger )

inherited

start_log_line()

void ana::log_user::start_log_line ( ) const

inlineinherited

A shortcut for starting a log line from a log_user,
handling the common case where the underlying logger is NULL via
a no-op.   

References ana::log_user::m_logger, and ana::logger::start_log_line().

Field Documentation

m_decl_map

decl_map_t ana::state_purge_map::m_decl_map

private

Referenced by begin_decls(), end_decls(), and get_any_data_for_decl().

m_logger

logger* ana::log_user::m_logger

privateinherited

Referenced by ana::log_user::end_log_line(), ana::log_user::enter_scope(), ana::log_user::exit_scope(), ana::log_user::get_logger(), ana::log_user::get_logger_file(), ana::log_user::get_logger_pp(), ana::log_user::log(), and ana::log_user::start_log_line().

m_sg

const supergraph& ana::state_purge_map::m_sg

private

Referenced by get_sg().

m_ssa_map

ssa_map_t ana::state_purge_map::m_ssa_map

private

Referenced by begin_ssas(), end_ssas(), and get_data_for_ssa_name().

---

The documentation for this class was generated from the following file:

• state-purge.h