Home
last modified time | relevance | path

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

12

/freebsd-11-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
HDProgramState.h110 ProgramStateManager &getStateManager() const { in getStateManager() function
656 return getStateManager().getRegionManager().getVarRegion(D, LC); in getRegion()
664 return getStateManager().ConstraintMgr in assume()
673 return getStateManager().ConstraintMgr in assume()
685 return getStateManager().ConstraintMgr->assumeInclusiveRange( in assumeInclusiveRange()
698 return getStateManager().ConstraintMgr->assumeInclusiveRangeDual( in assumeInclusiveRange()
712 getStateManager().getRegionManager().getCXXBaseObjectRegion( in getLValue()
720 getStateManager().getRegionManager().getCXXBaseObjectRegion( in getLValue()
726 return getStateManager().StoreMgr->getLValueVar(VD, LC); in getLValue()
731 return getStateManager().StoreMgr->getLValueCompoundLiteral(literal, LC); in getLValue()
[all …]
HDCheckerContext.h118 ProgramStateManager &getStateManager() { in getStateManager() function
119 return Eng.getStateManager(); in getStateManager()
HDSubEngine.h59 virtual ProgramStateManager &getStateManager() = 0;
HDCallEvent.h242 getState()->getStateManager().getContext().getSourceManager(); in isInSystemHeader()
1251 CallEventManager &Mgr = State->getStateManager().getCallEventManager(); in cloneWithState()
1267 CallEventManager &Mgr = State->getStateManager().getCallEventManager(); in Release()
/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
HDProgramState.cpp38 ProgramStateManager &Mgr = s->getStateManager(); in ProgramStateRelease()
72 return getStateManager().Alloc.identifyKnownAlignedObject<ProgramState>(this); in getID()
121 ProgramStateManager &Mgr = getStateManager(); in bindLoc()
134 ProgramStateManager &Mgr = getStateManager(); in bindDefaultInitial()
143 ProgramStateManager &Mgr = getStateManager(); in bindDefaultZero()
191 ProgramStateManager &Mgr = getStateManager(); in invalidateRegionsImpl()
227 getStateManager().StoreMgr->killBinding(OldStore, LV); in killBinding()
239 getStateManager().StoreMgr->enterStackFrame(getStore(), Call, CalleeCtx); in enterStackFrame()
270 if (const llvm::APSInt *Int = getStateManager() in getSVal()
304 getStateManager().EnvMgr.bindExpr(Env, EnvironmentEntry(S, LCtx), V, in BindExpr()
[all …]
HDCallEvent.cpp71 ASTContext &Ctx = getState()->getStateManager().getContext(); in getResultType()
251 State->getStateManager().getRegionManager().getVarRegion(PVD, SFC); in getParameterLocation()
378 CD.II = &getState()->getStateManager().getContext().Idents.get( in isCalled()
440 ASTContext &Ctx = getState()->getStateManager().getContext(); in dump()
568 SubEngine &Engine = getState()->getStateManager().getOwningEngine(); in getRuntimeDefinition()
596 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents()
796 ProgramStateManager &StateMgr = getState()->getStateManager(); in getInitialStackFrameContents()
871 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents()
916 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents()
1108 getState()->getStateManager().getOwningEngine().getAnalysisManager(); in canBeOverridenInSubclass()
[all …]
HDConstraintManager.cpp28 State->getStateManager().getRegionManager().getSymbolicRegion(Sym); in getLocFromSymbol()
HDExprEngineCXX.cpp100 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in makeZeroElementRegion()
323 CallEventManager &CEMgr = getStateManager().getCallEventManager(); in prepareForObjectConstruction()
497 CallEventManager &CEMgr = getStateManager().getCallEventManager(); in VisitCXXConstructExpr()
646 CallEventManager &CEMgr = getStateManager().getCallEventManager(); in VisitCXXDestructor()
676 CallEventManager &CEMgr = getStateManager().getCallEventManager(); in VisitCXXNewAllocatorCall()
771 CallEventManager &CEMgr = getStateManager().getCallEventManager(); in VisitCXXNewExpr()
HDLoopWidening.cpp59 MemRegionManager &MRMgr = PrevState->getStateManager().getRegionManager(); in getWidenedLoopState()
HDCheckerContext.cpp105 ProgramStateManager &Mgr = State->getStateManager(); in evalComparison()
HDSimpleSValBuilder.cpp315 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in isInRelation()
332 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in isWithinConstantOverflowBounds()
375 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in doRearrangeUnchecked()
449 ProgramStateManager &StateMgr = State->getStateManager(); in tryRearrange()
1259 : State(State), SVB(State->getStateManager().getSValBuilder()) {} in simplifySVal()
HDSimpleConstraintManager.cpp30 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in assume()
HDBugReporterVisitors.cpp269 ProgramStateManager &Mgr = N->getState()->getStateManager(); in wasRegionOfInterestModifiedAt()
558 BR.getStateManager().getCallEventManager().getCaller(SCtx, State); in VisitNode()
1148 ProgramStateManager &StateMgr = BRC.getStateManager(); in visitNodeMaybeUnsuppress()
1422 ProgramStateManager &StateMgr = BRC.getStateManager(); in VisitNode()
1836 ProgramStateManager &StateMgr = N->getState()->getStateManager(); in getLocationRegionIfReference()
2262 !BRC.getStateManager().haveEqualConstraints(CurrentState, PrevState) || in VisitTrueTest()
2775 CallEventManager &CEMgr = BRC.getStateManager().getCallEventManager(); in VisitNode()
/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
HDIterator.cpp187 auto &SymMgr = State->getStateManager().getSymbolManager(); in advancePosition()
188 auto &SVB = State->getStateManager().getSValBuilder(); in advancePosition()
214 auto &SVB = State->getStateManager().getSValBuilder(); in compare()
HDChrootChecker.cpp80 ProgramStateManager &Mgr = state->getStateManager(); in evalChroot()
90 ProgramStateManager &Mgr = state->getStateManager(); in evalChdir()
HDInnerPointerChecker.cpp211 PtrSet::Factory &F = State->getStateManager().get_context<PtrSet>(); in checkPostCall()
237 PtrSet::Factory &F = State->getStateManager().get_context<PtrSet>(); in checkDeadSymbols()
HDCheckObjCDealloc.cpp269 SymbolSet::Factory &F = State->getStateManager().get_context<SymbolSet>(); in checkBeginFunction()
508 SymbolSet::Factory &F = State->getStateManager().get_context<SymbolSet>(); in diagnoseMissingReleases()
532 if (State->getStateManager() in diagnoseMissingReleases()
866 SymbolSet::Factory &F = State->getStateManager().get_context<SymbolSet>(); in removeValueRequiringRelease()
HDReturnValueChecker.cpp128 CallEventManager &CMgr = C.getStateManager().getCallEventManager(); in checkEndFunction()
HDAnalysisOrderChecker.cpp58 AnalyzerOptions &Opts = State->getStateManager().getOwningEngine() in isCallbackEnabled()
HDStdLibraryFunctionsChecker.cpp242 ProgramStateManager &Mgr = State->getStateManager(); in applyAsOutOfRange()
270 ProgramStateManager &Mgr = State->getStateManager(); in applyAsWithinRange()
321 ProgramStateManager &Mgr = State->getStateManager(); in applyAsComparesToArgument()
HDTrustNonnullChecker.cpp218 SValBuilder &SVB = InputState->getStateManager().getSValBuilder(); in addImplication()
HDObjCSuperDeallocChecker.cpp239 ASTContext &Ctx = M.getState()->getStateManager().getContext(); in isSuperDeallocMessage()
/freebsd-11-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/BugReporter/
HDBugReporter.h675 ProgramStateManager &getStateManager() const;
702 ProgramStateManager& getStateManager() const { in getStateManager() function
703 return BR.getStateManager(); in getStateManager()
/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/
HDRetainCountDiagnostics.cpp215 CallEventManager &Mgr = CurrSt->getStateManager().getCallEventManager(); in generateDiagnosticsForCallLike()
463 CallEventManager &CEMgr = BRC.getStateManager().getCallEventManager(); in VisitNode()
736 AllocationInfo AllocI = GetAllocationSite(BRC.getStateManager(), EndN, Sym); in getEndPath()
861 GetAllocationSite(Ctx.getStateManager(), getErrorNode(), sym); in deriveAllocLocation()
/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/UninitializedObject/
HDUninitializedObjectChecker.cpp250 if (State->getStateManager().getContext().getSourceManager().isInSystemHeader( in addFieldToUninits()
539 ASTContext &AC = State->getStateManager().getContext(); in hasUnguardedAccess()

12