Searched refs:stateMgr (Results 1 - 7 of 7) sorted by relevance
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A D | SValBuilder.h | 63 ProgramStateManager &stateMgr) 67 StateMgr(stateMgr), 327 ProgramStateManager &stateMgr); 62 SValBuilder(llvm::BumpPtrAllocator &alloc, ASTContext &context, ProgramStateManager &stateMgr) argument
|
H A D | Store.h | 49 StoreManager(ProgramStateManager &stateMgr);
|
H A D | ProgramState.h | 84 ProgramStateManager *stateMgr; member in class:clang::ento::ProgramState 109 return *stateMgr; 625 return stateMgr->getConstraintManager();
|
/external/clang/lib/StaticAnalyzer/Core/ |
H A D | Store.cpp | 24 StoreManager::StoreManager(ProgramStateManager &stateMgr) argument 25 : svalBuilder(stateMgr.getSValBuilder()), StateMgr(stateMgr), 26 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); 412 stateMgr->getStoreManager().incrementReferenceCount(newStoreStore); 414 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 | 951 ProgramStateManager &stateMgr, 959 : ClusterAnalysis<invalidateRegionsWorker>(rm, stateMgr, b, GFK), 2184 ProgramStateManager &stateMgr, 2187 : ClusterAnalysis<removeDeadBindingsWorker>(rm, stateMgr, b, GFK_None), 950 invalidateRegionsWorker(RegionStoreManager &rm, ProgramStateManager &stateMgr, RegionBindingsRef b, const Expr *ex, unsigned count, const LocationContext *lctx, InvalidatedSymbols &is, RegionAndSymbolInvalidationTraits &ITraitsIn, StoreManager::InvalidatedRegions *r, GlobalsFilterKind GFK) argument 2183 removeDeadBindingsWorker(RegionStoreManager &rm, ProgramStateManager &stateMgr, RegionBindingsRef b, SymbolReaper &symReaper, const StackFrameContext *LCtx) argument
|
Completed in 3465 milliseconds