#include <checker-path.h>

Inheritance diagram for ana::checker_path:

Collaboration diagram for ana::checker_path:

[legend]

Public Member Functions
	checker_path (const diagnostics::logical_locations::manager &logical_loc_mgr, const extrinsic_state &ext_state, logger *logger)
unsigned	num_events () const final override
const diagnostics::paths::event &	get_event (int idx) const final override
unsigned	num_threads () const final override
const diagnostics::paths::thread &	get_thread (diagnostics::paths::thread_id_t) const final override
const extrinsic_state &	get_ext_state () const
checker_event *	get_checker_event (int idx)
bool	same_function_p (int event_idx_a, int event_idx_b) const final override
void	dump (pretty_printer *pp) const
void	debug () const
logger *	get_logger () const
void	maybe_log (logger logger, const char desc) const
void	add_event (std::unique_ptr< checker_event > event)
void	delete_event (int idx)
void	delete_events (unsigned start_idx, unsigned len)
void	replace_event (unsigned idx, checker_event *new_event)
void	add_region_creation_events (pending_diagnostic pd, const region reg, const region_model *model, const event_loc_info &loc_info, bool debug)
void	prepare_for_emission (pending_diagnostic *pd)
void	fixup_locations (pending_diagnostic *pd)
void	record_setjmp_event (const exploded_node *enode, diagnostics::paths::event_id_t setjmp_emission_id)
bool	get_setjmp_event (const exploded_node enode, diagnostics::paths::event_id_t out_emission_id)
bool	cfg_edge_pair_at_p (unsigned idx) const
void	inject_any_inlined_call_events (logger *logger)
bool	interprocedural_p () const
bool	multithreaded_p () const
const logical_locations::manager &	get_logical_location_manager () const

Private Member Functions
	DISABLE_COPY_AND_ASSIGN (checker_path)
bool	get_first_event_in_a_function (unsigned *out_idx) const

Private Attributes
const extrinsic_state &	m_ext_state
simple_diagnostic_thread	m_thread
auto_delete_vec< checker_event >	m_events
hash_map< const exploded_node *, diagnostics::paths::event_id_t >	m_setjmp_event_ids
logger *	m_logger
const logical_locations::manager &	m_logical_loc_mgr

Detailed Description

Subclass of diagnostic path for analyzer diagnostics.

Constructor & Destructor Documentation

◆ checker_path()

ana::checker_path::checker_path	(	const diagnostics::logical_locations::manager &	logical_loc_mgr,
		const extrinsic_state &	ext_state,
		logger *	logger )

inline

References m_ext_state, m_logger, m_thread, and diagnostics::paths::path::path().

Referenced by DISABLE_COPY_AND_ASSIGN().

Member Function Documentation

◆ add_event()

void ana::checker_path::add_event ( std::unique_ptr< checker_event > event )

◆ add_region_creation_events()

void ana::checker_path::add_region_creation_events	(	pending_diagnostic *	pd,
		const region *	reg,
		const region_model *	model,
		const event_loc_info &	loc_info,
		bool	debug )

References debug().

◆ cfg_edge_pair_at_p()

bool ana::checker_path::cfg_edge_pair_at_p ( unsigned idx ) const

◆ debug()

void ana::checker_path::debug ( ) const

Referenced by add_region_creation_events().

◆ delete_event()

void ana::checker_path::delete_event ( int idx )

inline

References m_events.

◆ delete_events()

void ana::checker_path::delete_events	(	unsigned	start_idx,
		unsigned	len )

inline

References i, and m_events.

◆ DISABLE_COPY_AND_ASSIGN()

ana::checker_path::DISABLE_COPY_AND_ASSIGN ( checker_path )

private

References checker_path().

◆ dump()

void ana::checker_path::dump ( pretty_printer * pp ) const

◆ fixup_locations()

void ana::checker_path::fixup_locations ( pending_diagnostic * pd )

◆ get_checker_event()

checker_event * ana::checker_path::get_checker_event ( int idx )

inline

References m_events.

◆ get_event()

const diagnostics::paths::event & ana::checker_path::get_event ( int idx ) const

inlinefinaloverridevirtual

Implements diagnostics::paths::path.

References m_events.

◆ get_ext_state()

const extrinsic_state & ana::checker_path::get_ext_state ( ) const

inline

References m_ext_state.

◆ get_first_event_in_a_function()

bool path::get_first_event_in_a_function ( unsigned * out_idx ) const

privateinherited

class diagnostics::paths::path.

Subroutine of path::interprocedural_p.
Look for the first event in this path that is within a function
i.e. has a non-null logical location for which function_p is true.
If found, write its index to *OUT_IDX and return true.
Otherwise return false.

