Searched defs:stateMgr (Results 1 - 5 of 5) sorted by relevance

/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSValBuilder.h64 ProgramStateManager &stateMgr)
68 StateMgr(stateMgr),
332 ProgramStateManager &stateMgr);
63 SValBuilder(llvm::BumpPtrAllocator &alloc, ASTContext &context, ProgramStateManager &stateMgr) argument
H A DProgramState.h86 ProgramStateManager *stateMgr; member in class:clang::ento::ProgramState
111 return *stateMgr;
634 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 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.cpp938 ProgramStateManager &stateMgr,
946 : ClusterAnalysis<invalidateRegionsWorker>(rm, stateMgr, b),
2281 ProgramStateManager &stateMgr,
2284 : ClusterAnalysis<removeDeadBindingsWorker>(rm, stateMgr, b),
937 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
2280 removeDeadBindingsWorker(RegionStoreManager &rm, ProgramStateManager &stateMgr, RegionBindingsRef b, SymbolReaper &symReaper, const StackFrameContext *LCtx) argument

Completed in 466 milliseconds