Searched refs:stateMgr (Results 1 - 7 of 7) sorted by relevance
/external/clang/lib/StaticAnalyzer/Core/ |
H A D | Store.cpp | 23 StoreManager::StoreManager(ProgramStateManager &stateMgr) argument 24 : svalBuilder(stateMgr.getSValBuilder()), StateMgr(stateMgr), 25 MRMgr(svalBuilder.getRegionManager()), Ctx(stateMgr.getContext()) {}
|
H A D | ProgramState.cpp | 47 : stateMgr(mgr), 52 stateMgr->getStoreManager().incrementReferenceCount(store); 57 stateMgr(RHS.stateMgr), 62 stateMgr->getStoreManager().incrementReferenceCount(store); 67 stateMgr->getStoreManager().decrementReferenceCount(store); 383 stateMgr->getStoreManager().incrementReferenceCount(newStoreStore); 385 stateMgr->getStoreManager().decrementReferenceCount(store);
|
H A D | SimpleSValBuilder.cpp | 30 ProgramStateManager &stateMgr) 31 : SValBuilder(alloc, context, stateMgr) {} 54 ProgramStateManager &stateMgr) { 55 return new SimpleSValBuilder(alloc, context, stateMgr); 29 SimpleSValBuilder(llvm::BumpPtrAllocator &alloc, ASTContext &context, ProgramStateManager &stateMgr) argument 52 createSimpleSValBuilder(llvm::BumpPtrAllocator &alloc, ASTContext &context, ProgramStateManager &stateMgr) argument
|
H A D | RegionStore.cpp | 628 ProgramStateManager &stateMgr, 635 : ClusterAnalysis<invalidateRegionsWorker>(rm, stateMgr, b, includeGlobals), 1876 ProgramStateManager &stateMgr, 1879 : ClusterAnalysis<removeDeadBindingsWorker>(rm, stateMgr, b, 627 invalidateRegionsWorker(RegionStoreManager &rm, ProgramStateManager &stateMgr, RegionBindings b, const Expr *ex, unsigned count, const LocationContext *lctx, StoreManager::InvalidatedSymbols &is, StoreManager::InvalidatedRegions *r, bool includeGlobals) argument 1875 removeDeadBindingsWorker(RegionStoreManager &rm, ProgramStateManager &stateMgr, RegionBindings b, SymbolReaper &symReaper, const StackFrameContext *LCtx) argument
|
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A D | SValBuilder.h | 64 ProgramStateManager &stateMgr) 68 StateMgr(stateMgr), 320 ProgramStateManager &stateMgr); 63 SValBuilder(llvm::BumpPtrAllocator &alloc, ASTContext &context, ProgramStateManager &stateMgr) argument
|
H A D | Store.h | 46 StoreManager(ProgramStateManager &stateMgr);
|
H A D | ProgramState.h | 84 ProgramStateManager *stateMgr; member in class:clang::ento::ProgramState 109 return *stateMgr; 605 return stateMgr->getConstraintManager();
|
Completed in 81 milliseconds