Searched refs:stateMgr (Results 1 – 7 of 7) sorted by relevance
| /freebsd-9-stable/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/ |
| D | ProgramState.cpp | 47 : stateMgr(mgr), in ProgramState()
52 stateMgr->getStoreManager().incrementReferenceCount(store); in ProgramState()
57 stateMgr(RHS.stateMgr), in ProgramState()
62 stateMgr->getStoreManager().incrementReferenceCount(store); in ProgramState()
67 stateMgr->getStoreManager().decrementReferenceCount(store); in ~ProgramState()
413 stateMgr->getStoreManager().incrementReferenceCount(newStoreStore); in setStore()
415 stateMgr->getStoreManager().decrementReferenceCount(store); in setStore()
|
| D | Store.cpp | 24 StoreManager::StoreManager(ProgramStateManager &stateMgr) in StoreManager() argument
25 : svalBuilder(stateMgr.getSValBuilder()), StateMgr(stateMgr), in StoreManager()
26 MRMgr(svalBuilder.getRegionManager()), Ctx(stateMgr.getContext()) {} in StoreManager()
|
| D | SimpleSValBuilder.cpp | 30 ProgramStateManager &stateMgr) in SimpleSValBuilder() argument
31 : SValBuilder(alloc, context, stateMgr) {} in SimpleSValBuilder()
54 ProgramStateManager &stateMgr) { in createSimpleSValBuilder() argument
55 return new SimpleSValBuilder(alloc, context, stateMgr); in createSimpleSValBuilder()
|
| D | RegionStore.cpp | 954 ProgramStateManager &stateMgr, in invalidateRegionsWorker() argument
962 : ClusterAnalysis<invalidateRegionsWorker>(rm, stateMgr, b, GFK), in invalidateRegionsWorker()
2189 ProgramStateManager &stateMgr, in removeDeadBindingsWorker() argument
2192 : ClusterAnalysis<removeDeadBindingsWorker>(rm, stateMgr, b, GFK_None), in removeDeadBindingsWorker()
|
| /freebsd-9-stable/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | SValBuilder.h | 63 ProgramStateManager &stateMgr) in SValBuilder() argument
67 StateMgr(stateMgr), in SValBuilder()
327 ProgramStateManager &stateMgr);
|
| D | ProgramState.h | 84 ProgramStateManager *stateMgr; variable
109 return *stateMgr; in getStateManager()
625 return stateMgr->getConstraintManager(); in getConstraintManager()
|
| D | Store.h | 49 StoreManager(ProgramStateManager &stateMgr);
|