#include <svalue.h>

Inheritance diagram for ana::initial_svalue:

[legend]

Collaboration diagram for ana::initial_svalue:

[legend]

Public Types
typedef unsigned	id_t

Public Member Functions
	initial_svalue (symbol::id_t id, tree type, const region *reg)

enum svalue_kind	get_kind () const final override

const initial_svalue *	dyn_cast_initial_svalue () const final override

void	dump_to_pp (pretty_printer *pp, bool simple) const final override

void	print_dump_widget_label (pretty_printer *pp) const final override

void	add_dump_widget_children (text_art::tree_widget &w, const dump_widget_info &dwi) const final override

void	accept (visitor *v) const final override

bool	implicitly_live_p (const svalue_set , const region_model ) const final override

bool	initial_value_of_param_p () const

const region *	get_region () const

tree	get_type () const

void	print (const region_model &model, pretty_printer *pp) const

void	dump () const

void	dump (bool simple) const

label_text	get_desc (bool simple=true) const

std::unique_ptr< json::value >	to_json () const

std::unique_ptr< text_art::tree_widget >	make_dump_widget (const dump_widget_info &dwi, const char *prefix=nullptr) const

virtual const region_svalue *	dyn_cast_region_svalue () const

virtual const constant_svalue *	dyn_cast_constant_svalue () const

virtual const poisoned_svalue *	dyn_cast_poisoned_svalue () const

virtual const setjmp_svalue *	dyn_cast_setjmp_svalue () const

virtual const unaryop_svalue *	dyn_cast_unaryop_svalue () const

virtual const binop_svalue *	dyn_cast_binop_svalue () const

virtual const sub_svalue *	dyn_cast_sub_svalue () const

virtual const repeated_svalue *	dyn_cast_repeated_svalue () const

virtual const bits_within_svalue *	dyn_cast_bits_within_svalue () const

virtual const unmergeable_svalue *	dyn_cast_unmergeable_svalue () const

virtual const widening_svalue *	dyn_cast_widening_svalue () const

virtual const compound_svalue *	dyn_cast_compound_svalue () const

virtual const conjured_svalue *	dyn_cast_conjured_svalue () const

virtual const asm_output_svalue *	dyn_cast_asm_output_svalue () const

virtual const const_fn_result_svalue *	dyn_cast_const_fn_result_svalue () const

tree	maybe_get_constant () const

const region *	maybe_get_region () const

const svalue *	maybe_undo_cast () const

const svalue *	unwrap_any_unmergeable () const

const svalue *	can_merge_p (const svalue other, region_model_manager mgr, model_merger *merger) const

bool	live_p (const svalue_set live_svalues, const region_model model) const

bool	involves_p (const svalue *other) const

const svalue *	extract_bit_range (tree type, const bit_range &subrange, region_model_manager *mgr) const

virtual const svalue *	maybe_fold_bits_within (tree type, const bit_range &subrange, region_model_manager *mgr) const

virtual bool	all_zeroes_p () const

virtual bool	can_have_associated_state_p () const

const region *	maybe_get_deref_base_region () const

bool	maybe_print_for_user (pretty_printer pp, const region_model &model, const svalue outer_sval=nullptr) const

tree	maybe_get_type_from_typeinfo () const

const complexity &	get_complexity () const

id_t	get_id () const

Static Public Member Functions
static int	cmp_ptr (const svalue , const svalue )

static int	cmp_ptr_ptr (const void , const void )

static int	cmp_ids (const symbol s1, const symbol s2)

Protected Member Functions
void	print_svalue_node_label (pretty_printer *pp) const

Private Attributes
const region *	m_reg

tree	m_type

complexity	m_complexity

id_t	m_id

Detailed Description

Concrete subclass of svalue representing the initial value of a
specific region.

This represents the initial value at the start of the analysis path,
as opposed to the first time the region is accessed during the path.
Hence as soon as we have a call to an unknown function, all previously
unmodelled globals become implicitly "unknown" rathen than "initial".

Member Typedef Documentation

◆ id_t

typedef unsigned ana::symbol::id_t

inherited

Constructor & Destructor Documentation

◆ initial_svalue()

