#include <svalue.h>

Inheritance diagram for ana::widening_svalue:

[legend]

Collaboration diagram for ana::widening_svalue:

[legend]

Data Structures
struct	key_t

Public Types
enum	direction_t { DIR_ASCENDING , DIR_DESCENDING , DIR_UNKNOWN }

typedef unsigned	id_t

Public Member Functions
	widening_svalue (symbol::id_t id, tree type, const function_point &point, const svalue base_sval, const svalue iter_sval)

enum svalue_kind	get_kind () const final override

const widening_svalue *	dyn_cast_widening_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

const function_point &	get_point () const

const svalue *	get_base_svalue () const

const svalue *	get_iter_svalue () const

enum direction_t	get_direction () const

tristate	eval_condition_without_cm (enum tree_code op, tree rhs_cst) 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 initial_svalue *	dyn_cast_initial_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 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

virtual bool	implicitly_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
function_point	m_point

const svalue *	m_base_sval

const svalue *	m_iter_sval

tree	m_type

complexity	m_complexity

id_t	m_id

Detailed Description

Concrete subclass of svalue representing a "widening" seen when merging
states, widening from a base value to {base value, iter value} and thus
representing a possible fixed point in an iteration from the base to
+ve infinity, or -ve infinity, and thus useful for representing a value
within a loop.
We also need to capture the program_point at which the merger happens,
so that distinguish between different iterators, and thus handle
nested loops.  (currently we capture the function_point instead, for
simplicity of hashing).

Member Typedef Documentation

◆ id_t

typedef unsigned ana::symbol::id_t

inherited

Member Enumeration Documentation

◆ direction_t

enum ana::widening_svalue::direction_t

Enumerator
DIR_ASCENDING
DIR_DESCENDING
DIR_UNKNOWN

Constructor & Destructor Documentation

◆ widening_svalue()

ana::widening_svalue::widening_svalue	(	symbol::id_t	id,
		tree	type,
		const function_point &	point,
		const svalue *	base_sval,
		const svalue *	iter_sval )

inline

References ana::svalue::can_have_associated_state_p(), gcc_assert, ana::symbol::get_complexity(), m_base_sval, m_iter_sval, m_point, and ana::svalue::svalue().

Referenced by dyn_cast_widening_svalue().

Member Function Documentation

◆ accept()

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

finaloverridevirtual

Implements ana::svalue.

◆ add_dump_widget_children()

void ana::widening_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::widening_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()

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

inlinevirtualinherited

Reimplemented in ana::initial_svalue.

References NULL.

◆ 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()

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

inlinefinaloverridevirtual

Reimplemented from ana::svalue.

References final(), and widening_svalue().

◆ eval_condition_without_cm()

tristate ana::widening_svalue::eval_condition_without_cm	(	enum tree_code	op,
		tree	rhs_cst ) const

◆ 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_base_svalue()

const svalue * ana::widening_svalue::get_base_svalue ( ) const

inline

References m_base_sval, and ana::svalue::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_direction()

enum direction_t ana::widening_svalue::get_direction ( ) const

◆ get_id()

id_t ana::symbol::get_id ( ) const

inlineinherited

References m_id.

◆ get_iter_svalue()

const svalue * ana::widening_svalue::get_iter_svalue ( ) const

inline

References m_iter_sval, and ana::svalue::svalue().

◆ get_kind()

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

inlinefinaloverridevirtual

Implements ana::svalue.

References final(), and ana::SK_WIDENING.

◆ get_point()

const function_point & ana::widening_svalue::get_point ( ) const

inline

References m_point.

◆ 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()

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

virtualinherited

Reimplemented in ana::binop_svalue, ana::bits_within_svalue, ana::constant_svalue, ana::initial_svalue, ana::region_svalue, ana::sub_svalue, ana::unaryop_svalue, and ana::unmergeable_svalue.

◆ 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::widening_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_base_sval

const svalue* ana::widening_svalue::m_base_sval

private

Referenced by get_base_svalue(), and widening_svalue().

◆ 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_iter_sval

const svalue* ana::widening_svalue::m_iter_sval

private

Referenced by get_iter_svalue(), and widening_svalue().

◆ m_point

function_point ana::widening_svalue::m_point

private

Referenced by get_point(), and widening_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

Data Structures

Public Types

Public Member Functions

Static Public Member Functions

Protected Member Functions

Private Attributes

Detailed Description

Member Typedef Documentation

◆ id_t

Member Enumeration Documentation

◆ direction_t

Constructor & Destructor Documentation

◆ widening_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()

◆ eval_condition_without_cm()

◆ extract_bit_range()

◆ get_base_svalue()

◆ get_complexity()

◆ get_desc()

◆ get_direction()

◆ get_id()

◆ get_iter_svalue()

◆ get_kind()

◆ get_point()

◆ get_type()

◆ implicitly_live_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_base_sval

◆ m_complexity

◆ m_id

◆ m_iter_sval

◆ m_point

◆ m_type