21#ifndef GCC_ANALYZER_STORE_H
22#define GCC_ANALYZER_STORE_H
24#include "text-art/tree-widget.h"
242 std::unique_ptr<json::object>
to_json ()
const;
289 bit_range *out_overhanging_bit_range)
const;
328 std::unique_ptr<json::object>
to_json ()
const;
404 return hstate.
end ();
453 return key->concrete_p ();
520 typedef hash_map <const binding_key *, const svalue *>
map_t;
530 return !(*
this == other);
546 return m_map.put (k, v);
559 std::unique_ptr<json::object>
to_json ()
const;
562 const text_art::dump_widget_info &dwi)
const;
573 bool always_overlap);
604 typedef hash_map <const binding_key *, const svalue *>
map_t;
614 return !(*
this == other);
628 std::unique_ptr<json::object>
to_json ()
const;
630 std::unique_ptr<text_art::tree_widget>
641 const region *reg_to_bind,
642 const region *reg_for_overlap,
660 template <
typename T>
664 for (map_t::iterator iter =
m_map.begin (); iter !=
m_map.end (); ++iter)
665 cb ((*iter).second, user_data);
699 template <
typename BindingVisitor>
702 for (map_t::iterator iter =
m_map.begin (); iter !=
m_map.end (); ++iter)
705 const svalue *&sval = (*iter).second;
706 v.on_binding (key, sval);
759 return !(*
this == other);
771 std::unique_ptr<json::object>
to_json ()
const;
773 std::unique_ptr<text_art::tree_widget>
799 template <
typename T>
805 cb ((*iter).first, user_data);
827 const region *base_reg_b)
const;
829 template <
typename BindingVisitor>
834 (*iter).second->for_each_binding (v);
842 const store &summary);
844 const store &summary,
852 const region *base_reg_b)
const;
binding_map m_map
Definition store.h:724
void bind(store_manager *mgr, const region *, const svalue *)
void dump(bool simple) const
void get_representative_path_vars(const region_model *model, svalue_set *visited, const region *base_reg, const svalue *sval, logger *logger, auto_vec< path_var > *out_pvs) const
void fill_region(store_manager *mgr, const region *reg, const svalue *sval)
void on_asm(const gasm *stmt, store_manager *mgr, const conjured_purge &p)
const svalue * get_binding_recursive(store_manager *mgr, const region *reg) const
map_t::iterator iterator_t
Definition store.h:605
void for_each_value(void(*cb)(const svalue *sval, T user_data), T user_data) const
Definition store.h:661
void bind_compound_sval(store_manager *mgr, const region *reg, const compound_svalue *compound_sval)
std::unique_ptr< text_art::tree_widget > make_dump_widget(const text_art::dump_widget_info &dwi, store_manager *mgr) const
bool m_escaped
Definition store.h:732
friend class store
Definition store.h:602
void mark_region_as_unknown(store_manager *mgr, const region *reg_to_bind, const region *reg_for_overlap, uncertainty_t *uncertainty, svalue_set *maybe_live_values)
binding_cluster(const binding_cluster &other)
void purge_region(store_manager *mgr, const region *reg)
void clobber_region(store_manager *mgr, const region *reg)
void make_unknown_relative_to(const binding_cluster *other_cluster, store *out_store, store_manager *mgr)
bool operator==(const binding_cluster &other) const
void bind_key(const binding_key *key, const svalue *sval)
bool empty_p() const
Definition store.h:688
const svalue * get_any_binding(store_manager *mgr, const region *reg) const
iterator_t end() const
Definition store.h:711
bool operator!=(const binding_cluster &other) const
Definition store.h:612
hash_map< const binding_key *, const svalue * > map_t
Definition store.h:604
binding_cluster & operator=(const binding_cluster &other)
void purge_state_involving(const svalue *sval, region_model_manager *sval_mgr)
const svalue * get_any_value(const binding_key *key) const
void dump_to_pp(pretty_printer *pp, bool simple, bool multiline) const
const region * get_base_region() const
Definition store.h:621
const region * m_base_region
Definition store.h:722
const svalue * maybe_get_compound_binding(store_manager *mgr, const region *reg) const
bool touched_p() const
Definition store.h:685
const binding_map & get_map() const
Definition store.h:713
void for_each_binding(BindingVisitor &v) const
Definition store.h:700
iterator_t begin() const
Definition store.h:710
std::unique_ptr< json::object > to_json() const
void remove_overlapping_bindings(store_manager *mgr, const region *reg, uncertainty_t *uncertainty, svalue_set *maybe_live_values)
void zero_fill_region(store_manager *mgr, const region *reg)
const svalue * get_binding(store_manager *mgr, const region *reg) const
static bool can_merge_p(const binding_cluster *cluster_a, const binding_cluster *cluster_b, binding_cluster *out_cluster, store *out_store, store_manager *mgr, model_merger *merger)
void on_unknown_fncall(const gcall &call, store_manager *mgr, const conjured_purge &p)
bool m_touched
Definition store.h:738
const svalue * maybe_get_simple_value(store_manager *mgr) const
binding_cluster(const region *base_region)
void dump(bool simple) const
static const binding_key * make(store_manager *mgr, const region *r)
static int cmp_ptrs(const void *, const void *)
virtual const symbolic_binding * dyn_cast_symbolic_binding() const
Definition store.h:226
virtual bool concrete_p() const =0
virtual void dump_to_pp(pretty_printer *pp, bool simple) const =0
virtual ~binding_key()
Definition store.h:211
bool symbolic_p() const
Definition store.h:213
static int cmp(const binding_key *, const binding_key *)
label_text get_desc(bool simple=true) const
virtual const concrete_binding * dyn_cast_concrete_binding() const
Definition store.h:224
size_t elements() const
Definition store.h:554
binding_map & operator=(const binding_map &other)
map_t m_map
Definition store.h:586
static int cmp(const binding_map &map1, const binding_map &map2)
iterator_t begin() const
Definition store.h:552
void dump_to_pp(pretty_printer *pp, bool simple, bool multiline) const
void get_overlapping_bindings(const binding_key *key, auto_vec< const binding_key * > *out)
bool operator==(const binding_map &other) const
hash_map< const binding_key *, const svalue * > map_t
Definition store.h:520
bool apply_ctor_pair_to_child_region(const region *parent_reg, region_model_manager *mgr, tree index, tree val)
void dump(bool simple) const
void empty()
Definition store.h:550
const svalue * get(const binding_key *key) const
Definition store.h:535
std::unique_ptr< json::object > to_json() const
bool apply_ctor_val_to_range(const region *parent_reg, region_model_manager *mgr, tree min_index, tree max_index, tree val)
bool apply_ctor_to_region(const region *parent_reg, tree ctor, region_model_manager *mgr)
void add_to_tree_widget(text_art::tree_widget &parent_widget, const text_art::dump_widget_info &dwi) const
bool operator!=(const binding_map &other) const
Definition store.h:528
void remove_overlapping_bindings(store_manager *mgr, const binding_key *drop_key, uncertainty_t *uncertainty, svalue_set *maybe_live_values, bool always_overlap)
binding_map()
Definition store.h:523
void remove(const binding_key *k)
Definition store.h:549
bool put(const binding_key *k, const svalue *v)
Definition store.h:543
iterator_t end() const
Definition store.h:553
map_t::iterator iterator_t
Definition store.h:521
binding_map(const binding_map &other)
Definition call-summary.h:68
bit_size_t get_size_in_bits() const
Definition store.h:423
bool get_byte_range(byte_range *out) const
void mark_empty()
Definition store.h:438
concrete_binding(bit_offset_t start_bit_offset, bit_size_t size_in_bits)
Definition store.h:392
concrete_binding key_t
Definition store.h:390
const bit_range & get_bit_range() const
Definition store.h:416
void dump_to_pp(pretty_printer *pp, bool simple) const final override
bit_offset_t get_next_bit_offset() const
Definition store.h:428
bool operator==(const concrete_binding &other) const
Definition store.h:406
bool concrete_p() const final override
Definition store.h:397
bit_range m_bit_range
Definition store.h:443
bool is_empty() const
Definition store.h:440
bit_offset_t get_start_bit_offset() const
Definition store.h:419
bool is_deleted() const
Definition store.h:439
void mark_deleted()
Definition store.h:437
bool overlaps_p(const concrete_binding &other) const
hashval_t hash() const
Definition store.h:399
const concrete_binding * dyn_cast_concrete_binding() const final override
Definition store.h:413
static int cmp_ptr_ptr(const void *, const void *)
Definition analyzer-logging.h:34
Definition region-model-manager.h:32
Definition region-model.h:298
consolidation_map< symbolic_binding > m_symbolic_binding_key_mgr
Definition store.h:906
const concrete_binding * get_concrete_binding(const bit_range &bits)
Definition store.h:882
const concrete_binding * get_concrete_binding(bit_offset_t start_bit_offset, bit_offset_t size_in_bits)
const concrete_binding * get_concrete_binding(const byte_range &bytes)
Definition store.h:888
region_model_manager * m_mgr
Definition store.h:904
logger * get_logger() const
region_model_manager * get_svalue_manager() const
Definition store.h:896
store_manager(region_model_manager *mgr)
Definition store.h:873
consolidation_map< concrete_binding > m_concrete_binding_key_mgr
Definition store.h:905
void log_stats(logger *logger, bool show_objs) const
const symbolic_binding * get_symbolic_binding(const region *region)
std::unique_ptr< json::object > to_json() const
void purge_state_involving(const svalue *sval, region_model_manager *sval_mgr)
void dump(bool simple) const
bool escaped_p(const region *reg) const
store(const store &other)
void fill_region(store_manager *mgr, const region *reg, const svalue *sval)
void mark_as_escaped(const region *base_reg)
void purge_region(store_manager *mgr, const region *reg)
tristate eval_alias(const region *base_reg_a, const region *base_reg_b) const
void summarize_to_pp(pretty_printer *pp, bool simple) const
bool operator==(const store &other) const
store & operator=(const store &other)
hash_map< const region *, binding_cluster * > cluster_map_t
Definition store.h:748
void replay_call_summary_cluster(call_summary_replay &r, const store &summary, const region *base_reg)
void for_each_binding(BindingVisitor &v)
Definition store.h:830
cluster_map_t::iterator end() const
Definition store.h:824
std::unique_ptr< text_art::tree_widget > make_dump_widget(const text_art::dump_widget_info &dwi, store_manager *mgr) const
void get_representative_path_vars(const region_model *model, svalue_set *visited, const svalue *sval, logger *logger, auto_vec< path_var > *out_pvs) const
bool m_called_unknown_fn
Definition store.h:862
void loop_replay_fixup(const store *other_store, region_model_manager *mgr)
binding_cluster * get_or_create_cluster(const region *base_reg)
static bool can_merge_p(const store *store_a, const store *store_b, store *out_store, store_manager *mgr, model_merger *merger)
bool operator!=(const store &other) const
Definition store.h:757
bool called_unknown_fn_p() const
Definition store.h:779
void on_maybe_live_values(const svalue_set &maybe_live_values)
void set_value(store_manager *mgr, const region *lhs_reg, const svalue *rhs_sval, uncertainty_t *uncertainty)
cluster_map_t m_cluster_map
Definition store.h:854
const binding_cluster * get_cluster(const region *base_reg) const
void zero_fill_region(store_manager *mgr, const region *reg)
tristate eval_alias_1(const region *base_reg_a, const region *base_reg_b) const
void mark_region_as_unknown(store_manager *mgr, const region *reg, uncertainty_t *uncertainty, svalue_set *maybe_live_values)
void canonicalize(store_manager *mgr)
cluster_map_t::iterator begin() const
Definition store.h:823
const svalue * get_any_binding(store_manager *mgr, const region *reg) const
binding_cluster * get_cluster(const region *base_reg)
void replay_call_summary(call_summary_replay &r, const store &summary)
void dump_to_pp(pretty_printer *pp, bool summarize, bool multiline, store_manager *mgr) const
void purge_cluster(const region *base_reg)
void for_each_cluster(void(*cb)(const region *base_reg, T user_data), T user_data) const
Definition store.h:800
void remove_overlapping_bindings(store_manager *mgr, const region *reg, uncertainty_t *uncertainty)
void clobber_region(store_manager *mgr, const region *reg)
void on_unknown_fncall(const gcall &call, store_manager *mgr, const conjured_purge &p)
void dump_to_pp(pretty_printer *pp, bool simple) const final override
bool is_empty() const
Definition store.h:498
void mark_empty()
Definition store.h:495
bool operator==(const symbolic_binding &other) const
Definition store.h:480
bool concrete_p() const final override
Definition store.h:474
symbolic_binding(const region *region)
Definition store.h:473
symbolic_binding key_t
Definition store.h:471
const symbolic_binding * dyn_cast_symbolic_binding() const final override
Definition store.h:487
const region * get_region() const
Definition store.h:490
bool is_deleted() const
Definition store.h:496
hashval_t hash() const
Definition store.h:476
const region * m_region
Definition store.h:501
static int cmp_ptr_ptr(const void *, const void *)
void mark_deleted()
Definition store.h:494
bool unknown_sm_state_p(const svalue *sval)
Definition store.h:174
void dump(bool simple) const
void dump_to_pp(pretty_printer *pp, bool simple) const
void on_mutable_sval_at_unknown_call(const svalue *sval)
Definition store.h:169
iterator end_maybe_bound_svals() const
Definition store.h:187
hash_set< const svalue * > m_mutable_at_unknown_call_svals
Definition store.h:198
void on_maybe_bound_sval(const svalue *sval)
Definition store.h:165
hash_set< constsvalue * >::iterator iterator
Definition store.h:163
iterator begin_maybe_bound_svals() const
Definition store.h:183
hash_set< const svalue * > m_maybe_bound_svals
Definition store.h:195
Definition hash-set.h:110
hashval_t end() const
Definition inchash.h:49
void add_wide_int(const generic_wide_int< T > &x)
Definition inchash.h:84
Definition pretty-print.h:241
Definition lra-spills.cc:101
union tree_node * tree
Definition coretypes.h:97
void final(rtx_insn *first, FILE *file, int optimize_p)
Definition final.cc:2008
static struct token T
Definition gengtype-parse.cc:45
Definition access-diagram.h:30
offset_int byte_size_t
Definition common.h:199
@ stmt
Definition checker-event.h:37
offset_int bit_offset_t
Definition common.h:196
offset_int byte_offset_t
Definition common.h:198
offset_int bit_size_t
Definition common.h:197
hash_set< const svalue * > svalue_set
Definition common.h:80
poly_int< N, C > r
Definition poly-int.h:774
bit_range operator-(bit_offset_t offset) const
bool operator==(const bit_range &other) const
Definition store.h:271
std::unique_ptr< json::object > to_json() const
bool exceeds_p(const bit_range &other, bit_range *out_overhanging_bit_range) const
bool empty_p() const
Definition store.h:244
bool intersects_p(const bit_range &other) const
Definition store.h:277
static bool from_mask(unsigned HOST_WIDE_INT mask, bit_range *out)
bool falls_short_of_p(bit_offset_t offset, bit_range *out_fall_short_bits) const
bool operator<(const bit_range &other) const
Definition store.h:303
bool intersects_p(const bit_range &other, bit_range *out_this, bit_range *out_other) const
bit_size_t m_size_in_bits
Definition store.h:313
bool contains_p(bit_offset_t offset) const
Definition store.h:263
bit_offset_t get_next_bit_offset() const
Definition store.h:253
bit_offset_t m_start_bit_offset
Definition store.h:312
bool intersects_p(const bit_range &other, bit_size_t *out_num_overlap_bits) const
void dump_to_pp(pretty_printer *pp) const
bit_range(bit_offset_t start_bit_offset, bit_size_t size_in_bits)
Definition store.h:234
bool as_byte_range(byte_range *out) const
static int cmp(const bit_range &br1, const bit_range &br2)
bool contains_p(const bit_range &other, bit_range *out) const
bit_offset_t get_start_bit_offset() const
Definition store.h:249
bit_offset_t get_last_bit_offset() const
Definition store.h:257
bool operator==(const byte_range &other) const
Definition store.h:342
byte_offset_t get_next_byte_offset() const
Definition store.h:352
byte_size_t m_size_in_bytes
Definition store.h:380
byte_offset_t get_last_byte_offset() const
Definition store.h:356
bool contains_p(byte_offset_t offset) const
Definition store.h:335
byte_offset_t get_start_byte_offset() const
Definition store.h:348
void dump_to_pp(pretty_printer *pp) const
byte_range(byte_offset_t start_byte_offset, byte_size_t size_in_bytes)
Definition store.h:320
static int cmp(const byte_range &br1, const byte_range &br2)
bit_offset_t get_start_bit_offset() const
Definition store.h:368
byte_offset_t m_start_byte_offset
Definition store.h:379
bool contains_p(const byte_range &other, byte_range *out) const
bool empty_p() const
Definition store.h:330
bit_offset_t get_next_bit_offset() const
Definition store.h:372
std::unique_ptr< json::object > to_json() const
bit_range as_bit_range() const
Definition store.h:362
Definition region-model.h:1243
static const bool empty_zero_p
Definition store.h:459
static const bool empty_zero_p
Definition store.h:509
Definition hash-traits.h:466
#define gcc_assert(EXPR)
Definition system.h:814
static bitmap visited
Definition tree-ssa-dce.cc:640
tree size_in_bytes(const_tree t)
Definition tree.h:5195