ana::initial_svalue::initial_svalue	(	symbol::id_t	id,
		tree	type,
		const region *	reg )

inline

References gcc_assert, m_reg, NULL, and ana::svalue::svalue().

Member Function Documentation

◆ accept()

void ana::initial_svalue::accept ( visitor * v ) const

finaloverridevirtual

Implements ana::svalue.

◆ add_dump_widget_children()

void ana::initial_svalue::add_dump_widget_children	(	text_art::tree_widget &	w,
		const dump_widget_info &	dwi ) const

finaloverridevirtual

Implements ana::svalue.

◆ all_zeroes_p()

virtual bool ana::svalue::all_zeroes_p ( ) const

virtualinherited

Reimplemented in ana::constant_svalue, and ana::repeated_svalue.

◆ can_have_associated_state_p()

virtual bool ana::svalue::can_have_associated_state_p ( ) const

inlinevirtualinherited

Reimplemented in ana::poisoned_svalue, and ana::unknown_svalue.

Referenced by ana::binop_svalue::binop_svalue(), ana::unaryop_svalue::unaryop_svalue(), and ana::widening_svalue::widening_svalue().

◆ can_merge_p()

const svalue * ana::svalue::can_merge_p	(	const svalue *	other,
		region_model_manager *	mgr,
		model_merger *	merger ) const

inherited

References svalue().

◆ cmp_ids()

static int ana::symbol::cmp_ids	(	const symbol *	s1,
		const symbol *	s2 )

staticinherited

References symbol().

◆ cmp_ptr()

static int ana::svalue::cmp_ptr	(	const svalue *	,
		const svalue *	)

staticinherited

References svalue().

◆ cmp_ptr_ptr()

static int ana::svalue::cmp_ptr_ptr	(	const void *	,
		const void *	)

staticinherited

◆ dump() [1/2]

void ana::svalue::dump ( ) const

inherited

◆ dump() [2/2]

void ana::svalue::dump ( bool simple ) const

inherited

◆ dump_to_pp()

void ana::initial_svalue::dump_to_pp	(	pretty_printer *	pp,
		bool	simple ) const

finaloverridevirtual

Implements ana::svalue.

◆ dyn_cast_asm_output_svalue()

virtual const asm_output_svalue * ana::svalue::dyn_cast_asm_output_svalue ( ) const

inlinevirtualinherited

Reimplemented in ana::asm_output_svalue.

References NULL.

◆ dyn_cast_binop_svalue()

virtual const binop_svalue * ana::svalue::dyn_cast_binop_svalue ( ) const

inlinevirtualinherited

Reimplemented in ana::binop_svalue.

References NULL.

◆ dyn_cast_bits_within_svalue()

virtual const bits_within_svalue * ana::svalue::dyn_cast_bits_within_svalue ( ) const

inlinevirtualinherited

Reimplemented in ana::bits_within_svalue.

References NULL.

◆ dyn_cast_compound_svalue()

virtual const compound_svalue * ana::svalue::dyn_cast_compound_svalue ( ) const

inlinevirtualinherited

Reimplemented in ana::compound_svalue.

References NULL.

Referenced by contains_unknown_p().

◆ dyn_cast_conjured_svalue()

virtual const conjured_svalue * ana::svalue::dyn_cast_conjured_svalue ( ) const

inlinevirtualinherited

Reimplemented in ana::conjured_svalue.

References NULL.

◆ dyn_cast_const_fn_result_svalue()

virtual const const_fn_result_svalue * ana::svalue::dyn_cast_const_fn_result_svalue ( ) const

inlinevirtualinherited

Reimplemented in ana::const_fn_result_svalue.

References NULL.

◆ dyn_cast_constant_svalue()

virtual const constant_svalue * ana::svalue::dyn_cast_constant_svalue ( ) const

inlinevirtualinherited

Reimplemented in ana::constant_svalue.

References NULL.

◆ dyn_cast_initial_svalue()

const initial_svalue * ana::initial_svalue::dyn_cast_initial_svalue ( ) const

inlinefinaloverridevirtual

Reimplemented from ana::svalue.

References final().

◆ dyn_cast_poisoned_svalue()

