Searched refs:stateMgr (Results 1 - 7 of 7) sorted by relevance

/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSValBuilder.h63 ProgramStateManager &stateMgr)
67 StateMgr(stateMgr),
327 ProgramStateManager &stateMgr);
62 SValBuilder(llvm::BumpPtrAllocator &alloc, ASTContext &context, ProgramStateManager &stateMgr) argument
H A DStore.h49 StoreManager(ProgramStateManager &stateMgr);
H A DProgramState.h84 ProgramStateManager *stateMgr; member in class:clang::ento::ProgramState
109 return *stateMgr;
625 return stateMgr->getConstraintManager();
/external/clang/lib/StaticAnalyzer/Core/
H A DStore.cpp24 StoreManager::StoreManager(ProgramStateManager &stateMgr) argument
25 : svalBuilder(stateMgr.getSValBuilder()), StateMgr(stateMgr),
26 MRMgr(svalBuilder.getRegionManager()), Ctx(stateMgr.getContext()) {}
H A DProgramState.cpp47 : 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 DSimpleSValBuilder.cpp30 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 DRegionStore.cpp951 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