Home | History | Annotate | Download | only in analyzer

Lines Matching defs:store_manager

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,
588   const svalue *get_any_binding (store_manager *mgr,
590   const svalue *maybe_get_compound_binding (store_manager *mgr,
593   void remove_overlapping_bindings (store_manager *mgr, const region *reg,
608 			   store_manager *mgr,
612 				 store_manager *mgr);
615   void on_unknown_fncall (const gcall *call, store_manager *mgr,
617   void on_asm (const gasm *stmt, store_manager *mgr,
632   const svalue *maybe_get_simple_value (store_manager *mgr) const;
652   void bind_compound_sval (store_manager *mgr,
700 		   store_manager *mgr) const;
708   const svalue *get_any_binding (store_manager *mgr, const region *reg) const;
712   void set_value (store_manager *mgr, const region *lhs_reg,
715   void clobber_region (store_manager *mgr, const region *reg);
716   void purge_region (store_manager *mgr, const region *reg);
717   void fill_region (store_manager *mgr, const region *reg, const svalue *sval);
718   void zero_fill_region (store_manager *mgr, const region *reg);
719   void mark_region_as_unknown (store_manager *mgr, const region *reg,
739 			   store *out_store, store_manager *mgr,
743   void on_unknown_fncall (const gcall *call, store_manager *mgr,
766   void canonicalize (store_manager *mgr);
771   void remove_overlapping_bindings (store_manager *mgr, const region *reg,
792 class store_manager
795   store_manager (region_model_manager *mgr) : m_mgr (mgr) {}