Searched refs:stateMgr (Results 1 - 7 of 7) sorted by relevance
| /freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | ProgramState.cpp | 48 : stateMgr(mgr),
53 stateMgr->getStoreManager().incrementReferenceCount(store);
58 stateMgr(RHS.stateMgr),
63 stateMgr->getStoreManager().incrementReferenceCount(store);
68 stateMgr->getStoreManager().decrementReferenceCount(store);
367 return stateMgr->getSValBuilder().areEqual(this, Lhs, Rhs);
432 stateMgr->getStoreManager().incrementReferenceCount(newStoreStore);
434 stateMgr->getStoreManager().decrementReferenceCount(store);
479 return stateMgr
[all...] |
| H A D | Store.cpp | 42 StoreManager::StoreManager(ProgramStateManager &stateMgr) argument
43 : svalBuilder(stateMgr.getSValBuilder()), StateMgr(stateMgr),
44 MRMgr(svalBuilder.getRegionManager()), Ctx(stateMgr.getContext()) {}
|
| H A D | SimpleSValBuilder.cpp | 32 ProgramStateManager &stateMgr)
33 : SValBuilder(alloc, context, stateMgr) {}
60 ProgramStateManager &stateMgr) {
61 return new SimpleSValBuilder(alloc, context, stateMgr);
31 SimpleSValBuilder(llvm::BumpPtrAllocator &alloc, ASTContext &context, ProgramStateManager &stateMgr) argument
58 createSimpleSValBuilder(llvm::BumpPtrAllocator &alloc, ASTContext &context, ProgramStateManager &stateMgr) argument
|
| H A D | RegionStore.cpp | 1005 ProgramStateManager &stateMgr,
1013 : ClusterAnalysis<InvalidateRegionsWorker>(rm, stateMgr, b),
2512 ProgramStateManager &stateMgr,
2515 : ClusterAnalysis<RemoveDeadBindingsWorker>(rm, stateMgr, b),
1004 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
2511 RemoveDeadBindingsWorker(RegionStoreManager &rm, ProgramStateManager &stateMgr, RegionBindingsRef b, SymbolReaper &symReaper, const StackFrameContext *LCtx) argument
|
| /freebsd-11-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | SValBuilder.h | 85 ProgramStateManager &stateMgr)
88 StateMgr(stateMgr), ArrayIndexTy(context.LongLongTy),
389 ProgramStateManager &stateMgr);
84 SValBuilder(llvm::BumpPtrAllocator &alloc, ASTContext &context, ProgramStateManager &stateMgr) argument
|
| H A D | Store.h | 62 StoreManager(ProgramStateManager &stateMgr);
|
| H A D | ProgramState.h | 84 ProgramStateManager *stateMgr; member in class:clang::ento::ProgramState
111 return *stateMgr;
650 return stateMgr->getConstraintManager();
|
Completed in 130 milliseconds