References get_event(), diagnostics::paths::event::get_logical_location(), i, m_logical_loc_mgr, and num_events().

Referenced by interprocedural_p().

◆ get_logger()

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

inline

References m_logger.

◆ get_logical_location_manager()

const logical_locations::manager & diagnostics::paths::path::get_logical_location_manager ( ) const

inlineinherited

References m_logical_loc_mgr.

Referenced by diagnostics::text_sink::print_path().

◆ get_setjmp_event()

bool ana::checker_path::get_setjmp_event	(	const exploded_node *	enode,
		diagnostics::paths::event_id_t *	out_emission_id )

inline

References m_setjmp_event_ids.

◆ get_thread()

const diagnostics::paths::thread & ana::checker_path::get_thread ( diagnostics::paths::thread_id_t ) const

inlinefinaloverridevirtual

Implements diagnostics::paths::path.

References m_thread.

◆ inject_any_inlined_call_events()

void ana::checker_path::inject_any_inlined_call_events ( logger * logger )

◆ interprocedural_p()

bool path::interprocedural_p ( ) const

inherited

Return true if the events in this path involve more than one
function, or false if it is purely intraprocedural.

References get_event(), get_first_event_in_a_function(), diagnostics::paths::event::get_stack_depth(), i, num_events(), and same_function_p().

◆ maybe_log()

void ana::checker_path::maybe_log	(	logger *	logger,
		const char *	desc ) const

◆ multithreaded_p()

bool diagnostics::paths::path::multithreaded_p ( ) const

inherited

◆ num_events()

unsigned ana::checker_path::num_events ( ) const

inlinefinaloverridevirtual

Implements diagnostics::paths::path.

References final(), and m_events.

◆ num_threads()

unsigned ana::checker_path::num_threads ( ) const

inlinefinaloverridevirtual

Implements diagnostics::paths::path.

References final().

◆ prepare_for_emission()

void ana::checker_path::prepare_for_emission ( pending_diagnostic * pd )

inline

References FOR_EACH_VEC_ELT, i, and m_events.

◆ record_setjmp_event()

void ana::checker_path::record_setjmp_event	(	const exploded_node *	enode,
		diagnostics::paths::event_id_t	setjmp_emission_id )

inline

References m_setjmp_event_ids.

◆ replace_event()

void ana::checker_path::replace_event	(	unsigned	idx,
		checker_event *	new_event )

inline

References m_events.

◆ same_function_p()

bool ana::checker_path::same_function_p	(	int	event_idx_a,
		int	event_idx_b ) const

finaloverridevirtual

Implements diagnostics::paths::path.

Field Documentation

◆ m_events

auto_delete_vec<checker_event> ana::checker_path::m_events

private

Referenced by delete_event(), delete_events(), get_checker_event(), get_event(), num_events(), prepare_for_emission(), and replace_event().

◆ m_ext_state

const extrinsic_state& ana::checker_path::m_ext_state

private

Referenced by checker_path(), and get_ext_state().

◆ m_logger

logger* ana::checker_path::m_logger

private

Referenced by checker_path(), and get_logger().

◆ m_logical_loc_mgr

const logical_locations::manager& diagnostics::paths::path::m_logical_loc_mgr

privateinherited

Referenced by get_first_event_in_a_function(), get_logical_location_manager(), and path().

◆ m_setjmp_event_ids

hash_map<const exploded_node *, diagnostics::paths::event_id_t> ana::checker_path::m_setjmp_event_ids

private

Referenced by get_setjmp_event(), and record_setjmp_event().

◆ m_thread

simple_diagnostic_thread ana::checker_path::m_thread

private

Referenced by checker_path(), and get_thread().

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

checker-path.h

Public Member Functions

Private Member Functions

Private Attributes

Detailed Description

Constructor & Destructor Documentation

◆ checker_path()

Member Function Documentation

◆ add_event()

◆ add_region_creation_events()

◆ cfg_edge_pair_at_p()

◆ debug()

◆ delete_event()

◆ delete_events()

◆ DISABLE_COPY_AND_ASSIGN()

◆ dump()

◆ fixup_locations()

◆ get_checker_event()

◆ get_event()

◆ get_ext_state()

◆ get_first_event_in_a_function()

◆ get_logger()

◆ get_logical_location_manager()

◆ get_setjmp_event()

◆ get_thread()

◆ inject_any_inlined_call_events()

◆ interprocedural_p()

◆ maybe_log()

◆ multithreaded_p()

◆ num_events()

◆ num_threads()

◆ prepare_for_emission()

◆ record_setjmp_event()

◆ replace_event()

◆ same_function_p()

Field Documentation

◆ m_events

◆ m_ext_state

◆ m_logger

◆ m_logical_loc_mgr

◆ m_setjmp_event_ids

◆ m_thread