| /src/external/gpl3/gcc/dist/gcc/analyzer/ |
| store.h | 213 static const binding_key *make (store_manager *mgr, const region *r);
554 void remove_overlapping_bindings (store_manager *mgr,
615 void bind (store_manager *mgr, const region *, const svalue *);
617 void clobber_region (store_manager *mgr, const region *reg);
618 void purge_region (store_manager *mgr, const region *reg);
619 void fill_region (store_manager *mgr, const region *reg, const svalue *sval);
620 void zero_fill_region (store_manager *mgr, const region *reg);
621 void mark_region_as_unknown (store_manager *mgr,
629 const svalue *get_binding (store_manager *mgr, const region *reg) const;
630 const svalue *get_binding_recursive (store_manager *mgr
845 class store_manager class in namespace:ana
848 store_manager (region_model_manager *mgr) : m_mgr (mgr) {} function in class:ana::store_manager
[all...] |
| /src/external/gpl3/gcc.old/dist/gcc/analyzer/ |
| store.h | 213 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
792 class store_manager class in namespace:ana
795 store_manager (region_model_manager *mgr) : m_mgr (mgr) {} function in class:ana::store_manager
[all...] |
