Home
last modified time | relevance | path

Searched refs:svalue (Results 1 – 25 of 111) sorted by relevance

12345

/netbsd-src/external/gpl3/gcc/dist/gcc/analyzer/
H A Dregion-model.h136 typedef hash_map<const region *, const svalue *> hash_map_t;
153 const svalue * const *get (const region *reg) const in get()
157 void put (const region *reg, const svalue *sval) in put()
174 void purge_state_involving (const svalue *sval);
248 const svalue *get_or_create_constant_svalue (tree cst_expr);
249 const svalue *get_or_create_int_cst (tree type, poly_int64);
250 const svalue *get_or_create_null_ptr (tree pointer_type);
251 const svalue *get_or_create_unknown_svalue (tree type);
252 const svalue *get_or_create_setjmp_svalue (const setjmp_record &r,
254 const svalue *get_or_create_poisoned_svalue (enum poison_kind kind,
[all …]
H A Dsvalue.h87 class svalue
90 virtual ~svalue () {} in ~svalue()
140 const svalue *maybe_undo_cast () const;
141 const svalue *unwrap_any_unmergeable () const;
143 const svalue *can_merge_p (const svalue *other,
156 static int cmp_ptr (const svalue *, const svalue *);
159 bool involves_p (const svalue *other) const;
161 const svalue *
166 virtual const svalue *
181 svalue (complexity c, tree type) in svalue() function
[all …]
H A Dregion-model-impl-calls.cc107 call_details::maybe_set_lhs (const svalue *result) const in maybe_set_lhs()
145 const svalue *
160 const svalue *str_arg = get_arg_svalue (idx); in get_arg_string_literal()
195 const svalue *arg_sval = get_arg_svalue (i); in dump_to_pp()
218 const svalue *
233 const svalue *size_sval = cd.get_arg_svalue (0); in impl_call_alloca()
235 const svalue *ptr_sval in impl_call_alloca()
252 const svalue *sval = get_rvalue (t_val, ctxt); in impl_call_analyzer_describe()
269 const svalue *sval_ptr = get_rvalue (t_ptr, ctxt); in impl_call_analyzer_dump_capacity()
272 const svalue *capacity = get_capacity (base_reg); in impl_call_analyzer_dump_capacity()
[all …]
H A Dprogram-state.h87 const svalue *origin) in entry_t()
104 const svalue *m_origin;
106 typedef hash_map <const svalue *, entry_t> map_t;
130 state_machine::state_t get_state (const svalue *sval,
132 const svalue *get_origin (const svalue *sval,
136 const svalue *sval,
138 const svalue *origin,
142 const svalue *origin,
144 bool impl_set_state (const svalue *sval,
146 const svalue *origin,
[all …]
H A Dregion-model-manager.cc175 region_model_manager::reject_if_too_complex (svalue *sval) in reject_if_too_complex()
203 svalue *sval_ = (SVAL); \
216 const svalue *
234 const svalue *
245 const svalue *
258 const svalue *
285 const svalue *
288 svalue *sval = new placeholder_svalue (type, "unique"); in create_unique_svalue()
296 const svalue *
326 const svalue *
[all …]
H A Dsvalue.cc71 svalue::dump (bool simple) const in dump()
85 svalue::get_desc (bool simple) const in get_desc()
96 svalue::to_json () const in to_json()
108 svalue::maybe_get_constant () const in maybe_get_constant()
110 const svalue *sval = unwrap_any_unmergeable (); in maybe_get_constant()
121 svalue::maybe_get_region () const in maybe_get_region()
133 const svalue *
134 svalue::maybe_undo_cast () const in maybe_undo_cast()
149 const svalue *
150 svalue::unwrap_any_unmergeable () const in unwrap_any_unmergeable()
[all …]
H A Dprogram-state.cc166 return svalue::cmp_ptr (entry_a.m_origin, entry_b.m_origin); in cmp()
213 auto_vec <const svalue *> keys (m_map.elements ()); in print()
218 keys.qsort (svalue::cmp_ptr_ptr); in print()
220 const svalue *sval; in print()
299 const svalue *sval = (*iter).first; in to_json()
361 const svalue *sval = (*iter).first; in operator ==()
379 sm_state_map::get_state (const svalue *sval, in get_state()
406 const svalue *parent_init_sval in get_state()
416 const svalue *parent_sval = sub_sval->get_parent (); in get_state()
432 const svalue *
[all …]
H A Dstore.h161 typedef hash_set<const svalue *>::iterator iterator;
163 void on_maybe_bound_sval (const svalue *sval) in on_maybe_bound_sval()
167 void on_mutable_sval_at_unknown_call (const svalue *sval) in on_mutable_sval_at_unknown_call()
172 bool unknown_sm_state_p (const svalue *sval) in unknown_sm_state_p()
193 hash_set<const svalue *> m_maybe_bound_svals;
196 hash_set<const svalue *> m_mutable_at_unknown_call_svals;
464 typedef hash_map <const binding_key *, const svalue *> map_t;
479 const svalue *get (const binding_key *key) const
481 const svalue **slot = const_cast<map_t &> (m_map).get (key);
487 bool put (const binding_key *k, const svalue *v)
[all …]
H A Dregion-model.cc131 const svalue *sval = iter.second; in operator =()
148 const svalue *sval = iter.second; in operator ==()
149 const svalue * const *other_slot = other.get (reg); in operator ==()
183 const svalue *sval = *get (reg); in dump_to_pp()
221 const svalue *iter_sval = iter.second; in can_merge_with_p()
222 const svalue * const * other_slot = other.get (iter_reg); in can_merge_with_p()
233 region_to_value_map::purge_state_involving (const svalue *sval) in purge_state_involving()
239 const svalue *iter_sval = iter.second; in purge_state_involving()
661 const svalue *
679 const svalue *ptr_sval = get_rvalue (ptr, ctxt); in get_gassign_result()
[all …]
H A Dregion.h162 bool involves_p (const svalue *sval) const;
178 virtual const svalue *get_byte_size_sval (region_model_manager *mgr) const;
571 key_t (const region *parent, const svalue *sval_ptr)
590 void mark_deleted () { m_sval_ptr = reinterpret_cast<const svalue *> (1); }
594 return m_sval_ptr == reinterpret_cast<const svalue *> (1);
599 const svalue *m_sval_ptr;
602 symbolic_region (unsigned id, region *parent, const svalue *sval_ptr);
611 const svalue *get_pointer () const { return m_sval_ptr; }
614 const svalue *m_sval_ptr;
658 const svalue *maybe_get_constant_value (region_model_manager *mgr) const;
[all …]
H A Dconstraint-manager.h249 void add (const svalue *sval);
250 bool del (const svalue *sval);
254 const svalue *get_representative () const;
268 const svalue *m_cst_sval;
271 auto_vec<const svalue *> m_vars;
361 virtual void on_fact (const svalue *lhs,
363 const svalue *rhs) = 0;
364 virtual void on_ranges (const svalue *lhs,
431 equiv_class &get_equiv_class (const svalue *sval)
437 bool add_constraint (const svalue *lhs,
[all …]
H A Dstore.cc69 dump_svalue_set (const hash_set <const svalue *> &svals, in dump_svalue_set()
72 auto_vec <const svalue *> v; in dump_svalue_set()
73 for (hash_set<const svalue *>::iterator iter = svals.begin (); in dump_svalue_set()
78 v.qsort (svalue::cmp_ptr_ptr); in dump_svalue_set()
81 const svalue *sval; in dump_svalue_set()
515 static const svalue *
516 simplify_for_binding (const svalue *sval) in simplify_for_binding()
518 if (const svalue *cast_sval = sval->maybe_undo_cast ()) in simplify_for_binding()
543 const svalue *sval = (*iter).second; in operator =()
560 const svalue *sval = (*iter).second; in operator ==()
[all …]
H A Dsm.h33 extern bool any_pointer_p (const svalue *sval);
75 const svalue *, in alt_get_inherited_state() argument
81 virtual state_machine::state_t get_default_state (const svalue *) const in get_default_state() argument
105 const svalue *lhs ATTRIBUTE_UNUSED, in on_condition()
107 const svalue *rhs ATTRIBUTE_UNUSED) const in on_condition()
200 const svalue *) = 0;
209 const svalue *var,
231 const svalue *var,
255 virtual tree get_diagnostic_tree (const svalue *) = 0;
279 const svalue *get_old_svalue (tree expr) const;
H A Dregion-model-reachability.cc93 const svalue *ptr = sym_reg->get_pointer (); in init_cluster()
161 reachable_regions::handle_sval_cb (const svalue *sval, in handle_sval_cb()
170 reachable_regions::handle_sval (const svalue *sval) in handle_sval()
198 const svalue *iter_sval = (*iter).second; in handle_sval()
202 if (const svalue *cast = sval->maybe_undo_cast ()) in handle_sval()
244 reachable_regions::handle_parm (const svalue *sval, tree param_type) in handle_parm()
264 const svalue *iter_sval = (*iter).second; in handle_parm()
268 if (const svalue *cast = sval->maybe_undo_cast ()) in handle_parm()
H A Dsm-taint.cc86 const svalue *sval,
97 const svalue *lhs,
99 const svalue *rhs) const FINAL OVERRIDE;
680 const svalue *sval, in alt_get_inherited_state()
693 const svalue *arg = unaryop_sval->get_arg (); in alt_get_inherited_state()
710 const svalue *arg0 = binop_sval->get_arg0 (); in alt_get_inherited_state()
711 const svalue *arg1 = binop_sval->get_arg1 (); in alt_get_inherited_state()
814 const svalue *lhs, in on_condition()
816 const svalue *rhs ATTRIBUTE_UNUSED) const in on_condition()
986 const svalue *divisor_sval = old_model->get_rvalue (divisor_expr, NULL); in check_for_tainted_divisor()
[all …]
H A Ddiagnostic-manager.h37 tree var, const svalue *sval,
77 const svalue *m_sval;
118 const svalue *sval,
166 const svalue *sval,
175 const svalue *sval,
H A Dsm-pattern-test.cc70 const svalue *lhs,
72 const svalue *rhs) const FINAL OVERRIDE;
133 const svalue *lhs, in on_condition()
135 const svalue *rhs) const in on_condition()
H A DChangeLog189 * svalue.cc
194 (svalue::cmp_ptr): Update for renaming of cmp_cst
202 * svalue.cc (svalue::maybe_get_deref_base_region): New.
203 * svalue.h (svalue::maybe_get_deref_base_region): New decl.
208 * svalue.cc (cmp_cst): When comparing VECTOR_CSTs, compare the
301 * svalue.h (class conjured_purge): New.
644 * analyzer.opt (-param=analyzer-max-svalue-depth=): Reduce from 13
667 * svalue.cc (svalue::cmp_ptr): Handle SK_CONST_FN_RESULT.
671 * svalue.h (enum svalue_kind): Add SK_CONST_FN_RESULT.
672 (svalue::dyn_cast_const_fn_result_svalue): New.
[all …]
H A Dregion-model-reachability.h51 static void handle_sval_cb (const svalue *sval,
55 void handle_sval (const svalue *sval);
59 void handle_parm (const svalue *sval, tree param_type);
H A Dconstraint-manager.cc1074 for (const svalue *sval : other.m_vars) in equiv_class()
1086 const svalue *sval; in print()
1112 for (const svalue *sval : m_vars) in to_json()
1137 for (const svalue * sval : m_vars) in hash()
1159 const svalue *sval; in operator ==()
1170 equiv_class::add (const svalue *sval) in add()
1189 equiv_class::del (const svalue *sval) in del()
1195 const svalue *iv; in del()
1214 const svalue *
1226 m_vars.qsort (svalue::cmp_ptr_ptr); in canonicalize()
[all …]
H A Dsm-file.cc63 get_default_state (const svalue *sval) const FINAL OVERRIDE in get_default_state()
80 const svalue *lhs,
82 const svalue *rhs) const FINAL OVERRIDE;
419 const svalue *lhs, in on_condition()
421 const svalue *rhs) const in on_condition()
H A Dcomplexity.h37 complexity (const svalue *sval);
39 static complexity from_vec_svalue (const vec<const svalue *> &vec);
/netbsd-src/sys/lib/libunwind/
H A DDwarfInstructions.hpp181 sint_t svalue; in evaluateExpression() local
207 svalue = (int8_t)addressSpace.get8(p); in evaluateExpression()
209 *(++sp) = svalue; in evaluateExpression()
221 svalue = (int16_t)addressSpace.get16(p); in evaluateExpression()
223 *(++sp) = svalue; in evaluateExpression()
235 svalue = (int32_t)addressSpace.get32(p); in evaluateExpression()
237 *(++sp) = svalue; in evaluateExpression()
262 svalue = addressSpace.getSLEB128(p, expressionEnd); in evaluateExpression()
263 *(++sp) = svalue; in evaluateExpression()
313 svalue = *sp; in evaluateExpression()
[all …]
/netbsd-src/external/gpl3/gcc.old/dist/gcc/analyzer/
H A Dregion-model.cc167 svalue *svalue = m_model->get_svalue (sid); in maybe_get_constant() local
168 return svalue->maybe_get_constant (); in maybe_get_constant()
270 svalue::operator== (const svalue &other) const in operator ==()
336 svalue::hash () const in hash()
348 svalue::print (const region_model &model, in print()
372 svalue::dump_dot_to_pp (const region_model &model, in dump_dot_to_pp()
390 svalue::remap_region_ids (const region_id_map &) in remap_region_ids()
398 svalue::walk_for_canonicalization (canonicalization *) const in walk_for_canonicalization()
406 svalue::get_child_sid (region *parent ATTRIBUTE_UNUSED, in get_child_sid()
411 svalue *new_child_value = clone (); in get_child_sid()
[all …]
H A Dregion-model.h474 class svalue
477 virtual ~svalue () {} in ~svalue()
479 bool operator== (const svalue &other) const;
480 bool operator!= (const svalue &other) const { return !(*this == other); }
482 virtual svalue *clone () const = 0;
517 svalue (tree type) : m_type (type) {} in svalue() function
531 class region_svalue : public svalue
534 region_svalue (tree type, region_id rid) : svalue (type), m_rid (rid) in region_svalue()
542 svalue *clone () const FINAL OVERRIDE in clone()
586 is_a_helper <region_svalue *>::test (svalue *sval) in test()
[all …]

12345