Home
last modified time | relevance | path

Searched refs:getStateManager (Results 1 – 25 of 34) sorted by relevance

12

/freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DProgramState.h113 ProgramStateManager &getStateManager() const { in getStateManager() function
695 return getStateManager().ConstraintMgr in assume()
704 return getStateManager().ConstraintMgr in assume()
775 StoreManager &SM = *getStateManager().StoreMgr; in getLValue()
819 return getStateManager().getBasicVals(); in getBasicVals()
823 return getStateManager().getSymbolManager(); in getSymbolManager()
833 return getStateManager().get_context<T>(); in get_context()
844 return getStateManager().remove<T>(this, K, C); in remove()
849 return getStateManager().remove<T>(this); in remove()
854 return getStateManager().set<T>(this, D); in set()
[all …]
H A DCheckerContext.h119 ProgramStateManager &getStateManager() { in getStateManager() function
120 return Eng.getStateManager(); in getStateManager()
H A DSubEngine.h59 virtual ProgramStateManager &getStateManager() = 0;
H A DCallEvent.h275 getState()->getStateManager().getContext().getSourceManager(); in isInSystemHeader()
1190 CallEventManager &Mgr = State->getStateManager().getCallEventManager(); in cloneWithState()
1206 CallEventManager &Mgr = State->getStateManager().getCallEventManager(); in Release()
/freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/
H A DProgramState.cpp39 ProgramStateManager &Mgr = s->getStateManager(); in ProgramStateRelease()
124 ProgramStateManager &Mgr = getStateManager(); in bindLoc()
137 ProgramStateManager &Mgr = getStateManager(); in bindDefaultInitial()
146 ProgramStateManager &Mgr = getStateManager(); in bindDefaultZero()
194 ProgramStateManager &Mgr = getStateManager(); in invalidateRegionsImpl()
230 getStateManager().StoreMgr->killBinding(OldStore, LV); in killBinding()
273 if (const llvm::APSInt *Int = getStateManager() in getSVal()
314 return getStateManager().getPersistentState(NewSt); in BindExpr()
327 ProgramStateManager &SM = getStateManager(); in assumeInBound()
429 return getStateManager().getPersistentState(NewSt); in makeWithStore()
[all …]
H A DCallEvent.cpp71 ASTContext &Ctx = getState()->getStateManager().getContext(); in getResultType()
362 CD.II = &getState()->getStateManager().getContext().Idents.get( in isCalled()
425 ASTContext &Ctx = getState()->getStateManager().getContext(); in dump()
553 SubEngine &Engine = getState()->getStateManager().getOwningEngine(); in getRuntimeDefinition()
581 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents()
778 ProgramStateManager &StateMgr = getState()->getStateManager(); in getInitialStackFrameContents()
853 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents()
898 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents()
1328 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents()
1379 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in getCaller()
[all …]
H A DExprEngineCXX.cpp101 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in makeZeroElementRegion()
318 CallEventManager &CEMgr = getStateManager().getCallEventManager(); in prepareForObjectConstruction()
496 CallEventManager &CEMgr = getStateManager().getCallEventManager(); in VisitCXXConstructExpr()
614 CallEventManager &CEMgr = getStateManager().getCallEventManager(); in VisitCXXDestructor()
645 CallEventManager &CEMgr = getStateManager().getCallEventManager(); in VisitCXXNewAllocatorCall()
740 CallEventManager &CEMgr = getStateManager().getCallEventManager(); in VisitCXXNewExpr()
H A DConstraintManager.cpp29 State->getStateManager().getRegionManager().getSymbolicRegion(Sym); in getLocFromSymbol()
H A DLoopWidening.cpp60 MemRegionManager &MRMgr = PrevState->getStateManager().getRegionManager(); in getWidenedLoopState()
H A DCheckerContext.cpp106 ProgramStateManager &Mgr = State->getStateManager(); in evalComparison()
H A DSimpleConstraintManager.cpp31 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in assume()
H A DSimpleSValBuilder.cpp316 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in isInRelation()
333 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in isWithinConstantOverflowBounds()
376 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in doRearrangeUnchecked()
450 ProgramStateManager &StateMgr = State->getStateManager(); in tryRearrange()
1252 : State(State), SVB(State->getStateManager().getSValBuilder()) {} in simplifySVal()
H A DBugReporterVisitors.cpp245 ProgramStateManager &Mgr = N->getState()->getStateManager(); in wasRegionOfInterestModifiedAt()
324 BR.getStateManager().getCallEventManager().getCaller(SCtx, State); in VisitNode()
971 ProgramStateManager &StateMgr = BRC.getStateManager(); in visitNodeMaybeUnsuppress()
1241 ProgramStateManager &StateMgr = BRC.getStateManager(); in VisitNode()
1505 ProgramStateManager &StateMgr = N->getState()->getStateManager(); in getLocationRegionIfReference()
1780 ProgramStateManager &StateMgr = N->getState()->getStateManager(); in registerStatementVarDecls()
2332 CallEventManager &CEMgr = BRC.getStateManager().getCallEventManager(); in VisitNode()
2398 auto &SVB = State->getStateManager().getSValBuilder(); in VisitNode()
H A DExprEngineObjC.cpp154 CallEventManager &CEMgr = getStateManager().getCallEventManager(); in VisitObjCMessage()
H A DExprEngineCallAndReturn.cpp222 CallEventManager &CEMgr = getStateManager().getCallEventManager(); in processCallExit()
487 CallEventManager &CEMgr = getStateManager().getCallEventManager(); in VisitCallExpr()
/freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/BugReporter/
H A DBugReporter.h528 ProgramStateManager &getStateManager();
573 ProgramStateManager& getStateManager() { in getStateManager() function
574 return BR.getStateManager(); in getStateManager()
578 return getStateManager().getSValBuilder(); in getSValBuilder()
/freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/
H A DChrootChecker.cpp89 ProgramStateManager &Mgr = state->getStateManager(); in Chroot()
99 ProgramStateManager &Mgr = state->getStateManager(); in Chdir()
H A DInnerPointerChecker.cpp212 PtrSet::Factory &F = State->getStateManager().get_context<PtrSet>(); in checkPostCall()
238 PtrSet::Factory &F = State->getStateManager().get_context<PtrSet>(); in checkDeadSymbols()
H A DCheckObjCDealloc.cpp270 SymbolSet::Factory &F = State->getStateManager().get_context<SymbolSet>(); in checkBeginFunction()
509 SymbolSet::Factory &F = State->getStateManager().get_context<SymbolSet>(); in diagnoseMissingReleases()
533 if (State->getStateManager() in diagnoseMissingReleases()
868 SymbolSet::Factory &F = State->getStateManager().get_context<SymbolSet>(); in removeValueRequiringRelease()
H A DAnalysisOrderChecker.cpp58 AnalyzerOptions &Opts = State->getStateManager().getOwningEngine() in isCallbackEnabled()
H A DTrustNonnullChecker.cpp219 SValBuilder &SVB = InputState->getStateManager().getSValBuilder(); in addImplication()
H A DStdLibraryFunctionsChecker.cpp243 ProgramStateManager &Mgr = State->getStateManager(); in applyAsOutOfRange()
271 ProgramStateManager &Mgr = State->getStateManager(); in applyAsWithinRange()
322 ProgramStateManager &Mgr = State->getStateManager(); in applyAsComparesToArgument()
H A DVirtualCallChecker.cpp103 ProgramStateManager &PSM = State->getStateManager(); in REGISTER_MAP_WITH_PROGRAMSTATE()
H A DObjCSuperDeallocChecker.cpp241 ASTContext &Ctx = M.getState()->getStateManager().getContext(); in isSuperDeallocMessage()
/freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/
H A DRetainCountDiagnostics.cpp140 CallEventManager &Mgr = CurrSt->getStateManager().getCallEventManager(); in generateDiagnosticsForCallLike()
358 CallEventManager &CEMgr = BRC.getStateManager().getCallEventManager(); in VisitNode()
616 AllocationInfo AllocI = GetAllocationSite(BRC.getStateManager(), EndN, Sym); in getEndPath()
738 GetAllocationSite(Ctx.getStateManager(), getErrorNode(), sym); in deriveAllocLocation()

12