#include <call-info.h>

Inheritance diagram for ana::call_info:

Collaboration diagram for ana::call_info:

Public Member Functions
void	print (pretty_printer *pp) const final override

void	add_events_to_path (checker_path *emission_path, const exploded_edge &eedge) const final override

const gcall *	get_call_stmt () const

tree	get_fndecl () const

virtual label_text	get_desc (bool can_colorize) const =0

call_details	get_call_details (region_model model, region_model_context ctxt) const

virtual bool	update_state (program_state state, const exploded_edge eedge, region_model_context *ctxt) const

virtual bool	update_model (region_model model, const exploded_edge eedge, region_model_context *ctxt) const =0

Protected Member Functions
	call_info (const call_details &cd)

	call_info (const call_details &cd, const function &called_fn)

Private Attributes
const gcall *	m_call_stmt

tree	m_fndecl

Detailed Description

Subclass of custom_edge_info for an outcome of a call.
This is still abstract; the update_model and get_desc vfuncs must be
implemented.

Constructor & Destructor Documentation

◆ call_info() [1/2]

ana::call_info::call_info ( const call_details & cd )

protected

◆ call_info() [2/2]

ana::call_info::call_info	(	const call_details &	cd,
		const function &	called_fn )

protected

Member Function Documentation

◆ add_events_to_path()

void ana::call_info::add_events_to_path	(	checker_path *	emission_path,
		const exploded_edge &	eedge ) const

finaloverridevirtual

Implements ana::custom_edge_info.

◆ get_call_details()

call_details ana::call_info::get_call_details	(	region_model *	model,
		region_model_context *	ctxt ) const

◆ get_call_stmt()

const gcall * ana::call_info::get_call_stmt ( ) const

inline

References m_call_stmt.

◆ get_desc()

virtual label_text ana::call_info::get_desc ( bool can_colorize ) const

pure virtual

Implemented in ana::succeed_or_fail_call_info.

◆ get_fndecl()

tree ana::call_info::get_fndecl ( ) const

inline

References m_fndecl.

◆ print()

void ana::call_info::print ( pretty_printer * pp ) const

finaloverridevirtual

Implements ana::custom_edge_info.

◆ update_model()

virtual bool ana::custom_edge_info::update_model	(	region_model *	model,
		const exploded_edge *	eedge,
		region_model_context *	ctxt ) const

pure virtualinherited

Implemented in ana::dynamic_call_info_t, and ana::rewind_info_t.

◆ update_state()

virtual bool ana::custom_edge_info::update_state	(	program_state *	state,
		const exploded_edge *	eedge,
		region_model_context *	ctxt ) const

virtualinherited

Field Documentation

◆ m_call_stmt

const gcall* ana::call_info::m_call_stmt

private

Referenced by get_call_stmt().

◆ m_fndecl

tree ana::call_info::m_fndecl