21#ifndef GCC_ANALYZER_SVALUE_H
22#define GCC_ANALYZER_SVALUE_H
27#include "text-art/widget.h"
30using text_art::dump_widget_info;
108 std::unique_ptr<json::value>
to_json ()
const;
110 std::unique_ptr<text_art::tree_widget>
112 const char *prefix =
nullptr)
const;
189 const svalue *outer_sval =
nullptr)
const;
205 const dump_widget_info &dwi)
const = 0;
228 return hstate.
end ();
262 const dump_widget_info &dwi)
const final override;
315 return hstate.
end ();
351 const dump_widget_info &dwi)
const final override;
411 const dump_widget_info &dwi)
const final override;
461 return hstate.
end ();
491 const dump_widget_info &dwi)
const final override;
533 const gcall &setjmp_call)
576 return hstate.
end ();
609 const dump_widget_info &dwi)
const final override;
666 const dump_widget_info &dwi)
const final override;
711 return hstate.
end ();
748 const dump_widget_info &dwi)
const final override;
806 return hstate.
end ();
852 const dump_widget_info &dwi)
const final override;
875 return sval->get_kind () ==
SK_BINOP;
906 return hstate.
end ();
940 const dump_widget_info &dwi)
const final override;
961 return sval->get_kind () ==
SK_SUB;
984 const svalue *inner_svalue)
994 return hstate.
end ();
1015 const svalue *outer_size,
1016 const svalue *inner_svalue);
1030 const dump_widget_info &dwi)
const final override;
1080 const svalue *inner_svalue)
1089 return hstate.
end ();
1111 const svalue *inner_svalue);
1126 const dump_widget_info &dwi)
const final override;
1192 const dump_widget_info &dwi)
const final override;
1237 const dump_widget_info &dwi)
const final override;
1286 return hstate.
end ();
1340 const dump_widget_info &dwi)
const final override;
1351 tree rhs_cst)
const;
1410 return hstate.
end ();
1442 const dump_widget_info &dwi)
const final override;
1539 return hstate.
end ();
1567 const region *id_reg,
unsigned idx)
1586 const dump_widget_info &dwi)
const final override;
1636 const char *asm_string,
1637 unsigned output_idx,
1655 return hstate.
end ();
1677 return m_asm_string ==
reinterpret_cast<const char *
> (1);
1690 const char *asm_string,
1691 unsigned output_idx,
1692 unsigned num_outputs,
1718 const dump_widget_info &dwi)
const final override;
1799 return hstate.
end ();
1858 const dump_widget_info &dwi)
const final override;
const asm_output_svalue * dyn_cast_asm_output_svalue() const final override
Definition svalue.h:1707
void dump_input(pretty_printer *pp, unsigned input_idx, const svalue *sval, bool simple) const
const char * get_asm_string() const
Definition svalue.h:1722
asm_output_svalue(symbol::id_t id, tree type, const char *asm_string, unsigned output_idx, unsigned num_outputs, const vec< const svalue * > &inputs)
Definition svalue.h:1688
const char * m_asm_string
Definition svalue.h:1735
unsigned m_num_inputs
Definition svalue.h:1742
unsigned m_output_idx
Definition svalue.h:1736
unsigned get_num_outputs() const
Definition svalue.h:1724
unsigned input_idx_to_asm_idx(unsigned input_idx) const
unsigned get_num_inputs() const
Definition svalue.h:1725
enum svalue_kind get_kind() const final override
Definition svalue.h:1705
const svalue * get_input(unsigned idx) const
Definition svalue.h:1726
unsigned m_num_outputs
Definition svalue.h:1740
void print_dump_widget_label(pretty_printer *pp) const final override
void accept(visitor *v) const final override
void dump_to_pp(pretty_printer *pp, bool simple) const final override
void add_dump_widget_children(text_art::tree_widget &w, const dump_widget_info &dwi) const final override
unsigned get_output_idx() const
Definition svalue.h:1723
const svalue * m_input_arr[MAX_INPUTS]
Definition svalue.h:1743
static const unsigned MAX_INPUTS
Definition svalue.h:1630
map_t::iterator iterator_t
Definition store.h:511
enum tree_code get_op() const
Definition svalue.h:858
const svalue * get_arg1() const
Definition svalue.h:860
void accept(visitor *v) const final override
enum tree_code m_op
Definition svalue.h:863
void add_dump_widget_children(text_art::tree_widget &w, const dump_widget_info &dwi) const final override
const svalue * get_arg0() const
Definition svalue.h:859
const svalue * m_arg1
Definition svalue.h:865
enum svalue_kind get_kind() const final override
Definition svalue.h:840
void print_dump_widget_label(pretty_printer *pp) const final override
binop_svalue(symbol::id_t id, tree type, enum tree_code op, const svalue *arg0, const svalue *arg1)
Definition svalue.h:828
const svalue * m_arg0
Definition svalue.h:864
void dump_to_pp(pretty_printer *pp, bool simple) const final override
bool implicitly_live_p(const svalue_set *, const region_model *) const final override
const binop_svalue * dyn_cast_binop_svalue() const final override
Definition svalue.h:841
enum svalue_kind get_kind() const final override
Definition svalue.h:1113
const bit_range m_bits
Definition svalue.h:1141
const svalue * m_inner_svalue
Definition svalue.h:1142
void add_dump_widget_children(text_art::tree_widget &w, const dump_widget_info &dwi) const final override
bool implicitly_live_p(const svalue_set *, const region_model *) const final override
void accept(visitor *v) const final override
bits_within_svalue(symbol::id_t id, tree type, const bit_range &bits, const svalue *inner_svalue)
void dump_to_pp(pretty_printer *pp, bool simple) const final override
const svalue * get_inner_svalue() const
Definition svalue.h:1133
const bits_within_svalue * dyn_cast_bits_within_svalue() const final override
Definition svalue.h:1115
const bit_range & get_bits() const
Definition svalue.h:1132
void print_dump_widget_label(pretty_printer *pp) const final override
const svalue * maybe_fold_bits_within(tree type, const bit_range &subrange, region_model_manager *mgr) const final override
iterator_t begin() const
Definition svalue.h:1448
static complexity calc_complexity(const binding_map &map)
compound_svalue(symbol::id_t id, tree type, const binding_map &map)
iterator_t end() const
Definition svalue.h:1449
void print_dump_widget_label(pretty_printer *pp) const final override
void dump_to_pp(pretty_printer *pp, bool simple) const final override
const binding_map & get_map() const
Definition svalue.h:1446
binding_map::iterator_t iterator_t
Definition svalue.h:1394
void add_dump_widget_children(text_art::tree_widget &w, const dump_widget_info &dwi) const final override
enum svalue_kind get_kind() const final override
Definition svalue.h:1430
const svalue * maybe_fold_bits_within(tree type, const bit_range &subrange, region_model_manager *mgr) const final override
void accept(visitor *v) const final override
binding_map m_map
Definition svalue.h:1464
struct key_t make_key() const
Definition svalue.h:1451
const compound_svalue * dyn_cast_compound_svalue() const final override
Definition svalue.h:1431
void purge(const conjured_svalue *sval) const
conjured_purge(region_model *model, region_model_context *ctxt)
Definition svalue.h:1495
region_model_context * m_ctxt
Definition svalue.h:1503
region_model * m_model
Definition svalue.h:1502
void accept(visitor *v) const final override
const gimple * get_stmt() const
Definition svalue.h:1590
const conjured_svalue * dyn_cast_conjured_svalue() const final override
Definition svalue.h:1575
enum svalue_kind get_kind() const final override
Definition svalue.h:1574
const region * m_id_reg
Definition svalue.h:1596
void add_dump_widget_children(text_art::tree_widget &w, const dump_widget_info &dwi) const final override
const gimple * m_stmt
Definition svalue.h:1595
void print_dump_widget_label(pretty_printer *pp) const final override
unsigned m_idx
Definition svalue.h:1597
void dump_to_pp(pretty_printer *pp, bool simple) const final override
const region * get_id_region() const
Definition svalue.h:1591
conjured_svalue(symbol::id_t id, tree type, const gimple *stmt, const region *id_reg, unsigned idx)
Definition svalue.h:1566
tree m_fndecl
Definition svalue.h:1872
unsigned get_num_inputs() const
Definition svalue.h:1863
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
tree get_fndecl() const
Definition svalue.h:1862
static const unsigned MAX_INPUTS
Definition svalue.h:1776
const svalue * get_input(unsigned idx) const
Definition svalue.h:1864
enum svalue_kind get_kind() const final override
Definition svalue.h:1842
void dump_input(pretty_printer *pp, unsigned input_idx, const svalue *sval, bool simple) const
const_fn_result_svalue(symbol::id_t id, tree type, tree fndecl, const vec< const svalue * > &inputs)
Definition svalue.h:1829
const svalue * m_input_arr[MAX_INPUTS]
Definition svalue.h:1874
unsigned m_num_inputs
Definition svalue.h:1873
void dump_to_pp(pretty_printer *pp, bool simple) const final override
const const_fn_result_svalue * dyn_cast_const_fn_result_svalue() const final override
Definition svalue.h:1847
void print_dump_widget_label(pretty_printer *pp) const final override
bool all_zeroes_p() const final override
static tristate eval_condition(const constant_svalue *lhs, enum tree_code op, const constant_svalue *rhs)
enum svalue_kind get_kind() const final override
Definition svalue.h:341
const svalue * maybe_fold_bits_within(tree type, const bit_range &subrange, region_model_manager *mgr) const final override
const constant_svalue * dyn_cast_constant_svalue() const final override
Definition svalue.h:343
constant_svalue(symbol::id_t id, tree type, tree cst_expr)
Definition svalue.h:332
tree get_constant() const
Definition svalue.h:357
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
tree m_cst_expr
Definition svalue.h:370
void dump_to_pp(pretty_printer *pp, bool simple) const final override
void accept(visitor *v) const final override
bool implicitly_live_p(const svalue_set *, const region_model *) const final override
Definition exploded-graph.h:203
Definition program-point.h:73
const initial_svalue * dyn_cast_initial_svalue() const final override
Definition svalue.h:658
const region * get_region() const
Definition svalue.h:674
void accept(visitor *v) const final override
bool initial_value_of_param_p() const
void add_dump_widget_children(text_art::tree_widget &w, const dump_widget_info &dwi) const final override
const region * m_reg
Definition svalue.h:677
bool implicitly_live_p(const svalue_set *, const region_model *) const final override
enum svalue_kind get_kind() const final override
Definition svalue.h:656
void print_dump_widget_label(pretty_printer *pp) const final override
initial_svalue(symbol::id_t id, tree type, const region *reg)
Definition svalue.h:650
void dump_to_pp(pretty_printer *pp, bool simple) const final override
void dump_to_pp(pretty_printer *pp, bool simple) const final override
enum svalue_kind get_kind() const final override
Definition svalue.h:1229
placeholder_svalue(symbol::id_t id, tree type, const char *name)
Definition svalue.h:1224
const char * m_name
Definition svalue.h:1244
const char * get_name() const
Definition svalue.h:1241
void accept(visitor *v) 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
enum poison_kind get_poison_kind() const
Definition svalue.h:500
void accept(visitor *v) const final override
void add_dump_widget_children(text_art::tree_widget &w, const dump_widget_info &dwi) const final override
const svalue * maybe_fold_bits_within(tree type, const bit_range &subrange, region_model_manager *mgr) const final override
const poisoned_svalue * dyn_cast_poisoned_svalue() const final override
Definition svalue.h:483
void dump_to_pp(pretty_printer *pp, bool simple) const final override
enum svalue_kind get_kind() const final override
Definition svalue.h:481
bool can_have_associated_state_p() const final override
Definition svalue.h:503
enum poison_kind m_kind
Definition svalue.h:506
poisoned_svalue(enum poison_kind kind, symbol::id_t id, tree type)
Definition svalue.h:478
void print_dump_widget_label(pretty_printer *pp) const final override
Definition region-model.h:815
Definition region-model-manager.h:32
Definition region-model.h:298
enum svalue_kind get_kind() const final override
Definition svalue.h:252
void add_dump_widget_children(text_art::tree_widget &w, const dump_widget_info &dwi) const final override
const region_svalue * dyn_cast_region_svalue() const final override
Definition svalue.h:254
void dump_to_pp(pretty_printer *pp, bool simple) const final override
const region * get_pointee() const
Definition svalue.h:268
static tristate eval_condition(const region_svalue *lhs_ptr, enum tree_code op, const region_svalue *rhs_ptr)
bool implicitly_live_p(const svalue_set *, const region_model *) const final override
void print_dump_widget_label(pretty_printer *pp) const final override
void accept(visitor *v) const final override
region_svalue(symbol::id_t id, tree type, const region *reg)
Definition svalue.h:245
const region * m_reg
Definition svalue.h:275
const repeated_svalue * dyn_cast_repeated_svalue() const final override
Definition svalue.h:1019
const svalue * m_inner_svalue
Definition svalue.h:1046
const svalue * get_inner_svalue() const
Definition svalue.h:1035
bool all_zeroes_p() const final override
void dump_to_pp(pretty_printer *pp, bool simple) const final override
void add_dump_widget_children(text_art::tree_widget &w, const dump_widget_info &dwi) const final override
void print_dump_widget_label(pretty_printer *pp) const final override
void accept(visitor *v) const final override
const svalue * get_outer_size() const
Definition svalue.h:1034
enum svalue_kind get_kind() const final override
Definition svalue.h:1018
const svalue * maybe_fold_bits_within(tree type, const bit_range &subrange, region_model_manager *mgr) const final override
repeated_svalue(symbol::id_t id, tree type, const svalue *outer_size, const svalue *inner_svalue)
const svalue * m_outer_size
Definition svalue.h:1045
const setjmp_svalue * dyn_cast_setjmp_svalue() const final override
Definition svalue.h:601
void accept(visitor *v) const final override
void add_dump_widget_children(text_art::tree_widget &w, const dump_widget_info &dwi) const final override
void dump_to_pp(pretty_printer *pp, bool simple) const final override
enum svalue_kind get_kind() const final override
Definition svalue.h:599
setjmp_svalue(const setjmp_record &setjmp_record, symbol::id_t id, tree type)
Definition svalue.h:593
const setjmp_record & get_setjmp_record() const
Definition svalue.h:615
void print_dump_widget_label(pretty_printer *pp) const final override
setjmp_record m_setjmp_record
Definition svalue.h:618
int get_enode_index() const
const svalue * get_parent() const
Definition svalue.h:946
const region * m_subregion
Definition svalue.h:951
void add_dump_widget_children(text_art::tree_widget &w, const dump_widget_info &dwi) const final override
void print_dump_widget_label(pretty_printer *pp) const final override
bool implicitly_live_p(const svalue_set *, const region_model *) const final override
void accept(visitor *v) const final override
enum svalue_kind get_kind() const final override
Definition svalue.h:928
const region * get_subregion() const
Definition svalue.h:947
const svalue * m_parent_svalue
Definition svalue.h:950
sub_svalue(symbol::id_t id, tree type, const svalue *parent_svalue, const region *subregion)
const sub_svalue * dyn_cast_sub_svalue() const final override
Definition svalue.h:929
void dump_to_pp(pretty_printer *pp, bool simple) const final override
virtual const unaryop_svalue * dyn_cast_unaryop_svalue() const
Definition svalue.h:125
virtual const compound_svalue * dyn_cast_compound_svalue() const
Definition svalue.h:139
virtual void accept(visitor *v) const =0
virtual const asm_output_svalue * dyn_cast_asm_output_svalue() const
Definition svalue.h:143
virtual void dump_to_pp(pretty_printer *pp, bool simple) const =0
virtual const repeated_svalue * dyn_cast_repeated_svalue() const
Definition svalue.h:131
const svalue * extract_bit_range(tree type, const bit_range &subrange, region_model_manager *mgr) const
virtual const widening_svalue * dyn_cast_widening_svalue() const
Definition svalue.h:137
bool live_p(const svalue_set *live_svalues, const region_model *model) const
const region * maybe_get_deref_base_region() const
virtual const poisoned_svalue * dyn_cast_poisoned_svalue() const
Definition svalue.h:119
tree m_type
Definition svalue.h:207
void dump(bool simple) const
bool involves_p(const svalue *other) const
label_text get_desc(bool simple=true) const
virtual const unmergeable_svalue * dyn_cast_unmergeable_svalue() const
Definition svalue.h:135
virtual const const_fn_result_svalue * dyn_cast_const_fn_result_svalue() const
Definition svalue.h:145
virtual const region_svalue * dyn_cast_region_svalue() const
Definition svalue.h:115
virtual enum svalue_kind get_kind() const =0
virtual ~svalue()
Definition svalue.h:94
virtual const initial_svalue * dyn_cast_initial_svalue() const
Definition svalue.h:123
virtual const svalue * maybe_fold_bits_within(tree type, const bit_range &subrange, region_model_manager *mgr) const
virtual bool can_have_associated_state_p() const
Definition svalue.h:183
tree maybe_get_constant() const
virtual const sub_svalue * dyn_cast_sub_svalue() const
Definition svalue.h:129
const svalue * can_merge_p(const svalue *other, region_model_manager *mgr, model_merger *merger) const
void print_svalue_node_label(pretty_printer *pp) const
virtual const constant_svalue * dyn_cast_constant_svalue() const
Definition svalue.h:117
virtual const conjured_svalue * dyn_cast_conjured_svalue() const
Definition svalue.h:141
static int cmp_ptr_ptr(const void *, const void *)
tree maybe_get_type_from_typeinfo() const
svalue(complexity c, symbol::id_t id, tree type)
Definition svalue.h:194
virtual void print_dump_widget_label(pretty_printer *pp) const =0
virtual const binop_svalue * dyn_cast_binop_svalue() const
Definition svalue.h:127
const svalue * unwrap_any_unmergeable() const
virtual const setjmp_svalue * dyn_cast_setjmp_svalue() const
Definition svalue.h:121
std::unique_ptr< text_art::tree_widget > make_dump_widget(const dump_widget_info &dwi, const char *prefix=nullptr) const
virtual void add_dump_widget_children(text_art::tree_widget &, const dump_widget_info &dwi) const =0
tree get_type() const
Definition svalue.h:96
static int cmp_ptr(const svalue *, const svalue *)
void print(const region_model &model, pretty_printer *pp) const
const svalue * maybe_undo_cast() const
const region * maybe_get_region() const
virtual const bits_within_svalue * dyn_cast_bits_within_svalue() const
Definition svalue.h:133
bool maybe_print_for_user(pretty_printer *pp, const region_model &model, const svalue *outer_sval=nullptr) const
std::unique_ptr< json::value > to_json() const
virtual bool implicitly_live_p(const svalue_set *live_svalues, const region_model *model) const
virtual bool all_zeroes_p() const
unsigned id_t
Definition symbol.h:33
const complexity & get_complexity() const
Definition symbol.h:35
symbol(complexity c, unsigned id)
Definition symbol.h:41
void accept(visitor *v) const final override
const svalue * m_arg
Definition svalue.h:764
unaryop_svalue(symbol::id_t id, tree type, enum tree_code op, const svalue *arg)
Definition svalue.h:731
void dump_to_pp(pretty_printer *pp, bool simple) const final override
const svalue * get_arg() const
Definition svalue.h:755
enum tree_code get_op() const
Definition svalue.h:754
void add_dump_widget_children(text_art::tree_widget &w, const dump_widget_info &dwi) const final override
bool implicitly_live_p(const svalue_set *, const region_model *) const final override
enum svalue_kind get_kind() const final override
Definition svalue.h:738
const unaryop_svalue * dyn_cast_unaryop_svalue() const final override
Definition svalue.h:740
enum tree_code m_op
Definition svalue.h:763
void print_dump_widget_label(pretty_printer *pp) const final override
const svalue * maybe_fold_bits_within(tree type, const bit_range &subrange, region_model_manager *mgr) const final override
bool can_have_associated_state_p() const final override
Definition svalue.h:421
unknown_svalue(symbol::id_t id, tree type)
Definition svalue.h:399
void print_dump_widget_label(pretty_printer *pp) const final override
enum svalue_kind get_kind() const final override
Definition svalue.h:403
void accept(visitor *v) const final override
void dump_to_pp(pretty_printer *pp, bool simple) const final override
void add_dump_widget_children(text_art::tree_widget &w, const dump_widget_info &dwi) const final override
const svalue * maybe_fold_bits_within(tree type, const bit_range &subrange, region_model_manager *mgr) const final override
const unmergeable_svalue * dyn_cast_unmergeable_svalue() const final override
Definition svalue.h:1184
void add_dump_widget_children(text_art::tree_widget &w, const dump_widget_info &dwi) const final override
enum svalue_kind get_kind() const final override
Definition svalue.h:1182
void accept(visitor *v) const final override
unmergeable_svalue(symbol::id_t id, const svalue *arg)
Definition svalue.h:1177
const svalue * get_arg() const
Definition svalue.h:1198
void print_dump_widget_label(pretty_printer *pp) const final override
bool implicitly_live_p(const svalue_set *, const region_model *) const final override
void dump_to_pp(pretty_printer *pp, bool simple) const final override
const svalue * m_arg
Definition svalue.h:1201
Definition region-model.h:222
void dump_to_pp(pretty_printer *pp, bool simple) const final override
const svalue * m_base_sval
Definition svalue.h:1355
const svalue * get_base_svalue() const
Definition svalue.h:1345
widening_svalue(symbol::id_t id, tree type, const function_point &point, const svalue *base_sval, const svalue *iter_sval)
Definition svalue.h:1315
direction_t
Definition svalue.h:1309
@ DIR_UNKNOWN
Definition svalue.h:1312
@ DIR_DESCENDING
Definition svalue.h:1311
@ DIR_ASCENDING
Definition svalue.h:1310
function_point m_point
Definition svalue.h:1354
const widening_svalue * dyn_cast_widening_svalue() const final override
Definition svalue.h:1329
void print_dump_widget_label(pretty_printer *pp) const final override
enum svalue_kind get_kind() const final override
Definition svalue.h:1328
const function_point & get_point() const
Definition svalue.h:1344
const svalue * get_iter_svalue() const
Definition svalue.h:1346
tristate eval_condition_without_cm(enum tree_code op, tree rhs_cst) const
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 svalue * m_iter_sval
Definition svalue.h:1356
enum direction_t get_direction() const
void add_int(unsigned v)
Definition inchash.h:55
hashval_t end() const
Definition inchash.h:49
void add_ptr(const void *ptr)
Definition inchash.h:94
Definition pretty-print.h:241
union tree_node * tree
Definition coretypes.h:97
static struct string2counter_map map[debug_counter_number_of_counters]
Definition dbgcnt.cc:39
bool operator==(const nowarn_spec_t &lhs, const nowarn_spec_t &rhs)
Definition diagnostic-spec.h:131
void final(rtx_insn *first, FILE *file, int optimize_p)
Definition final.cc:2008
tree_code
Definition genmatch.cc:1002
Definition access-diagram.h:30
@ stmt
Definition checker-event.h:37
poison_kind
Definition svalue.h:427
@ uninit
Definition svalue.h:429
@ freed
Definition svalue.h:432
@ popped_stack
Definition svalue.h:438
@ deleted
Definition svalue.h:435
const char * poison_kind_to_str(enum poison_kind)
hash_set< const svalue * > svalue_set
Definition common.h:78
svalue_kind
Definition svalue.h:38
@ SK_BINOP
Definition svalue.h:46
@ SK_REPEATED
Definition svalue.h:48
@ SK_BITS_WITHIN
Definition svalue.h:49
@ SK_INITIAL
Definition svalue.h:44
@ SK_COMPOUND
Definition svalue.h:53
@ SK_ASM_OUTPUT
Definition svalue.h:55
@ SK_UNKNOWN
Definition svalue.h:41
@ SK_SUB
Definition svalue.h:47
@ SK_UNARYOP
Definition svalue.h:45
@ SK_POISONED
Definition svalue.h:42
@ SK_CONSTANT
Definition svalue.h:40
@ SK_PLACEHOLDER
Definition svalue.h:51
@ SK_UNMERGEABLE
Definition svalue.h:50
@ SK_CONJURED
Definition svalue.h:54
@ SK_SETJMP
Definition svalue.h:43
@ SK_CONST_FN_RESULT
Definition svalue.h:56
@ SK_WIDENING
Definition svalue.h:52
@ SK_REGION
Definition svalue.h:39
i
Definition poly-int.h:776
key_t(tree type, const char *asm_string, unsigned output_idx, const vec< const svalue * > &inputs)
Definition svalue.h:1635
unsigned m_num_inputs
Definition svalue.h:1684
bool is_deleted() const
Definition svalue.h:1675
void mark_empty()
Definition svalue.h:1674
hashval_t hash() const
Definition svalue.h:1647
bool is_empty() const
Definition svalue.h:1679
unsigned m_output_idx
Definition svalue.h:1683
void mark_deleted()
Definition svalue.h:1673
const char * m_asm_string
Definition svalue.h:1682
const svalue * m_input_arr[MAX_INPUTS]
Definition svalue.h:1685
tree m_type
Definition svalue.h:1681
bool is_empty() const
Definition svalue.h:820
enum tree_code m_op
Definition svalue.h:823
hashval_t hash() const
Definition svalue.h:799
const svalue * m_arg1
Definition svalue.h:825
tree m_type
Definition svalue.h:822
void mark_deleted()
Definition svalue.h:817
key_t(tree type, enum tree_code op, const svalue *arg0, const svalue *arg1)
Definition svalue.h:794
void mark_empty()
Definition svalue.h:818
bool is_deleted() const
Definition svalue.h:819
const svalue * m_arg0
Definition svalue.h:824
bool is_deleted() const
Definition svalue.h:1101
key_t(tree type, const bit_range &bits, const svalue *inner_svalue)
Definition svalue.h:1078
hashval_t hash() const
Definition svalue.h:1084
bool is_empty() const
Definition svalue.h:1102
void mark_empty()
Definition svalue.h:1100
bit_range m_bits
Definition svalue.h:1105
void mark_deleted()
Definition svalue.h:1099
const svalue * m_inner_svalue
Definition svalue.h:1106
tree m_type
Definition svalue.h:1104
Definition complexity.h:31
bool is_deleted() const
Definition svalue.h:1421
tree m_type
Definition svalue.h:1424
void mark_empty()
Definition svalue.h:1420
hashval_t hash() const
Definition svalue.h:1405
bool is_empty() const
Definition svalue.h:1422
key_t(tree type, const binding_map *map_ptr)
Definition svalue.h:1401
const binding_map * m_map_ptr
Definition svalue.h:1425
void mark_deleted()
Definition svalue.h:1419
unsigned m_idx
Definition svalue.h:1563
bool is_deleted() const
Definition svalue.h:1554
void mark_empty()
Definition svalue.h:1553
bool is_empty() const
Definition svalue.h:1558
const gimple * m_stmt
Definition svalue.h:1561
void mark_deleted()
Definition svalue.h:1552
key_t(tree type, const gimple *stmt, const region *id_reg, unsigned idx)
Definition svalue.h:1529
tree m_type
Definition svalue.h:1560
hashval_t hash() const
Definition svalue.h:1533
const region * m_id_reg
Definition svalue.h:1562
void mark_empty()
Definition svalue.h:1816
tree m_fndecl
Definition svalue.h:1824
hashval_t hash() const
Definition svalue.h:1792
const svalue * m_input_arr[MAX_INPUTS]
Definition svalue.h:1826
bool is_empty() const
Definition svalue.h:1821
tree m_type
Definition svalue.h:1823
void mark_deleted()
Definition svalue.h:1815
unsigned m_num_inputs
Definition svalue.h:1825
bool is_deleted() const
Definition svalue.h:1817
key_t(tree type, tree fndecl, const vec< const svalue * > &inputs)
Definition svalue.h:1781
bool is_empty() const
Definition svalue.h:326
void mark_deleted()
Definition svalue.h:323
bool is_deleted() const
Definition svalue.h:325
key_t(tree type, tree cst)
Definition svalue.h:306
tree m_cst
Definition svalue.h:329
hashval_t hash() const
Definition svalue.h:310
void mark_empty()
Definition svalue.h:324
tree m_type
Definition svalue.h:328
bool operator==(const key_t &other) const
Definition svalue.h:318
Definition region-model.h:1229
void mark_deleted()
Definition svalue.h:469
bool is_deleted() const
Definition svalue.h:471
hashval_t hash() const
Definition svalue.h:456
enum poison_kind m_kind
Definition svalue.h:474
bool is_empty() const
Definition svalue.h:472
key_t(enum poison_kind kind, tree type)
Definition svalue.h:452
bool operator==(const key_t &other) const
Definition svalue.h:464
tree m_type
Definition svalue.h:475
void mark_empty()
Definition svalue.h:470
bool operator==(const key_t &other) const
Definition svalue.h:231
bool is_deleted() const
Definition svalue.h:238
bool is_empty() const
Definition svalue.h:239
key_t(tree type, const region *reg)
Definition svalue.h:219
void mark_deleted()
Definition svalue.h:236
tree m_type
Definition svalue.h:241
const region * m_reg
Definition svalue.h:242
void mark_empty()
Definition svalue.h:237
hashval_t hash() const
Definition svalue.h:223
tree m_type
Definition svalue.h:1009
void mark_deleted()
Definition svalue.h:1004
const svalue * m_outer_size
Definition svalue.h:1010
hashval_t hash() const
Definition svalue.h:988
void mark_empty()
Definition svalue.h:1005
bool is_empty() const
Definition svalue.h:1007
key_t(tree type, const svalue *outer_size, const svalue *inner_svalue)
Definition svalue.h:982
const svalue * m_inner_svalue
Definition svalue.h:1011
bool is_deleted() const
Definition svalue.h:1006
static int cmp(const setjmp_record &rec1, const setjmp_record &rec2)
const exploded_node * m_enode
Definition svalue.h:552
const gcall * m_setjmp_call
Definition svalue.h:553
void add_to_hash(inchash::hash *hstate) const
Definition svalue.h:544
setjmp_record(const exploded_node *enode, const gcall &setjmp_call)
Definition svalue.h:532
key_t(const setjmp_record &record, tree type)
Definition svalue.h:567
hashval_t hash() const
Definition svalue.h:571
tree m_type
Definition svalue.h:590
setjmp_record m_record
Definition svalue.h:589
void mark_deleted()
Definition svalue.h:584
void mark_empty()
Definition svalue.h:585
bool is_deleted() const
Definition svalue.h:586
bool is_empty() const
Definition svalue.h:587
void mark_empty()
Definition svalue.h:917
void mark_deleted()
Definition svalue.h:916
bool is_deleted() const
Definition svalue.h:918
hashval_t hash() const
Definition svalue.h:900
tree m_type
Definition svalue.h:921
const svalue * m_parent_svalue
Definition svalue.h:922
key_t(tree type, const svalue *parent_svalue, const region *subregion)
Definition svalue.h:896
const region * m_subregion
Definition svalue.h:923
bool is_empty() const
Definition svalue.h:919
tree m_type
Definition svalue.h:726
bool is_deleted() const
Definition svalue.h:723
void mark_empty()
Definition svalue.h:722
bool is_empty() const
Definition svalue.h:724
hashval_t hash() const
Definition svalue.h:705
enum tree_code m_op
Definition svalue.h:727
const svalue * m_arg
Definition svalue.h:728
void mark_deleted()
Definition svalue.h:721
key_t(tree type, enum tree_code op, const svalue *arg)
Definition svalue.h:701
bool is_empty() const
Definition svalue.h:1300
const svalue * m_base_sval
Definition svalue.h:1304
void mark_deleted()
Definition svalue.h:1297
tree m_type
Definition svalue.h:1302
hashval_t hash() const
Definition svalue.h:1281
function_point m_point
Definition svalue.h:1303
bool is_deleted() const
Definition svalue.h:1299
key_t(tree type, const function_point &point, const svalue *base_sval, const svalue *iter_sval)
Definition svalue.h:1275
const svalue * m_iter_sval
Definition svalue.h:1305
void mark_empty()
Definition svalue.h:1298
static const bool empty_zero_p
Definition svalue.h:1759
static const bool empty_zero_p
Definition svalue.h:881
static const bool empty_zero_p
Definition svalue.h:1158
static const bool empty_zero_p
Definition svalue.h:1480
static const bool empty_zero_p
Definition svalue.h:1613
static const bool empty_zero_p
Definition svalue.h:1890
static const bool empty_zero_p
Definition svalue.h:386
static const bool empty_zero_p
Definition svalue.h:522
static const bool empty_zero_p
Definition svalue.h:291
static const bool empty_zero_p
Definition svalue.h:1062
static const bool empty_zero_p
Definition svalue.h:634
static const bool empty_zero_p
Definition svalue.h:967
static const bool empty_zero_p
Definition svalue.h:780
static const bool empty_zero_p
Definition svalue.h:1372
Definition hash-traits.h:466
Definition collect2.cc:168
static bool test(const U *p)
Definition is-a.h:211
Definition gengtype.h:252
#define NULL
Definition system.h:50
#define gcc_assert(EXPR)
Definition system.h:814
#define TREE_TYPE(NODE)
Definition tree.h:512
#define CONSTANT_CLASS_P(NODE)
Definition tree.h:215
#define NULL_TREE
Definition tree.h:317