#include <svalue.h>

Inheritance diagram for ana::conjured_svalue:

[legend]

Collaboration diagram for ana::conjured_svalue:

[legend]

Data Structures
struct	key_t

Public Types
typedef unsigned	id_t

Public Member Functions
	conjured_svalue (symbol::id_t id, tree type, const gimple stmt, const region id_reg, unsigned idx)

enum svalue_kind	get_kind () const final override

const conjured_svalue *	dyn_cast_conjured_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 gimple *	get_stmt () const

const region *	get_id_region () const

bool	lhs_value_p () 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 widening_svalue *	dyn_cast_widening_svalue () const

virtual const compound_svalue *	dyn_cast_compound_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
const gimple *	m_stmt

const region *	m_id_reg

unsigned	m_idx

tree	m_type

complexity	m_complexity

id_t	m_id

Detailed Description

A defined value arising from a statement, where we want to identify a
particular unknown value, rather than resorting to the unknown_value
singleton, so that the value can have sm-state.

Comparisons of variables that share the same conjured_svalue are known
to be equal, even if we don't know what the value is.

For example, this is used for the values of regions that may have been
touched when calling an unknown function.

The value captures a region as well as a stmt in order to avoid falsely
aliasing the various values that could arise in one statement.  For
example, after:
   unknown_fn (&a, &b);
we want values to clobber a and b with, but we don't want to use the
same value, or it would falsely implicitly assume that a == b.

Member Typedef Documentation

◆ id_t

typedef unsigned ana::symbol::id_t

inherited

Constructor & Destructor Documentation

◆ conjured_svalue()

ana::conjured_svalue::conjured_svalue	(	symbol::id_t	id,
		tree	type,
		const gimple *	stmt,
		const region *	id_reg,
		unsigned	idx )

inline

References gcc_assert, m_id_reg, m_idx, m_stmt, NULL, ana::stmt, and ana::svalue::svalue().

Referenced by dyn_cast_conjured_svalue().

Member Function Documentation

◆ accept()

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

finaloverridevirtual

Implements ana::svalue.

◆ add_dump_widget_children()

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

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

inlinefinaloverridevirtual

Reimplemented from ana::svalue.

References conjured_svalue(), and final().

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

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

const region * ana::conjured_svalue::get_id_region ( ) const

inline

References m_id_reg.

◆ get_kind()

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

inlinefinaloverridevirtual

Implements ana::svalue.

References final(), and ana::SK_CONJURED.

◆ get_stmt()

const gimple * ana::conjured_svalue::get_stmt ( ) const

inline

References m_stmt.

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

◆ lhs_value_p()

bool ana::conjured_svalue::lhs_value_p ( ) const

◆ 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::conjured_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_id_reg

const region* ana::conjured_svalue::m_id_reg

private

Referenced by conjured_svalue(), and get_id_region().

◆ m_idx

unsigned ana::conjured_svalue::m_idx

private

Referenced by conjured_svalue().

◆ m_stmt

const gimple* ana::conjured_svalue::m_stmt

private

Referenced by conjured_svalue(), and get_stmt().

◆ 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

Constructor & Destructor Documentation

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

◆ get_kind()

◆ get_stmt()

◆ get_type()

◆ implicitly_live_p()

◆ involves_p()

◆ lhs_value_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_id_reg

◆ m_idx

◆ m_stmt

◆ m_type