Home
last modified time | relevance | path

Searched refs:StateMgr (Results 1 – 10 of 10) sorted by relevance

/trueos/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
HDExprEngine.h70 ProgramStateManager StateMgr; variable
287 virtual ProgramStateManager& getStateManager() { return StateMgr; } in getStateManager()
289 StoreManager& getStoreManager() { return StateMgr.getStoreManager(); } in getStoreManager()
292 return StateMgr.getConstraintManager(); in getConstraintManager()
297 return StateMgr.getBasicVals(); in getBasicVals()
HDSValBuilder.h45 ProgramStateManager &StateMgr; variable
67 StateMgr(stateMgr), in SValBuilder()
124 ProgramStateManager &getStateManager() { return StateMgr; } in getStateManager()
HDStore.h43 ProgramStateManager &StateMgr; variable
/trueos/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/
HDBugReporterVisitors.cpp356 ProgramStateManager &StateMgr = BRC.getStateManager(); in visitNodeMaybeUnsuppress() local
357 CallEventManager &CallMgr = StateMgr.getCallEventManager(); in visitNodeMaybeUnsuppress()
512 ProgramStateManager &StateMgr = BRC.getStateManager(); in VisitNode() local
513 CallEventManager &CallMgr = StateMgr.getCallEventManager(); in VisitNode()
847 ProgramStateManager &StateMgr = N->getState()->getStateManager(); in getLocationRegionIfReference() local
848 MemRegionManager &MRMgr = StateMgr.getRegionManager(); in getLocationRegionIfReference()
1121 ProgramStateManager &StateMgr = state->getStateManager(); in registerStatementVarDecls() local
1126 StateMgr.getRegionManager().getVarRegion(VD, N->getLocationContext()); in registerStatementVarDecls()
HDExprEngine.cpp66 StateMgr(getContext(), mgr.getStoreManagerCreator(), in ExprEngine()
69 SymMgr(StateMgr.getSymbolManager()), in ExprEngine()
70 svalBuilder(StateMgr.getSValBuilder()), in ExprEngine()
93 ProgramStateRef state = StateMgr.getInitialState(InitLoc); in getInitialState()
189 ProgramStateManager &StateMgr = State->getStateManager(); in createTemporaryRegionIfNeeded() local
190 MemRegionManager &MRMgr = StateMgr.getRegionManager(); in createTemporaryRegionIfNeeded()
191 StoreManager &StoreMgr = StateMgr.getStoreManager(); in createTemporaryRegionIfNeeded()
361 CleanedState = StateMgr.removeDeadBindings(CleanedState, SFC, SymReaper); in removeDead()
392 assert(StateMgr.haveEqualEnvironments(CheckerState, Pred->getState()) && in removeDead()
395 assert(StateMgr.haveEqualStores(CheckerState, Pred->getState()) && in removeDead()
[all …]
HDSValBuilder.cpp442 StoreManager &storeMgr = StateMgr.getStoreManager(); in evalCast()
462 val = StateMgr.ArrayToPointer(val.castAs<Loc>(), elemTy); in evalCast()
518 StoreManager &storeMgr = StateMgr.getStoreManager(); in evalCast()
HDStore.cpp25 : svalBuilder(stateMgr.getSValBuilder()), StateMgr(stateMgr), in StoreManager()
75 ASTContext &Ctx = StateMgr.getContext(); in castRegion()
HDCallEvent.cpp498 ProgramStateManager &StateMgr = getState()->getStateManager(); in getInitialStackFrameContents() local
499 SValBuilder &SVB = StateMgr.getSValBuilder(); in getInitialStackFrameContents()
513 ThisVal = StateMgr.getStoreManager().evalDynamicCast(ThisVal, Ty, Failed); in getInitialStackFrameContents()
HDRegionStore.cpp359 if (SubEngine *Eng = StateMgr.getOwningEngine()) { in RegionStoreManager()
685 ClusterAnalysis(RegionStoreManager &rm, ProgramStateManager &StateMgr, in ClusterAnalysis() argument
687 : RM(rm), Ctx(StateMgr.getContext()), in ClusterAnalysis()
688 svalBuilder(StateMgr.getSValBuilder()), in ClusterAnalysis()
1172 invalidateRegionsWorker W(*this, StateMgr, B, Ex, Count, LCtx, IS, ITraits, in invalidateRegions()
2311 removeDeadBindingsWorker W(*this, StateMgr, B, SymReaper, LCtx); in removeDeadBindings()
/trueos/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/
HDRetainCountChecker.cpp2077 GetAllocationSite(ProgramStateManager& StateMgr, const ExplodedNode *N, in GetAllocationSite() argument
2096 StateMgr.iterBindings(St, FB); in GetAllocationSite()