Searched defs:stateMgr (Results 1 - 5 of 5) sorted by relevance
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A D | SValBuilder.h | 64 ProgramStateManager &stateMgr) 68 StateMgr(stateMgr), 332 ProgramStateManager &stateMgr); 63 SValBuilder(llvm::BumpPtrAllocator &alloc, ASTContext &context, ProgramStateManager &stateMgr) argument
|
H A D | ProgramState.h | 86 ProgramStateManager *stateMgr; member in class:clang::ento::ProgramState 111 return *stateMgr; 634 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 | 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 | 938 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