|
| symbolic_region (symbol::id_t id, region *parent, const svalue *sval_ptr) |
|
const symbolic_region * | dyn_cast_symbolic_region () const final override |
|
enum region_kind | get_kind () const final override |
|
void | accept (visitor *v) 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 text_art::dump_widget_info &dwi) const final override |
|
const svalue * | get_pointer () const |
|
virtual const frame_region * | dyn_cast_frame_region () const |
|
virtual const function_region * | dyn_cast_function_region () const |
|
virtual const decl_region * | dyn_cast_decl_region () const |
|
virtual const field_region * | dyn_cast_field_region () const |
|
virtual const element_region * | dyn_cast_element_region () const |
|
virtual const offset_region * | dyn_cast_offset_region () const |
|
virtual const sized_region * | dyn_cast_sized_region () const |
|
virtual const cast_region * | dyn_cast_cast_region () const |
|
virtual const string_region * | dyn_cast_string_region () const |
|
virtual const bit_range_region * | dyn_cast_bit_range_region () const |
|
virtual const var_arg_region * | dyn_cast_var_arg_region () const |
|
const region * | get_parent_region () const |
|
const region * | get_base_region () const |
|
bool | base_region_p () const |
|
bool | descendent_of_p (const region *elder) const |
|
const frame_region * | maybe_get_frame_region () const |
|
enum memory_space | get_memory_space () const |
|
bool | can_have_initial_svalue_p () const |
|
const svalue * | get_initial_value_at_main (region_model_manager *mgr) const |
|
tree | maybe_get_decl () const |
|
tree | get_type () const |
|
void | print (const region_model &model, pretty_printer *pp) const |
|
label_text | get_desc (bool simple=true) const |
|
void | dump (bool simple) const |
|
void | dump () const |
|
json::value * | to_json () const |
|
bool | maybe_print_for_user (pretty_printer *pp, const region_model &model) const |
|
std::unique_ptr< text_art::tree_widget > | make_dump_widget (const text_art::dump_widget_info &dwi, const char *prefix=nullptr) const |
|
bool | non_null_p () const |
|
bool | involves_p (const svalue *sval) const |
|
region_offset | get_offset (region_model_manager *mgr) const |
|
region_offset | get_next_offset (region_model_manager *mgr) const |
|
virtual bool | get_byte_size (byte_size_t *out) const |
|
virtual bool | get_bit_size (bit_size_t *out) const |
|
virtual const svalue * | get_byte_size_sval (region_model_manager *mgr) const |
|
virtual const svalue * | get_bit_size_sval (region_model_manager *mgr) const |
|
virtual bool | get_relative_concrete_offset (bit_offset_t *out) const |
|
virtual const svalue * | get_relative_symbolic_offset (region_model_manager *mgr) const |
|
bool | get_relative_concrete_byte_range (byte_range *out) const |
|
void | get_subregions_for_binding (region_model_manager *mgr, bit_offset_t start_bit_offset, bit_size_t size_in_bits, tree type, auto_vec< const region * > *out) const |
|
bool | symbolic_for_unknown_ptr_p () const |
|
bool | symbolic_p () const |
|
virtual bool | tracked_p () const |
|
bool | is_named_decl_p (const char *decl_name) const |
|
bool | empty_p () const |
|
const complexity & | get_complexity () const |
|
id_t | get_id () const |
|
Concrete region subclass: a region to use when dereferencing an unknown
pointer.