Home
last modified time | relevance | path

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

12

/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DProgramState.h147 ProgramStateManager &getStateManager() const { in getStateManager() function
705 return getStateManager().getRegionManager().getVarRegion(D, LC); in getRegion()
713 return getStateManager().ConstraintMgr in assume()
722 return getStateManager().ConstraintMgr in assume()
734 return getStateManager().ConstraintMgr->assumeInclusiveRange( in assumeInclusiveRange()
747 return getStateManager().ConstraintMgr->assumeInclusiveRangeDual( in assumeInclusiveRange()
761 getStateManager().getRegionManager().getCXXBaseObjectRegion( in getLValue()
769 getStateManager().getRegionManager().getCXXBaseObjectRegion( in getLValue()
775 return getStateManager().StoreMgr->getLValueVar(VD, LC); in getLValue()
780 return getStateManager().StoreMgr->getLValueCompoundLiteral(literal, LC); in getLValue()
[all …]
H A DCheckerContext.h123 ProgramStateManager &getStateManager() { in getStateManager() function
124 return Eng.getStateManager(); in getStateManager()
H A DCallEvent.h270 getState()->getStateManager().getContext().getSourceManager(); in isInSystemHeader()
1481 CallEventManager &Mgr = State->getStateManager().getCallEventManager(); in cloneWithState()
1497 CallEventManager &Mgr = State->getStateManager().getCallEventManager(); in Release()
H A DSValBuilder.h151 ProgramStateManager &getStateManager() { return StateMgr; } in getStateManager() function
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DProgramState.cpp39 ProgramStateManager &Mgr = s->getStateManager(); in ProgramStateRelease()
69 return getStateManager().Alloc.identifyKnownAlignedObject<ProgramState>(this); in getID()
118 ProgramStateManager &Mgr = getStateManager(); in bindLoc()
131 ProgramStateManager &Mgr = getStateManager(); in bindDefaultInitial()
140 ProgramStateManager &Mgr = getStateManager(); in bindDefaultZero()
187 ProgramStateManager &Mgr = getStateManager(); in invalidateRegionsImpl()
221 getStateManager().StoreMgr->killBinding(OldStore, LV); in killBinding()
238 StoreManager &SM = getStateManager().getStoreManager(); in wrapSymbolicRegion()
247 getStateManager().StoreMgr->enterStackFrame(getStore(), Call, CalleeCtx); in enterStackFrame()
285 if (const llvm::APSInt *Int = getStateManager() in getSVal()
[all …]
H A DCallEvent.cpp72 ASTContext &Ctx = getState()->getStateManager().getContext(); in getResultType()
201 State->getStateManager().getRegionManager().getParamVarRegion( in getParameterLocation()
332 ASTContext &Ctx = getState()->getStateManager().getContext(); in dump()
529 CallEventManager &CEMgr = State->getStateManager().getCallEventManager(); in getCaller()
546 ExprEngine &Engine = getState()->getStateManager().getOwningEngine(); in getReturnValueUnderConstruction()
578 ExprEngine &Engine = getState()->getStateManager().getOwningEngine(); in getRuntimeDefinition()
618 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents()
741 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getCXXThisVal()
823 ProgramStateManager &StateMgr = getState()->getStateManager(); in getInitialStackFrameContents()
899 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents()
[all …]
H A DExprEngineCXX.cpp102 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in makeElementRegion()
336 CallEventManager &CEMgr = getStateManager().getCallEventManager(); in computeObjectUnderConstruction()
734 CallEventManager &CEMgr = getStateManager().getCallEventManager(); in handleConstructor()
902 CallEventManager &CEMgr = getStateManager().getCallEventManager(); in VisitCXXDestructor()
931 CallEventManager &CEMgr = getStateManager().getCallEventManager(); in VisitCXXNewAllocatorCall()
1029 CallEventManager &CEMgr = getStateManager().getCallEventManager(); in VisitCXXNewExpr()
1130 CallEventManager &CEMgr = getStateManager().getCallEventManager(); in VisitCXXDeleteExpr()
H A DCheckerContext.cpp144 ProgramStateManager &Mgr = State->getStateManager(); in evalComparison()
H A DRangedConstraintManager.cpp236 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in simplifyToSVal()
H A DBugReporterVisitors.cpp325 ProgramStateManager &Mgr = N->getState()->getStateManager(); in wasRegionOfInterestModifiedAt()
483 BR.getStateManager().getCallEventManager().getCaller(SCtx, State); in VisitNode()
1167 ProgramStateManager &StateMgr = BRC.getStateManager(); in visitNodeMaybeUnsuppress()
1662 ProgramStateManager &StateMgr = BRC.getStateManager(); in VisitNode()
1714 const StoreManager &SM = BRC.getStateManager().getStoreManager(); in VisitNode()
1760 BRC.getStateManager().iterBindings(NodeWithoutBinding->getState(), FB); in VisitNode()
2901 !BRC.getStateManager().haveEqualConstraints(CurrentState, PrevState) || in VisitTrueTest()
3412 CallEventManager &CEMgr = BRC.getStateManager().getCallEventManager(); in VisitNode()
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DChrootChecker.cpp82 ProgramStateManager &Mgr = state->getStateManager(); in evalChroot()
92 ProgramStateManager &Mgr = state->getStateManager(); in evalChdir()
H A DInnerPointerChecker.cpp234 PtrSet::Factory &F = State->getStateManager().get_context<PtrSet>(); in checkPostCall()
254 PtrSet::Factory &F = State->getStateManager().get_context<PtrSet>(); in checkDeadSymbols()
H A DCheckObjCDealloc.cpp275 SymbolSet::Factory &F = State->getStateManager().get_context<SymbolSet>(); in checkBeginFunction()
516 SymbolSet::Factory &F = State->getStateManager().get_context<SymbolSet>(); in diagnoseMissingReleases()
540 if (State->getStateManager() in diagnoseMissingReleases()
857 SymbolSet::Factory &F = State->getStateManager().get_context<SymbolSet>(); in removeValueRequiringRelease()
H A DNoOwnershipChangeVisitor.cpp57 State->getStateManager().getStoreManager().iterBindings(State->getStore(), in getOwnersAtNode()
H A DSetgidSetuidOrderChecker.cpp93 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in evalAssume()
H A DTrustNonnullChecker.cpp217 SValBuilder &SVB = InputState->getStateManager().getSValBuilder(); in addImplication()
H A DGenericTaintChecker.cpp113 const QualType ArgTy = LValue.getType(State->getStateManager().getContext()); in getPointeeOf()
119 return State->getSVal(LValue, State->getStateManager().getContext().CharTy); in getPointeeOf()
994 auto &F = State->getStateManager().get_context<ArgIdxFactory>(); in process()
1123 auto &F = State->getStateManager().get_context<ArgIdxFactory>(); in taintUnsafeSocketProtocol()
H A DAnalysisOrderChecker.cpp55 AnalyzerOptions &Opts = State->getStateManager().getOwningEngine() in isCallbackEnabled()
H A DObjCSuperDeallocChecker.cpp233 ASTContext &Ctx = M.getState()->getStateManager().getContext(); in isSuperDeallocMessage()
H A DErrnoModeling.cpp116 MemRegionManager &RMgr = C.getStateManager().getRegionManager(); in checkBeginFunction()
H A DBlockInCriticalSectionChecker.cpp106 const auto &ASTCtx = Call.getState()->getStateManager().getContext(); in initIdentifierInfo()
H A DTaint.cpp69 State->getStateManager().getStoreManager().getDefaultBinding( in addTaint()
H A DStreamChecker.cpp775 N->getState()->getStateManager().getContext().getSourceManager()); in emitNote()
810 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in getKnownValue()
829 const ASTContext &Ctx = State->getStateManager().getContext(); in escapeByStartIndexAndCount()
830 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in escapeByStartIndexAndCount()
/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/BugReporter/
H A DBugReporter.h701 ProgramStateManager &getStateManager() const;
729 ProgramStateManager& getStateManager() const { in getStateManager() function
730 return BR.getStateManager(); in getStateManager()
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/
H A DRetainCountDiagnostics.cpp215 CallEventManager &Mgr = CurrSt->getStateManager().getCallEventManager(); in generateDiagnosticsForCallLike()
462 CallEventManager &CEMgr = BRC.getStateManager().getCallEventManager(); in VisitNode()
886 GetAllocationSite(Ctx.getStateManager(), getErrorNode(), Sym); in deriveAllocLocation()
958 getAllVarBindingsForSymbol(Ctx.getStateManager(), Node, Sym); in findBindingToReport()

12