virtual const poisoned_svalue * ana::svalue::dyn_cast_poisoned_svalue ( ) const

inlinevirtualinherited

Reimplemented in ana::poisoned_svalue.

References NULL.

◆ dyn_cast_region_svalue()

virtual const region_svalue * ana::svalue::dyn_cast_region_svalue ( ) const

inlinevirtualinherited

Reimplemented in ana::region_svalue.

References NULL.

◆ dyn_cast_repeated_svalue()

virtual const repeated_svalue * ana::svalue::dyn_cast_repeated_svalue ( ) const

inlinevirtualinherited

Reimplemented in ana::repeated_svalue.

References NULL.

◆ dyn_cast_setjmp_svalue()

virtual const setjmp_svalue * ana::svalue::dyn_cast_setjmp_svalue ( ) const

inlinevirtualinherited

Reimplemented in ana::setjmp_svalue.

References NULL.

◆ dyn_cast_sub_svalue()

virtual const sub_svalue * ana::svalue::dyn_cast_sub_svalue ( ) const

inlinevirtualinherited

Reimplemented in ana::sub_svalue.

References NULL.

◆ dyn_cast_unaryop_svalue()

virtual const unaryop_svalue * ana::svalue::dyn_cast_unaryop_svalue ( ) const

inlinevirtualinherited

Reimplemented in ana::unaryop_svalue.

References NULL.

◆ dyn_cast_unmergeable_svalue()

virtual const unmergeable_svalue * ana::svalue::dyn_cast_unmergeable_svalue ( ) const

inlinevirtualinherited

Reimplemented in ana::unmergeable_svalue.

References NULL.

◆ dyn_cast_widening_svalue()

virtual const widening_svalue * ana::svalue::dyn_cast_widening_svalue ( ) const

inlinevirtualinherited

Reimplemented in ana::widening_svalue.

References NULL.

◆ extract_bit_range()

const svalue * ana::svalue::extract_bit_range	(	tree	type,
		const bit_range &	subrange,
		region_model_manager *	mgr ) const

inherited

References svalue().

◆ get_complexity()

const complexity & ana::symbol::get_complexity ( ) const

inlineinherited

References m_complexity.

Referenced by ana::binop_svalue::binop_svalue(), and ana::widening_svalue::widening_svalue().

◆ get_desc()

label_text ana::svalue::get_desc ( bool simple = true ) const

inherited

◆ get_id()

id_t ana::symbol::get_id ( ) const

inlineinherited

References m_id.

◆ get_kind()

enum svalue_kind ana::initial_svalue::get_kind ( ) const

inlinefinaloverridevirtual

Implements ana::svalue.

References final(), and ana::SK_INITIAL.

◆ get_region()

const region * ana::initial_svalue::get_region ( ) const

inline

References m_reg.

◆ get_type()

tree ana::svalue::get_type ( ) const

inlineinherited

References m_type.

Referenced by ana::compound_svalue::make_key(), and ana::unmergeable_svalue::unmergeable_svalue().

◆ implicitly_live_p()

bool ana::initial_svalue::implicitly_live_p	(	const svalue_set *	,
		const region_model *	) const

finaloverridevirtual

Reimplemented from ana::svalue.

◆ initial_value_of_param_p()

bool ana::initial_svalue::initial_value_of_param_p ( ) const

◆ involves_p()

bool ana::svalue::involves_p ( const svalue * other ) const

inherited

References svalue().

◆ live_p()

bool ana::svalue::live_p	(	const svalue_set *	live_svalues,
		const region_model *	model ) const

inherited

◆ make_dump_widget()

std::unique_ptr< text_art::tree_widget > ana::svalue::make_dump_widget	(	const dump_widget_info &	dwi,
		const char *	prefix = nullptr ) const

inherited

◆ maybe_fold_bits_within()

virtual const svalue * ana::svalue::maybe_fold_bits_within	(	tree	type,
		const bit_range &	subrange,
		region_model_manager *	mgr ) const

virtualinherited

Reimplemented in ana::bits_within_svalue, ana::compound_svalue, ana::constant_svalue, ana::poisoned_svalue, ana::repeated_svalue, ana::unaryop_svalue, and ana::unknown_svalue.

