| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | Iterator.cpp | 214 auto &StateMgr = State->getStateManager(); in createIteratorPosition() local
215 auto &SymMgr = StateMgr.getSymbolManager(); in createIteratorPosition()
216 auto &ACtx = StateMgr.getContext(); in createIteratorPosition()
|
| /freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | ExprEngine.h | 151 ProgramStateManager StateMgr; variable
418 ProgramStateManager &getStateManager() { return StateMgr; } in getStateManager()
420 StoreManager &getStoreManager() { return StateMgr.getStoreManager(); } in getStoreManager()
423 return StateMgr.getConstraintManager(); in getConstraintManager()
428 return StateMgr.getBasicVals(); in getBasicVals()
|
| H A D | SValBuilder.h | 69 ProgramStateManager &StateMgr; variable
152 ProgramStateManager &getStateManager() { return StateMgr; } in getStateManager()
|
| H A D | Store.h | 64 ProgramStateManager &StateMgr; variable
|
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | Store.cpp | 42 : svalBuilder(stateMgr.getSValBuilder()), StateMgr(stateMgr), in StoreManager()
78 ASTContext &Ctx = StateMgr.getContext(); in castRegion()
|
| H A D | ExprEngine.cpp | 228 StateMgr(getContext(), mgr.getStoreManagerCreator(), in ExprEngine()
230 SymMgr(StateMgr.getSymbolManager()), MRMgr(StateMgr.getRegionManager()), in ExprEngine()
231 svalBuilder(StateMgr.getSValBuilder()), ObjCNoRet(mgr.getASTContext()), in ExprEngine()
246 ProgramStateRef state = StateMgr.getInitialState(InitLoc); in getInitialState()
349 ProgramStateManager &StateMgr = State->getStateManager(); in createTemporaryRegionIfNeeded() local
350 MemRegionManager &MRMgr = StateMgr.getRegionManager(); in createTemporaryRegionIfNeeded()
351 StoreManager &StoreMgr = StateMgr.getStoreManager(); in createTemporaryRegionIfNeeded()
1072 CleanedState = StateMgr.removeDeadBindingsFromEnvironmentAndStore( in removeDead()
1093 assert(StateMgr.haveEqualEnvironments(CheckerState, Pred->getState()) && in removeDead()
1096 assert(StateMgr.haveEqualStores(CheckerState, Pred->getState()) && in removeDead()
[all …]
|
| H A D | RegionStore.cpp | 516 return StateMgr.getOwningEngine().getAnalysisManager().options; in getOptions()
891 ClusterAnalysis(RegionStoreManager &rm, ProgramStateManager &StateMgr, in ClusterAnalysis() argument
893 : RM(rm), Ctx(StateMgr.getContext()), in ClusterAnalysis()
894 svalBuilder(StateMgr.getSValBuilder()), B(std::move(b)) {} in ClusterAnalysis()
1481 InvalidateRegionsWorker W(*this, StateMgr, B, Elem, Count, LCtx, IS, ITraits, in invalidateRegions()
2540 Ty = StateMgr.getContext().CharTy; in bind()
3121 RemoveDeadBindingsWorker W(*this, StateMgr, B, SymReaper, LCtx); in removeDeadBindings()
|
| H A D | CallEvent.cpp | 835 ProgramStateManager &StateMgr = getState()->getStateManager(); in getInitialStackFrameContents() local
836 SValBuilder &SVB = StateMgr.getSValBuilder(); in getInitialStackFrameContents()
850 StateMgr.getStoreManager().evalBaseToDerived(ThisVal, Ty); in getInitialStackFrameContents()
|
| H A D | SimpleSValBuilder.cpp | 371 ProgramStateManager &StateMgr = State->getStateManager(); in tryRearrange() local
372 SValBuilder &SVB = StateMgr.getSValBuilder(); in tryRearrange()
1094 Result = StateMgr.getStoreManager().evalDerivedToBase( in evalBinOpLN()
|
| H A D | SValBuilder.cpp | 56 StateMgr(stateMgr), in SValBuilder()
308 if (auto OptR = StateMgr.getStoreManager().castRegion(R, Ty)) in getCastedMemRegionVal()
|
| H A D | BugReporterVisitors.cpp | 1074 ProgramStateManager &StateMgr = BRC.getStateManager(); in visitNodeMaybeUnsuppress() local
1075 CallEventManager &CallMgr = StateMgr.getCallEventManager(); in visitNodeMaybeUnsuppress()
1614 ProgramStateManager &StateMgr = BRC.getStateManager(); in VisitNode() local
1615 CallEventManager &CallMgr = StateMgr.getCallEventManager(); in VisitNode()
|
| H A D | ExprEngineC.cpp | 479 StateMgr.getStoreManager().evalBaseToDerived(val, T)) { in VisitCast()
|
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/ |
| H A D | RetainCountDiagnostics.cpp | 668 static AllocationInfo GetAllocationSite(ProgramStateManager &StateMgr, in GetAllocationSite() argument
687 StateMgr.iterBindings(St, FB); in GetAllocationSite()
|