Home
last modified time | relevance | path

Searched refs:sval_ptr (Results 1 – 5 of 5) sorted by relevance

/netbsd-src/external/gpl3/gcc/dist/gcc/analyzer/
H A Dregion.cc1017 const svalue *sval_ptr) in symbolic_region() argument
1018 : region (complexity::from_pair (parent, sval_ptr), id, parent, in symbolic_region()
1019 (sval_ptr->get_type () in symbolic_region()
1020 ? TREE_TYPE (sval_ptr->get_type ()) in symbolic_region()
1022 m_sval_ptr (sval_ptr) in symbolic_region()
H A Dregion.h571 key_t (const region *parent, const svalue *sval_ptr)
572 : m_parent (parent), m_sval_ptr (sval_ptr)
574 gcc_assert (sval_ptr);
602 symbolic_region (unsigned id, region *parent, const svalue *sval_ptr);
H A Dregion-model-impl-calls.cc269 const svalue *sval_ptr = get_rvalue (t_ptr, ctxt); in impl_call_analyzer_dump_capacity() local
270 const region *reg = deref_rvalue (sval_ptr, t_ptr, ctxt); in impl_call_analyzer_dump_capacity()
H A Dregion-model.cc5869 const svalue *sval_ptr = model0.get_rvalue (addr_of_a, NULL); in test_state_merging() local
5870 model0.set_value (q_in_first_frame, sval_ptr, NULL); in test_state_merging()
5873 const region *reg_pointee = sval_ptr->maybe_get_region (); in test_state_merging()
H A DChangeLog225 * region.cc (symbolic_region::symbolic_region): Handle sval_ptr