#include <region.h>
Public Types | |
typedef unsigned | id_t |
Static Public Member Functions | |
static int | cmp_ptr_ptr (const void *, const void *) |
static int | cmp_ids (const symbol *s1, const symbol *s2) |
Private Member Functions | |
const svalue * | calc_svalue_for_constructor (tree ctor, region_model_manager *mgr) const |
region_offset | calc_offset (region_model_manager *mgr) const |
const svalue * | calc_initial_value_at_main (region_model_manager *mgr) const |
virtual void | add_dump_widget_children (text_art::tree_widget &, const text_art::dump_widget_info &dwi) const |
Static Private Member Functions | |
static bool | calc_tracked_p (tree decl) |
Private Attributes | |
tree | m_decl |
bool | m_tracked |
const svalue * | m_ctor_svalue |
const region * | m_parent |
tree | m_type |
region_offset * | m_cached_offset |
const svalue * | m_cached_init_sval_at_main |
complexity | m_complexity |
id_t | m_id |
Concrete region subclass representing the memory occupied by a variable (whether for a global or a local). Also used for representing SSA names, as if they were locals.
|
inherited |
|
inline |
References calc_tracked_p(), m_ctor_svalue, m_decl, m_tracked, NULL, ana::region::region(), and TREE_TYPE.
|
virtualinherited |
Reimplemented in ana::element_region, ana::frame_region, ana::offset_region, ana::sized_region, and ana::symbolic_region.
|
privatevirtualinherited |
Reimplemented in ana::element_region, ana::offset_region, ana::sized_region, and ana::symbolic_region.
|
inherited |
|
privateinherited |
|
privateinherited |
|
private |
Referenced by decl_region().
|
inherited |
References symbol().
|
staticinherited |
|
inherited |
|
inherited |
|
finaloverridevirtual |
Implements ana::region.
|
inlinevirtualinherited |
Reimplemented in ana::bit_range_region.
References NULL.
|
inlinevirtualinherited |
Reimplemented in ana::cast_region.
References NULL.
|
inlinefinaloverridevirtual |
Reimplemented from ana::region.
References final().
|
inlinevirtualinherited |
Reimplemented in ana::element_region.
References NULL.
|
inlinevirtualinherited |
Reimplemented in ana::field_region.
References NULL.
|
inlinevirtualinherited |
Reimplemented in ana::frame_region.
References NULL.
|
inlinevirtualinherited |
Reimplemented in ana::function_region.
References NULL.
|
inlinevirtualinherited |
Reimplemented in ana::offset_region.
References NULL.
|
inlinevirtualinherited |
Reimplemented in ana::sized_region.
References NULL.
|
inlinevirtualinherited |
Reimplemented in ana::string_region.
References NULL.
|
inlinevirtualinherited |
Reimplemented in ana::symbolic_region.
References NULL.
|
inlinevirtualinherited |
Reimplemented in ana::var_arg_region.
References NULL.
|
inherited |
|
virtualinherited |
Reimplemented in ana::bit_range_region, and ana::sized_region.
|
virtualinherited |
Reimplemented in ana::bit_range_region, and ana::sized_region.
|
virtualinherited |
Reimplemented in ana::bit_range_region, and ana::sized_region.
|
virtualinherited |
Reimplemented in ana::bit_range_region, and ana::sized_region.
|
inlineinherited |
References m_complexity.
Referenced by ana::binop_svalue::binop_svalue(), and ana::widening_svalue::widening_svalue().
|
inline |
References m_decl.
Referenced by remap_enclosing_frame().
|
inherited |
|
inlinefinaloverridevirtual |
Implements ana::region.
References final(), and ana::RK_DECL.
|
inherited |
|
inherited |
|
inherited |
|
inlineinherited |
References m_parent, and region().
Referenced by remap_enclosing_frame().
|
inherited |
|
virtualinherited |
Reimplemented in ana::bit_range_region, ana::cast_region, ana::element_region, ana::field_region, and ana::offset_region.
|
virtualinherited |
Reimplemented in ana::bit_range_region, ana::element_region, ana::field_region, and ana::offset_region.
int ana::decl_region::get_stack_depth | ( | ) | const |
|
inherited |
const svalue * ana::decl_region::get_svalue_for_constructor | ( | tree | ctor, |
region_model_manager * | mgr ) const |
const svalue * ana::decl_region::get_svalue_for_initializer | ( | region_model_manager * | mgr | ) | const |
|
inherited |
|
inherited |
const svalue * ana::decl_region::maybe_get_constant_value | ( | region_model_manager * | mgr | ) | const |
|
inherited |
|
inherited |
Referenced by sufficiently_different_region_binding_p().
|
inherited |
|
inherited |
|
inherited |
|
finaloverridevirtual |
Implements ana::region.
|
inherited |
|
inherited |
|
inherited |
|
inlinefinaloverridevirtual |
Reimplemented from ana::region.
|
mutableprivateinherited |
|
mutableprivateinherited |
|
privateinherited |
Referenced by get_complexity(), and symbol().
|
mutableprivate |
Referenced by decl_region().
|
private |
Referenced by decl_region(), and get_decl().
|
privateinherited |
Referenced by get_parent_region().
|
private |
Referenced by decl_region(), and tracked_p().
|
privateinherited |
Referenced by get_type().