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

/external/clang/lib/StaticAnalyzer/Core/
H A DStore.cpp23 StoreManager::StoreManager(ProgramStateManager &stateMgr) argument
24 : svalBuilder(stateMgr.getSValBuilder()), StateMgr(stateMgr),
25 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);
383 stateMgr->getStoreManager().incrementReferenceCount(newStoreStore);
385 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.cpp628 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 DSValBuilder.h64 ProgramStateManager &stateMgr)
68 StateMgr(stateMgr),
320 ProgramStateManager &stateMgr);
63 SValBuilder(llvm::BumpPtrAllocator &alloc, ASTContext &context, ProgramStateManager &stateMgr) argument
H A DStore.h46 StoreManager(ProgramStateManager &stateMgr);
H A DProgramState.h84 ProgramStateManager *stateMgr; member in class:clang::ento::ProgramState
109 return *stateMgr;
605 return stateMgr->getConstraintManager();

Completed in 81 milliseconds