Home
last modified time | relevance | path

Searched refs:store_manager (Results 1 – 7 of 7) sorted by relevance

/netbsd-src/external/gpl3/gcc/dist/gcc/analyzer/
H A Dstore.h213 static const binding_key *make (store_manager *mgr, const region *r);
510 void remove_overlapping_bindings (store_manager *mgr,
572 void bind (store_manager *mgr, const region *, const svalue *);
574 void clobber_region (store_manager *mgr, const region *reg);
575 void purge_region (store_manager *mgr, const region *reg);
576 void fill_region (store_manager *mgr, const region *reg, const svalue *sval);
577 void zero_fill_region (store_manager *mgr, const region *reg);
578 void mark_region_as_unknown (store_manager *mgr,
585 const svalue *get_binding (store_manager *mgr, const region *reg) const;
586 const svalue *get_binding_recursive (store_manager *mgr,
[all …]
H A Dstore.cc124 binding_key::make (store_manager *mgr, const region *r) in make()
838 store_manager *smgr = mgr->get_store_manager (); in apply_ctor_val_to_range()
1010 binding_map::remove_overlapping_bindings (store_manager *mgr, in remove_overlapping_bindings()
1259 binding_cluster::bind (store_manager *mgr, in bind()
1292 binding_cluster::bind_compound_sval (store_manager *mgr, in bind_compound_sval()
1329 binding_cluster::clobber_region (store_manager *mgr, const region *reg) in clobber_region()
1337 binding_cluster::purge_region (store_manager *mgr, const region *reg) in purge_region()
1348 binding_cluster::fill_region (store_manager *mgr, in fill_region()
1365 binding_cluster::zero_fill_region (store_manager *mgr, const region *reg) in zero_fill_region()
1384 binding_cluster::mark_region_as_unknown (store_manager *mgr, in mark_region_as_unknown()
[all …]
H A Danalyzer.h75 class store_manager; variable
H A Dregion-model.h340 store_manager *get_store_manager () { return &m_store_mgr; } in get_store_manager()
493 store_manager m_store_mgr;
H A Dstate-purge.cc821 store_manager *store_mgr) in same_binding_p()
H A Dregion-model-manager.cc1813 store_manager::log_stats (logger *logger, bool show_objs) const in log_stats()
H A DChangeLog1072 * store.cc (store_manager::get_logger): New.
1075 * store.h (store_manager::get_logger): New decl.
2262 (store_manager::get_concrete_binding): Likewise.
2263 (store_manager::get_symbolic_binding): Likewise.
2317 (store_manager::get_concrete_binding): Drop enum binding_kind.
2318 (store_manager::get_symbolic_binding): Likewise.
2589 (store_manager::get_concrete_binding): New overload taking
4532 (class store_manager): New forward decl.