HomeSort by relevance Sort by last modified time
    Searched defs:StoreManager (Results 1 - 2 of 2) sorted by null

  /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
Store.h 10 // This file defined the types Store and StoreManager.
37 class StoreManager {
42 /// MRMgr - Manages region objects associated with this StoreManager.
46 StoreManager(ProgramStateManager &stateMgr);
49 virtual ~StoreManager() {}
158 /// If the StoreManager supports it, increment the reference count of
162 /// If the StoreManager supports it, decrement the reference count of
196 /// enterStackFrame - Let the StoreManager to do something when execution
214 virtual bool HandleBinding(StoreManager& SMgr, Store store,
227 bool HandleBinding(StoreManager& SMgr, Store store, const MemRegion* R
    [all...]
  /external/clang/lib/StaticAnalyzer/Core/
Store.cpp 10 // This file defined the types Store and StoreManager.
23 StoreManager::StoreManager(ProgramStateManager &stateMgr)
27 StoreRef StoreManager::enterStackFrame(Store OldStore,
44 const MemRegion *StoreManager::MakeElementRegion(const MemRegion *Base,
61 StoreRef StoreManager::BindDefault(Store store, const MemRegion *R, SVal V) {
65 const ElementRegion *StoreManager::GetElementZeroRegion(const MemRegion *R,
72 const MemRegion *StoreManager::castRegion(const MemRegion *R, QualType CastToTy) {
225 SVal StoreManager::evalDerivedToBase(SVal Derived, const CastExpr *Cast) {
237 /// CastRetrievedVal - Used by subclasses of StoreManager to implemen
    [all...]

Completed in 137 milliseconds