ana::impl_sm_context Class Reference

#include <impl-sm-context.h>

Inheritance diagram for ana::impl_sm_context:

Collaboration diagram for ana::impl_sm_context:

Public Member Functions
	impl_sm_context (exploded_graph &eg, int sm_idx, const state_machine &sm, exploded_node *enode_for_diag, const program_state *old_state, program_state *new_state, const sm_state_map *old_smap, sm_state_map *new_smap, path_context *path_ctxt, bool unknown_side_effects=false)
logger *	get_logger () const
tree	get_fndecl_for_call (const gcall &call) final override
state_machine::state_t	get_state (tree var) final override
state_machine::state_t	get_state (const svalue *sval) final override
void	set_next_state (tree var, state_machine::state_t to, tree origin) final override
void	set_next_state (const svalue *sval, state_machine::state_t to, tree origin) final override
void	warn (tree var, std::unique_ptr< pending_diagnostic > d) final override
void	warn (const svalue *sval, std::unique_ptr< pending_diagnostic > d) final override
tree	get_diagnostic_tree (tree expr) final override
tree	get_diagnostic_tree (const svalue *sval) final override
state_machine::state_t	get_global_state () const final override
void	set_global_state (state_machine::state_t state) final override
void	clear_all_per_svalue_state () final override
void	on_custom_transition (custom_transition *transition) final override
tree	is_zero_assignment (const gimple *stmt) final override
path_context *	get_path_context () const final override
bool	unknown_side_effects_p () const final override
const program_state *	get_old_program_state () const final override
const program_state *	get_new_program_state () const final override
location_t	get_emission_location () const final override
void	on_transition (tree var, state_machine::state_t from, state_machine::state_t to, tree origin=NULL_TREE)
void	on_transition (const svalue *var, state_machine::state_t from, state_machine::state_t to, tree origin=NULL_TREE)
const region_model *	get_old_region_model () const

Data Fields
log_user	m_logger
exploded_graph &	m_eg
exploded_node *	m_enode_for_diag
const program_state *	m_old_state
program_state *	m_new_state
const sm_state_map *	m_old_smap
sm_state_map *	m_new_smap
path_context *	m_path_ctxt
bool	m_unknown_side_effects

Protected Attributes
int	m_sm_idx
const state_machine &	m_sm

Detailed Description

Concrete implementation of sm_context, wiring it up to the rest of this
file.   

Constructor & Destructor Documentation

impl_sm_context()

ana::impl_sm_context::impl_sm_context ( exploded_graph & eg, int sm_idx, const state_machine & sm, exploded_node * enode_for_diag, const program_state * old_state, program_state * new_state, const sm_state_map * old_smap, sm_state_map * new_smap, path_context * path_ctxt, bool unknown_side_effects = false )

inline

References get_logger(), m_eg, m_enode_for_diag, m_logger, m_new_smap, m_new_state, m_old_smap, m_old_state, m_path_ctxt, m_unknown_side_effects, and ana::sm_context::sm_context().

Member Function Documentation

clear_all_per_svalue_state()

void ana::impl_sm_context::clear_all_per_svalue_state ( )

inlinefinaloverridevirtual

Implements ana::sm_context.

References final(), m_new_state, and ana::sm_context::m_sm_idx.

get_diagnostic_tree() [1/2]

tree ana::impl_sm_context::get_diagnostic_tree ( const svalue * sval )

inlinefinaloverridevirtual

Implements ana::sm_context.

References m_new_state.

get_diagnostic_tree() [2/2]

tree ana::impl_sm_context::get_diagnostic_tree ( tree expr )

inlinefinaloverridevirtual

Reimplemented from ana::sm_context.

References gcc_assert, m_new_state, NULL, SSA_NAME_VAR, and TREE_CODE.

get_emission_location()

location_t ana::impl_sm_context::get_emission_location ( ) const

inlinefinaloverridevirtual

Implements ana::sm_context.

References final(), ana::pending_location::get_location(), and m_enode_for_diag.

get_fndecl_for_call()

tree ana::impl_sm_context::get_fndecl_for_call ( const gcall & call )

inlinefinaloverridevirtual

Implements ana::sm_context.

References ana::region_model::get_fndecl_for_call(), m_eg, m_enode_for_diag, and m_new_state.

get_global_state()

state_machine::state_t ana::impl_sm_context::get_global_state ( ) const

inlinefinaloverridevirtual

Implements ana::sm_context.

References final(), m_old_state, and ana::sm_context::m_sm_idx.

get_logger()

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

inline

References m_logger.

Referenced by get_state(), get_state(), impl_sm_context(), set_next_state(), set_next_state(), warn(), and warn().

get_new_program_state()

const program_state * ana::impl_sm_context::get_new_program_state ( ) const

inlinefinaloverridevirtual

Implements ana::sm_context.

References final(), and m_new_state.

get_old_program_state()

const program_state * ana::impl_sm_context::get_old_program_state ( ) const

inlinefinaloverridevirtual

Implements ana::sm_context.

References final(), and m_old_state.

get_old_region_model()

const region_model * ana::sm_context::get_old_region_model ( ) const

inherited

get_path_context()

path_context * ana::impl_sm_context::get_path_context ( ) const

inlinefinaloverridevirtual

Reimplemented from ana::sm_context.

References final(), and m_path_ctxt.

get_state() [1/2]

state_machine::state_t ana::impl_sm_context::get_state ( const svalue * sval )

inlinefinaloverridevirtual

Implements ana::sm_context.

References get_logger(), LOG_FUNC, m_eg, and m_old_smap.

get_state() [2/2]

state_machine::state_t ana::impl_sm_context::get_state ( tree var )

inlinefinaloverridevirtual

Implements ana::sm_context.

