Home
last modified time | relevance | path

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

12

/llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DProgramState.h146 ProgramStateManager &getStateManager() const { in getStateManager() function
709 return getStateManager().ConstraintMgr in assume()
718 return getStateManager().ConstraintMgr in assume()
789 StoreManager &SM = *getStateManager().StoreMgr; in getLValue()
833 return getStateManager().getBasicVals(); in getBasicVals()
837 return getStateManager().getSymbolManager(); in getSymbolManager()
847 return getStateManager().get_context<T>(); in get_context()
858 return getStateManager().remove<T>(this, K, C); in remove()
863 return getStateManager().remove<T>(this); in remove()
868 return getStateManager().set<T>(this, D); in set()
[all …]
H A DCheckerContext.h122 ProgramStateManager &getStateManager() { in getStateManager() function
123 return Eng.getStateManager(); in getStateManager()
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/
H A DProgramState.cpp38 ProgramStateManager &Mgr = s->getStateManager(); in ProgramStateRelease()
117 ProgramStateManager &Mgr = getStateManager(); in bindLoc()
130 ProgramStateManager &Mgr = getStateManager(); in bindDefaultInitial()
139 ProgramStateManager &Mgr = getStateManager(); in bindDefaultZero()
187 ProgramStateManager &Mgr = getStateManager(); in invalidateRegionsImpl()
273 if (const llvm::APSInt *Int = getStateManager() in getSVal()
314 return getStateManager().getPersistentState(NewSt); in BindExpr()
327 ProgramStateManager &SM = getStateManager(); in assumeInBoundDual()
438 return getStateManager().getPersistentState(NewSt); in makeWithStore()
444 return getStateManager().getPersistentState(NewSt); in cloneAsPosteriorlyOverconstrained()
[all …]
H A DCallEvent.cpp73 ASTContext &Ctx = getState()->getStateManager().getContext(); in getResultType()
202 State->getStateManager().getRegionManager().getParamVarRegion( in getParameterLocation()
330 ASTContext &Ctx = getState()->getStateManager().getContext(); in dump()
487 ExprEngine &Engine = getState()->getStateManager().getOwningEngine(); in getReturnValueUnderConstruction()
559 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents()
759 ProgramStateManager &StateMgr = getState()->getStateManager(); in getInitialStackFrameContents()
835 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents()
878 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents()
1325 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents()
1372 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in getCaller()
[all …]
H A DExprEngineCXX.cpp99 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in makeElementRegion()
318 CallEventManager &CEMgr = getStateManager().getCallEventManager(); in computeObjectUnderConstruction()
676 CallEventManager &CEMgr = getStateManager().getCallEventManager(); in handleConstructor()
846 CallEventManager &CEMgr = getStateManager().getCallEventManager(); in VisitCXXDestructor()
876 CallEventManager &CEMgr = getStateManager().getCallEventManager(); in VisitCXXNewAllocatorCall()
969 CallEventManager &CEMgr = getStateManager().getCallEventManager(); in VisitCXXNewExpr()
1070 CallEventManager &CEMgr = getStateManager().getCallEventManager(); in VisitCXXDeleteExpr()
H A DLoopWidening.cpp58 MemRegionManager &MRMgr = PrevState->getStateManager().getRegionManager(); in getWidenedLoopState()
H A DDynamicExtent.cpp59 SValBuilder &SvalBuilder = State->getStateManager().getSValBuilder(); in getDynamicExtentWithOffset()
H A DSimpleSValBuilder.cpp221 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in isInRelation()
238 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in isWithinConstantOverflowBounds()
281 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in doRearrangeUnchecked()
354 ProgramStateManager &StateMgr = State->getStateManager(); in tryRearrange()
749 ASTContext &Ctx = State->getStateManager().getContext(); in assertEqualBitWidths()
1251 : State(State), SVB(State->getStateManager().getSValBuilder()) {} in simplifySValOnce()
H A DConstraintManager.cpp29 State->getStateManager().getRegionManager().getSymbolicRegion(Sym); in getLocFromSymbol()
H A DSimpleConstraintManager.cpp30 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in assumeInternal()
H A DCheckerContext.cpp129 ProgramStateManager &Mgr = State->getStateManager(); in evalComparison()
H A DBugReporterVisitors.cpp295 ProgramStateManager &Mgr = N->getState()->getStateManager(); in wasRegionOfInterestModifiedAt()
453 BR.getStateManager().getCallEventManager().getCaller(SCtx, State); in VisitNode()
1137 ProgramStateManager &StateMgr = BRC.getStateManager(); in visitNodeMaybeUnsuppress()
1474 ProgramStateManager &StateMgr = BRC.getStateManager(); in VisitNode()
1526 const StoreManager &SM = BRC.getStateManager().getStoreManager(); in VisitNode()
1572 BRC.getStateManager().iterBindings(NodeWithoutBinding->getState(), FB); in VisitNode()
2691 !BRC.getStateManager().haveEqualConstraints(CurrentState, PrevState) || in VisitTrueTest()
3204 CallEventManager &CEMgr = BRC.getStateManager().getCallEventManager(); in VisitNode()
H A DExprEngineObjC.cpp150 CallEventManager &CEMgr = getStateManager().getCallEventManager(); in VisitObjCMessage()
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/
H A DIterator.cpp214 auto &StateMgr = State->getStateManager(); in createIteratorPosition()
231 auto &SymMgr = State->getStateManager().getSymbolManager(); in advancePosition()
232 auto &SVB = State->getStateManager().getSValBuilder(); in advancePosition()
233 auto &BVF = State->getStateManager().getBasicVals(); in advancePosition()
267 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in assumeNoOverflow()
306 auto &SVB = State->getStateManager().getSValBuilder(); in compare()
H A DChrootChecker.cpp81 ProgramStateManager &Mgr = state->getStateManager(); in evalChroot()
91 ProgramStateManager &Mgr = state->getStateManager(); in evalChdir()
H A DInnerPointerChecker.cpp242 PtrSet::Factory &F = State->getStateManager().get_context<PtrSet>(); in checkPostCall()
262 PtrSet::Factory &F = State->getStateManager().get_context<PtrSet>(); in checkDeadSymbols()
H A DCheckObjCDealloc.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()
H A DReturnValueChecker.cpp129 CallEventManager &CMgr = C.getStateManager().getCallEventManager(); in checkEndFunction()
H A DTrustNonnullChecker.cpp218 SValBuilder &SVB = InputState->getStateManager().getSValBuilder(); in addImplication()
H A DAnalysisOrderChecker.cpp55 AnalyzerOptions &Opts = State->getStateManager().getOwningEngine() in isCallbackEnabled()
H A DObjCSuperDeallocChecker.cpp240 ASTContext &Ctx = M.getState()->getStateManager().getContext(); in isSuperDeallocMessage()
/llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/BugReporter/
H A DBugReporter.h686 ProgramStateManager &getStateManager() const;
713 ProgramStateManager& getStateManager() const { in getStateManager() function
714 return BR.getStateManager(); in getStateManager()
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/
H A DRetainCountDiagnostics.cpp215 CallEventManager &Mgr = CurrSt->getStateManager().getCallEventManager(); in generateDiagnosticsForCallLike()
462 CallEventManager &CEMgr = BRC.getStateManager().getCallEventManager(); in VisitNode()
887 GetAllocationSite(Ctx.getStateManager(), getErrorNode(), Sym); in deriveAllocLocation()
959 getAllVarBindingsForSymbol(Ctx.getStateManager(), Node, Sym); in findBindingToReport()
/llvm-project-15.0.7/clang/unittests/StaticAnalyzer/
H A DNoStateChangeFuncVisitorTest.cpp72 N->getState()->getStateManager().getContext().getSourceManager()); in maybeEmitNoteForParameters()
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/UninitializedObject/
H A DUninitializedObjectChecker.cpp248 if (State->getStateManager().getContext().getSourceManager().isInSystemHeader( in addFieldToUninits()
537 ASTContext &AC = State->getStateManager().getContext(); in hasUnguardedAccess()

12