| /freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | ExprEngine.h | 129 ProgramStateManager StateMgr; variable
377 ProgramStateManager &getStateManager() override { return StateMgr; } in getStateManager()
379 StoreManager &getStoreManager() { return StateMgr.getStoreManager(); } in getStoreManager()
382 return StateMgr.getConstraintManager(); in getConstraintManager()
387 return StateMgr.getBasicVals(); in getBasicVals()
|
| H A D | SValBuilder.h | 68 ProgramStateManager &StateMgr; variable
89 StateMgr(stateMgr), ArrayIndexTy(context.LongLongTy), in SValBuilder()
159 ProgramStateManager &getStateManager() { return StateMgr; } in getStateManager()
|
| H A D | Store.h | 57 ProgramStateManager &StateMgr; variable
|
| /freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/ |
| H A D | SValBuilder.cpp | 386 const unsigned MaxComp = StateMgr.getOwningEngine() in makeSymExprValNN()
569 StoreManager &storeMgr = StateMgr.getStoreManager(); in evalCast()
589 val = StateMgr.ArrayToPointer(val.castAs<Loc>(), elemTy); in evalCast()
645 StoreManager &storeMgr = StateMgr.getStoreManager(); in evalCast()
|
| H A D | ExprEngine.cpp | 197 StateMgr(getContext(), mgr.getStoreManagerCreator(), in ExprEngine()
200 SymMgr(StateMgr.getSymbolManager()), in ExprEngine()
201 svalBuilder(StateMgr.getSValBuilder()), ObjCNoRet(mgr.getASTContext()), in ExprEngine()
220 ProgramStateRef state = StateMgr.getInitialState(InitLoc); in getInitialState()
323 ProgramStateManager &StateMgr = State->getStateManager(); in createTemporaryRegionIfNeeded() local
324 MemRegionManager &MRMgr = StateMgr.getRegionManager(); in createTemporaryRegionIfNeeded()
325 StoreManager &StoreMgr = StateMgr.getStoreManager(); in createTemporaryRegionIfNeeded()
681 CleanedState = StateMgr.removeDeadBindings(CleanedState, SFC, SymReaper); in removeDead()
706 assert(StateMgr.haveEqualStores(CheckerState, Pred->getState()) && in removeDead()
713 StateMgr.getPersistentStateWithGDM(CleanedState, CheckerState); in removeDead()
[all …]
|
| H A D | Store.cpp | 44 : svalBuilder(stateMgr.getSValBuilder()), StateMgr(stateMgr), in StoreManager()
76 ASTContext &Ctx = StateMgr.getContext(); in castRegion()
|
| H A D | BugReporterVisitors.cpp | 971 ProgramStateManager &StateMgr = BRC.getStateManager(); in visitNodeMaybeUnsuppress() local
972 CallEventManager &CallMgr = StateMgr.getCallEventManager(); in visitNodeMaybeUnsuppress()
1241 ProgramStateManager &StateMgr = BRC.getStateManager(); in VisitNode() local
1242 CallEventManager &CallMgr = StateMgr.getCallEventManager(); in VisitNode()
1505 ProgramStateManager &StateMgr = N->getState()->getStateManager(); in getLocationRegionIfReference() local
1506 MemRegionManager &MRMgr = StateMgr.getRegionManager(); in getLocationRegionIfReference()
1780 ProgramStateManager &StateMgr = N->getState()->getStateManager(); in registerStatementVarDecls() local
1785 StateMgr.getRegionManager().getVarRegion(VD, N->getLocationContext()); in registerStatementVarDecls()
|
| H A D | SimpleSValBuilder.cpp | 450 ProgramStateManager &StateMgr = State->getStateManager(); in tryRearrange() local
451 SValBuilder &SVB = StateMgr.getSValBuilder(); in tryRearrange()
457 StateMgr.getOwningEngine().getAnalysisManager().getAnalyzerOptions(); in tryRearrange()
1107 Result = StateMgr.getStoreManager().evalDerivedToBase( in evalBinOpLN()
|
| H A D | CallEvent.cpp | 778 ProgramStateManager &StateMgr = getState()->getStateManager(); in getInitialStackFrameContents() local
779 SValBuilder &SVB = StateMgr.getSValBuilder(); in getInitialStackFrameContents()
793 ThisVal = StateMgr.getStoreManager().attemptDownCast(ThisVal, Ty, Failed); in getInitialStackFrameContents()
|
| H A D | RegionStore.cpp | 350 SubEngine &Eng = StateMgr.getOwningEngine(); in RegionStoreManager()
690 ClusterAnalysis(RegionStoreManager &rm, ProgramStateManager &StateMgr, in ClusterAnalysis() argument
692 : RM(rm), Ctx(StateMgr.getContext()), in ClusterAnalysis()
693 svalBuilder(StateMgr.getSValBuilder()), B(std::move(b)) {} in ClusterAnalysis()
1309 InvalidateRegionsWorker W(*this, StateMgr, B, Ex, Count, LCtx, IS, ITraits, in invalidateRegions()
2554 RemoveDeadBindingsWorker W(*this, StateMgr, B, SymReaper, LCtx); in removeDeadBindings()
|
| /freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/ |
| H A D | RetainCountDiagnostics.cpp | 512 static AllocationInfo GetAllocationSite(ProgramStateManager &StateMgr, in GetAllocationSite() argument
531 StateMgr.iterBindings(St, FB); in GetAllocationSite()
|