| /freebsd-12-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | ProgramState.h | 110 ProgramStateManager &getStateManager() const { in getStateManager() function
663 return getStateManager().getRegionManager().getVarRegion(D, LC); in getRegion()
671 return getStateManager().ConstraintMgr in assume()
680 return getStateManager().ConstraintMgr in assume()
692 return getStateManager().ConstraintMgr->assumeInclusiveRange( in assumeInclusiveRange()
705 return getStateManager().ConstraintMgr->assumeInclusiveRangeDual( in assumeInclusiveRange()
719 getStateManager().getRegionManager().getCXXBaseObjectRegion( in getLValue()
727 getStateManager().getRegionManager().getCXXBaseObjectRegion( in getLValue()
733 return getStateManager().StoreMgr->getLValueVar(VD, LC); in getLValue()
738 return getStateManager().StoreMgr->getLValueCompoundLiteral(literal, LC); in getLValue()
[all …]
|
| D | CheckerContext.h | 120 ProgramStateManager &getStateManager() { in getStateManager() function
121 return Eng.getStateManager(); in getStateManager()
|
| /freebsd-12-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| D | ProgramState.cpp | 38 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()
277 if (const llvm::APSInt *Int = getStateManager() in getSVal()
311 getStateManager().EnvMgr.bindExpr(Env, EnvironmentEntry(S, LCtx), V, in BindExpr()
[all …]
|
| D | CallEvent.cpp | 72 ASTContext &Ctx = getState()->getStateManager().getContext(); in getResultType()
220 State->getStateManager().getRegionManager().getParamVarRegion( in getParameterLocation()
344 CD.II = &getState()->getStateManager().getContext().Idents.get( in isCalled()
406 ASTContext &Ctx = getState()->getStateManager().getContext(); in dump()
566 ExprEngine &Engine = getState()->getStateManager().getOwningEngine(); in getReturnValueUnderConstruction()
602 ExprEngine &Engine = getState()->getStateManager().getOwningEngine(); in getRuntimeDefinition()
630 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents()
830 ProgramStateManager &StateMgr = getState()->getStateManager(); in getInitialStackFrameContents()
905 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents()
948 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents()
[all …]
|
| D | ExprEngineCXX.cpp | 100 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in makeZeroElementRegion()
295 CallEventManager &CEMgr = getStateManager().getCallEventManager(); in computeObjectUnderConstruction()
573 CallEventManager &CEMgr = getStateManager().getCallEventManager(); in handleConstructor()
743 CallEventManager &CEMgr = getStateManager().getCallEventManager(); in VisitCXXDestructor()
773 CallEventManager &CEMgr = getStateManager().getCallEventManager(); in VisitCXXNewAllocatorCall()
866 CallEventManager &CEMgr = getStateManager().getCallEventManager(); in VisitCXXNewExpr()
945 CallEventManager &CEMgr = getStateManager().getCallEventManager(); in VisitCXXDeleteExpr()
|
| D | ConstraintManager.cpp | 28 State->getStateManager().getRegionManager().getSymbolicRegion(Sym); in getLocFromSymbol()
|
| D | DynamicExtent.cpp | 59 SValBuilder &SvalBuilder = State->getStateManager().getSValBuilder(); in getDynamicExtentWithOffset()
|
| D | LoopWidening.cpp | 59 MemRegionManager &MRMgr = PrevState->getStateManager().getRegionManager(); in getWidenedLoopState()
|
| D | SimpleSValBuilder.cpp | 183 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in isInRelation()
200 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in isWithinConstantOverflowBounds()
243 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in doRearrangeUnchecked()
317 ProgramStateManager &StateMgr = State->getStateManager(); in tryRearrange()
1144 : State(State), SVB(State->getStateManager().getSValBuilder()) {} in simplifySVal()
|
| D | CheckerContext.cpp | 109 ProgramStateManager &Mgr = State->getStateManager(); in evalComparison()
|
| D | SimpleConstraintManager.cpp | 30 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in assume()
|
| D | BugReporterVisitors.cpp | 291 ProgramStateManager &Mgr = N->getState()->getStateManager(); in wasRegionOfInterestModifiedAt()
580 BR.getStateManager().getCallEventManager().getCaller(SCtx, State); in VisitNode()
1084 ProgramStateManager &StateMgr = BRC.getStateManager(); in visitNodeMaybeUnsuppress()
1421 ProgramStateManager &StateMgr = BRC.getStateManager(); in VisitNode()
1473 const StoreManager &SM = BRC.getStateManager().getStoreManager(); in VisitNode()
1519 BRC.getStateManager().iterBindings(NodeWithoutBinding->getState(), FB); in VisitNode()
2610 !BRC.getStateManager().haveEqualConstraints(CurrentState, PrevState) || in VisitTrueTest()
3123 CallEventManager &CEMgr = BRC.getStateManager().getCallEventManager(); in VisitNode()
|
| D | ExprEngineObjC.cpp | 150 CallEventManager &CEMgr = getStateManager().getCallEventManager(); in VisitObjCMessage()
|
| D | RangedConstraintManager.cpp | 230 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in simplify()
|
| /freebsd-12-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| D | Iterator.cpp | 214 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()
|
| D | ChrootChecker.cpp | 80 ProgramStateManager &Mgr = state->getStateManager(); in evalChroot()
90 ProgramStateManager &Mgr = state->getStateManager(); in evalChdir()
|
| D | InnerPointerChecker.cpp | 245 PtrSet::Factory &F = State->getStateManager().get_context<PtrSet>(); in checkPostCall()
265 PtrSet::Factory &F = State->getStateManager().get_context<PtrSet>(); in checkDeadSymbols()
|
| D | CheckObjCDealloc.cpp | 269 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()
|
| D | ReturnValueChecker.cpp | 128 CallEventManager &CMgr = C.getStateManager().getCallEventManager(); in checkEndFunction()
|
| D | TrustNonnullChecker.cpp | 218 SValBuilder &SVB = InputState->getStateManager().getSValBuilder(); in addImplication()
|
| D | AnalysisOrderChecker.cpp | 55 AnalyzerOptions &Opts = State->getStateManager().getOwningEngine() in isCallbackEnabled()
|
| D | ObjCSuperDeallocChecker.cpp | 240 ASTContext &Ctx = M.getState()->getStateManager().getContext(); in isSuperDeallocMessage()
|
| /freebsd-12-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
| D | BugReporter.h | 688 ProgramStateManager &getStateManager() const;
715 ProgramStateManager& getStateManager() const { in getStateManager() function
716 return BR.getStateManager(); in getStateManager()
|
| /freebsd-12-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/ |
| D | RetainCountDiagnostics.cpp | 218 CallEventManager &Mgr = CurrSt->getStateManager().getCallEventManager(); in generateDiagnosticsForCallLike()
468 CallEventManager &CEMgr = BRC.getStateManager().getCallEventManager(); in VisitNode()
893 GetAllocationSite(Ctx.getStateManager(), getErrorNode(), Sym); in deriveAllocLocation()
965 getAllVarBindingsForSymbol(Ctx.getStateManager(), Node, Sym); in findBindingToReport()
|
| /freebsd-12-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/UninitializedObject/ |
| D | UninitializedObjectChecker.cpp | 250 if (State->getStateManager().getContext().getSourceManager().isInSystemHeader( in addFieldToUninits()
539 ASTContext &AC = State->getStateManager().getContext(); in hasUnguardedAccess()
|