◆ maybe_get_constant()

tree ana::svalue::maybe_get_constant ( ) const

inherited

◆ maybe_get_deref_base_region()

const region * ana::svalue::maybe_get_deref_base_region ( ) const

inherited

◆ maybe_get_region()

const region * ana::svalue::maybe_get_region ( ) const

inherited

◆ maybe_get_type_from_typeinfo()

tree ana::svalue::maybe_get_type_from_typeinfo ( ) const

inherited

◆ maybe_print_for_user()

bool ana::svalue::maybe_print_for_user	(	pretty_printer *	pp,
		const region_model &	model,
		const svalue *	outer_sval = nullptr ) const

inherited

References svalue().

◆ maybe_undo_cast()

const svalue * ana::svalue::maybe_undo_cast ( ) const

inherited

References svalue().

◆ print()

void ana::svalue::print	(	const region_model &	model,
		pretty_printer *	pp ) const

inherited

◆ print_dump_widget_label()

void ana::initial_svalue::print_dump_widget_label ( pretty_printer * pp ) const

finaloverridevirtual

Implements ana::svalue.

◆ print_svalue_node_label()

void ana::svalue::print_svalue_node_label ( pretty_printer * pp ) const

protectedinherited

◆ to_json()

std::unique_ptr< json::value > ana::svalue::to_json ( ) const

inherited

◆ unwrap_any_unmergeable()

const svalue * ana::svalue::unwrap_any_unmergeable ( ) const

inherited

References svalue().

Field Documentation

◆ m_complexity

complexity ana::symbol::m_complexity

privateinherited

Referenced by get_complexity(), and symbol().

◆ m_id

id_t ana::symbol::m_id

privateinherited

Referenced by get_id(), and symbol().

◆ m_reg

const region* ana::initial_svalue::m_reg

private

Referenced by get_region(), and initial_svalue().

◆ m_type

tree ana::svalue::m_type

privateinherited

Referenced by get_type(), and svalue().

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

svalue.h

Public Types

Public Member Functions

Static Public Member Functions

Protected Member Functions

Private Attributes

Detailed Description

Member Typedef Documentation

◆ id_t

Constructor & Destructor Documentation

◆ initial_svalue()

Member Function Documentation

◆ accept()

◆ add_dump_widget_children()

◆ all_zeroes_p()

◆ can_have_associated_state_p()

◆ can_merge_p()

◆ cmp_ids()

◆ cmp_ptr()

◆ cmp_ptr_ptr()

◆ dump() [1/2]

◆ dump() [2/2]

◆ dump_to_pp()

◆ dyn_cast_asm_output_svalue()

◆ dyn_cast_binop_svalue()

◆ dyn_cast_bits_within_svalue()

◆ dyn_cast_compound_svalue()

◆ dyn_cast_conjured_svalue()

◆ dyn_cast_const_fn_result_svalue()

◆ dyn_cast_constant_svalue()

◆ dyn_cast_initial_svalue()

◆ dyn_cast_poisoned_svalue()

◆ dyn_cast_region_svalue()

◆ dyn_cast_repeated_svalue()

◆ dyn_cast_setjmp_svalue()

◆ dyn_cast_sub_svalue()

◆ dyn_cast_unaryop_svalue()

◆ dyn_cast_unmergeable_svalue()

◆ dyn_cast_widening_svalue()

◆ extract_bit_range()

◆ get_complexity()

◆ get_desc()

◆ get_id()

◆ get_kind()

◆ get_region()

◆ get_type()

◆ implicitly_live_p()

◆ initial_value_of_param_p()

◆ involves_p()

◆ live_p()

◆ make_dump_widget()

◆ maybe_fold_bits_within()

◆ maybe_get_constant()

◆ maybe_get_deref_base_region()

◆ maybe_get_region()

◆ maybe_get_type_from_typeinfo()

◆ maybe_print_for_user()

◆ maybe_undo_cast()

◆ print()

◆ print_dump_widget_label()

◆ print_svalue_node_label()

◆ to_json()

◆ unwrap_any_unmergeable()

Field Documentation

◆ m_complexity

◆ m_id

◆ m_reg

◆ m_type