Searched refs:stateMgr (Results 1 – 8 of 8) sorted by relevance
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | ProgramState.cpp | 48 : stateMgr(mgr), in ProgramState()
53 stateMgr->getStoreManager().incrementReferenceCount(store); in ProgramState()
57 : stateMgr(RHS.stateMgr), Env(RHS.Env), store(RHS.store), GDM(RHS.GDM), in ProgramState()
59 stateMgr->getStoreManager().incrementReferenceCount(store); in ProgramState()
64 stateMgr->getStoreManager().decrementReferenceCount(store); in ~ProgramState()
377 return stateMgr->getSValBuilder().areEqual(this, Lhs, Rhs); in areEqual()
460 stateMgr->getStoreManager().incrementReferenceCount(newStoreStore); in setStore()
462 stateMgr->getStoreManager().decrementReferenceCount(store); in setStore()
527 return stateMgr->getOwningEngine().getAnalysisManager(); in getAnalysisManager()
|
| H A D | Store.cpp | 41 StoreManager::StoreManager(ProgramStateManager &stateMgr) in StoreManager() argument
42 : svalBuilder(stateMgr.getSValBuilder()), StateMgr(stateMgr), in StoreManager()
43 MRMgr(svalBuilder.getRegionManager()), Ctx(stateMgr.getContext()) {} in StoreManager()
|
| H A D | SimpleSValBuilder.cpp | 68 ProgramStateManager &stateMgr) in SimpleSValBuilder() argument
69 : SValBuilder(alloc, context, stateMgr) {} in SimpleSValBuilder()
103 ProgramStateManager &stateMgr) { in createSimpleSValBuilder() argument
104 return new SimpleSValBuilder(alloc, context, stateMgr); in createSimpleSValBuilder()
|
| H A D | SValBuilder.cpp | 53 ProgramStateManager &stateMgr) in SValBuilder() argument
56 StateMgr(stateMgr), in SValBuilder()
58 stateMgr.getOwningEngine().getAnalysisManager().getAnalyzerOptions()), in SValBuilder()
|
| H A D | RegionStore.cpp | 1156 InvalidateRegionsWorker(RegionStoreManager &rm, ProgramStateManager &stateMgr, in InvalidateRegionsWorker() argument
1163 : ClusterAnalysis<InvalidateRegionsWorker>(rm, stateMgr, b), Elem(elem), in InvalidateRegionsWorker()
2990 ProgramStateManager &stateMgr, in RemoveDeadBindingsWorker() argument
2993 : ClusterAnalysis<RemoveDeadBindingsWorker>(rm, stateMgr, b), in RemoveDeadBindingsWorker()
|
| /freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | SValBuilder.h | 81 ProgramStateManager &stateMgr);
403 ProgramStateManager &stateMgr);
|
| H A D | ProgramState.h | 83 ProgramStateManager *stateMgr; variable
148 return *stateMgr; in getStateManager()
692 return stateMgr->getConstraintManager(); in getConstraintManager()
|
| H A D | Store.h | 70 StoreManager(ProgramStateManager &stateMgr);
|