References get_logger(), LOG_FUNC, m_eg, m_old_smap, and m_old_state.

is_zero_assignment()

tree ana::impl_sm_context::is_zero_assignment ( const gimple * stmt )

inlinefinaloverridevirtual

Implements ana::sm_context.

References dyn_cast(), gimple_assign_lhs(), m_eg, m_enode_for_diag, m_new_state, m_old_state, NULL_TREE, ana::stmt, and zerop().

on_custom_transition()

void ana::impl_sm_context::on_custom_transition ( custom_transition * transition )

inlinefinaloverridevirtual

Implements ana::sm_context.

References m_eg, m_enode_for_diag, and ana::sm_context::m_sm_idx.

on_transition() [1/2]

void ana::sm_context::on_transition ( const svalue * var, state_machine::state_t from, state_machine::state_t to, tree origin = NULL_TREE )

inlineinherited

References get_state(), NULL_TREE, and set_next_state().

on_transition() [2/2]

void ana::sm_context::on_transition ( tree var, state_machine::state_t from, state_machine::state_t to, tree origin = NULL_TREE )

inlineinherited

References get_state(), NULL_TREE, and set_next_state().

set_global_state()

void ana::impl_sm_context::set_global_state ( state_machine::state_t state )

inlinefinaloverridevirtual

Implements ana::sm_context.

References m_new_state, and ana::sm_context::m_sm_idx.

set_next_state() [1/2]

void ana::impl_sm_context::set_next_state ( const svalue * sval, state_machine::state_t to, tree origin )

inlinefinaloverridevirtual

Implements ana::sm_context.

References ana::logger::end_log_line(), get_logger(), ana::state_machine::state::get_name(), ana::logger::get_printer(), LOG_FUNC, ana::logger::log_partial(), m_eg, m_enode_for_diag, m_new_smap, m_new_state, m_old_smap, ana::sm_context::m_sm, and ana::logger::start_log_line().

set_next_state() [2/2]

void ana::impl_sm_context::set_next_state ( tree var, state_machine::state_t to, tree origin )

inlinefinaloverridevirtual

Implements ana::sm_context.

References get_logger(), ana::state_machine::state::get_name(), ana::logger::log(), LOG_FUNC, m_eg, m_new_smap, m_new_state, m_old_smap, and ana::sm_context::m_sm.

unknown_side_effects_p()

bool ana::impl_sm_context::unknown_side_effects_p ( ) const

inlinefinaloverridevirtual

Reimplemented from ana::sm_context.

References final(), and m_unknown_side_effects.

warn() [1/2]

void ana::impl_sm_context::warn ( const svalue * sval, std::unique_ptr< pending_diagnostic > d )

inlinefinaloverridevirtual

Implements ana::sm_context.

References gcc_assert, get_logger(), LOG_FUNC, m_eg, m_enode_for_diag, m_old_smap, m_path_ctxt, ana::sm_context::m_sm, and NULL_TREE.

warn() [2/2]

void ana::impl_sm_context::warn ( tree var, std::unique_ptr< pending_diagnostic > d )

inlinefinaloverridevirtual

Implements ana::sm_context.

References gcc_assert, get_logger(), LOG_FUNC, m_eg, m_enode_for_diag, m_old_smap, m_old_state, m_path_ctxt, and ana::sm_context::m_sm.

Field Documentation

m_eg

exploded_graph& ana::impl_sm_context::m_eg

Referenced by get_fndecl_for_call(), get_state(), get_state(), impl_sm_context(), is_zero_assignment(), on_custom_transition(), set_next_state(), set_next_state(), warn(), and warn().

m_enode_for_diag

exploded_node* ana::impl_sm_context::m_enode_for_diag

Referenced by get_emission_location(), get_fndecl_for_call(), impl_sm_context(), is_zero_assignment(), on_custom_transition(), set_next_state(), warn(), and warn().

m_logger

log_user ana::impl_sm_context::m_logger

Referenced by get_logger(), and impl_sm_context().

m_new_smap

sm_state_map* ana::impl_sm_context::m_new_smap

Referenced by impl_sm_context(), set_next_state(), and set_next_state().

m_new_state

program_state* ana::impl_sm_context::m_new_state

Referenced by clear_all_per_svalue_state(), get_diagnostic_tree(), get_diagnostic_tree(), get_fndecl_for_call(), get_new_program_state(), impl_sm_context(), is_zero_assignment(), set_global_state(), set_next_state(), and set_next_state().

m_old_smap

const sm_state_map* ana::impl_sm_context::m_old_smap

Referenced by get_state(), get_state(), impl_sm_context(), set_next_state(), set_next_state(), warn(), and warn().

m_old_state

const program_state* ana::impl_sm_context::m_old_state

Referenced by get_global_state(), get_old_program_state(), get_state(), impl_sm_context(), is_zero_assignment(), and warn().

m_path_ctxt

path_context* ana::impl_sm_context::m_path_ctxt

Referenced by get_path_context(), impl_sm_context(), warn(), and warn().

m_sm

const state_machine& ana::sm_context::m_sm

protectedinherited

Referenced by ana::impl_sm_context::set_next_state(), ana::impl_sm_context::set_next_state(), sm_context(), ana::impl_sm_context::warn(), and ana::impl_sm_context::warn().

m_sm_idx

int ana::sm_context::m_sm_idx

protectedinherited

Referenced by ana::impl_sm_context::clear_all_per_svalue_state(), ana::impl_sm_context::get_global_state(), ana::impl_sm_context::on_custom_transition(), ana::impl_sm_context::set_global_state(), and sm_context().

m_unknown_side_effects

bool ana::impl_sm_context::m_unknown_side_effects

Referenced by impl_sm_context(), and unknown_side_effects_p().

---

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

• impl-sm-context.h