Searched refs:symbolic_region (Results 1 - 11 of 11) sorted by relevance

/netbsd-current/external/gpl3/gcc.old/dist/gcc/analyzer/
H A Danalyzer.h47 class symbolic_region;
H A Dregion-model.h838 symbolic_region (RK_SYMBOLIC). */
866 virtual symbolic_region *dyn_cast_symbolic_region () { return NULL; }
867 virtual const symbolic_region *dyn_cast_symbolic_region () const { return NULL; }
1638 class symbolic_region : public region class in namespace:ana
1641 symbolic_region (region_id parent_rid, tree type, bool possibly_null) function in class:ana::symbolic_region
1645 symbolic_region (const symbolic_region &other);
1647 const symbolic_region *dyn_cast_symbolic_region () const FINAL OVERRIDE
1649 symbolic_region *dyn_cast_symbolic_region () FINAL OVERRIDE
1652 bool compare_fields (const symbolic_region
[all...]
H A Dregion-model.cc990 const symbolic_region &this_sub
991 = (const symbolic_region &)*this;
992 const symbolic_region &other_sub
993 = (const symbolic_region &)other;
1653 /* Are we within a symbolic_region? If so, it could be NULL. */
1654 if (const symbolic_region *sym_reg = dyn_cast_symbolic_region ())
3412 /* class symbolic_region : public map_region. */
3414 /* symbolic_region's copy ctor. */
3416 symbolic_region::symbolic_region (cons function in class:ana::symbolic_region
[all...]
/netbsd-current/external/gpl3/gcc/dist/gcc/analyzer/
H A Dregion.h82 symbolic_region (RK_SYMBOLIC)
116 virtual const symbolic_region *
565 class symbolic_region : public region class in namespace:ana
568 /* A support class for uniquifying instances of symbolic_region. */
602 symbolic_region (unsigned id, region *parent, const svalue *sval_ptr);
604 const symbolic_region *
622 is_a_helper <const symbolic_region *>::test (const region *reg)
627 template <> struct default_hash_traits<symbolic_region::key_t>
628 : public member_function_hash_traits<symbolic_region::key_t>
H A Dregion.cc627 if (const symbolic_region *sym_reg = dyn_cast_symbolic_region ())
688 /* Are we within a symbolic_region? If so, it could be NULL, and we
701 if (const symbolic_region *symbolic_reg = dyn_cast_symbolic_region ())
1012 /* class symbolic_region : public map_region. */
1014 /* symbolic_region's ctor. */
1016 symbolic_region::symbolic_region (unsigned id, region *parent, function in class:ana::symbolic_region
1026 /* Implementation of region::accept vfunc for symbolic_region. */
1029 symbolic_region::accept (visitor *v) const
1035 /* Implementation of region::dump_to_pp vfunc for symbolic_region
[all...]
H A Dregion-model-reachability.cc91 if (const symbolic_region *sym_reg = base_reg->dyn_cast_symbolic_region ())
H A Danalyzer.h64 class symbolic_region;
H A Dregion-model-manager.cc363 if (const symbolic_region *sym_reg = pointee->dyn_cast_symbolic_region ())
1400 This is a symbolic_region, where the pointer is an unknown_svalue
1580 symbolic_region::key_t key (&m_root_region, sval);
1581 if (symbolic_region *reg = m_symbolic_regions.get (key))
1584 symbolic_region *symbolic_reg
1585 = new symbolic_region (alloc_region_id (), &m_root_region, sval);
1798 log_uniq_map (logger, show_objs, "symbolic_region", m_symbolic_regions);
H A Dregion-model.h486 consolidation_map<symbolic_region> m_symbolic_regions;
H A Dstore.cc2566 if (const symbolic_region *sym_reg_a
H A Dregion-model.cc3501 const symbolic_region *symbolic_reg
3502 = as_a <const symbolic_region *> (reg);

Completed in 163 milliseconds