Home
last modified time | relevance | path

Searched defs:SVB (Results 1 – 25 of 35) sorted by relevance

12

/freebsd-13-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
HDDynamicExtent.cpp29 const MemRegion *MR, SValBuilder &SVB) { in getDynamicExtent()
40 DefinedOrUnknownSVal getElementExtent(QualType Ty, SValBuilder &SVB) { in getElementExtent()
45 static DefinedOrUnknownSVal getConstantArrayElementCount(SValBuilder &SVB, in getConstantArrayElementCount()
63 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in getDynamicElementCount() local
73 SValBuilder &SVB, in getDynamicElementCount()
87 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in getDynamicExtentWithOffset() local
113 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in getDynamicElementCountWithOffset() local
123 DefinedOrUnknownSVal Size, SValBuilder &SVB) { in setDynamicExtent()
HDCallEvent.cpp401 const ParmVarDecl *Parameter, SValBuilder &SVB) { in processArgument()
436 SVal ArgVal, SValBuilder &SVB) { in castArgToParamTypeIfNeeded()
463 SValBuilder &SVB, in addParameterValuesToBindings()
618 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents() local
741 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getCXXThisVal() local
824 SValBuilder &SVB = StateMgr.getSValBuilder(); in getInitialStackFrameContents() local
899 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents() local
942 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents() local
1389 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents() local
1442 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in getCaller() local
[all …]
HDSimpleSValBuilder.cpp236 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in isInRelation() local
253 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in isWithinConstantOverflowBounds() local
296 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in doRearrangeUnchecked() local
370 SValBuilder &SVB = StateMgr.getSValBuilder(); in tryRearrange() local
725 SimpleSValBuilder &SVB) { in evalBinOpFieldRegionFieldRegion()
1269 SValBuilder &SVB; in simplifySValOnce() member in SimpleSValBuilder::simplifySValOnce::Simplifier
HDSimpleConstraintManager.cpp31 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in assumeInternal() local
HDRangedConstraintManager.cpp236 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in simplifyToSVal() local
HDExprEngineCXX.cpp102 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in makeElementRegion() local
126 SValBuilder &SVB = getSValBuilder(); in computeObjectUnderConstruction() local
/freebsd-13-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
HDErrnoTesterChecker.cpp108 SValBuilder &SVB = C.getSValBuilder(); in evalSetErrnoIfError() local
125 SValBuilder &SVB = C.getSValBuilder(); in evalSetErrnoIfErrorRange() local
147 SValBuilder &SVB = C.getSValBuilder(); in evalSetErrnoCheckState() local
HDVLASizeChecker.cpp96 SValBuilder &SVB = C.getSValBuilder(); in checkVLA() local
182 SValBuilder &SVB = C.getSValBuilder(); in checkVLAIndexSize() local
269 SValBuilder &SVB = C.getSValBuilder(); in checkPreStmt() local
HDArrayBoundCheckerV2.cpp171 computeOffset(ProgramStateRef State, SValBuilder &SVB, SVal Location) { in computeOffset()
273 static bool isNegative(SValBuilder &SVB, ProgramStateRef State, NonLoc Value) { in isNegative()
278 static bool isUnsigned(SValBuilder &SVB, NonLoc Value) { in isUnsigned()
292 SValBuilder &SVB, bool CheckEquality = false) { in compareValueToThreshold()
562 SValBuilder &SVB = C.getSValBuilder(); in performCheck() local
HDContainerModeling.cpp326 auto &SVB = C.getSValBuilder(); in handleAssignment() local
440 auto &SVB = C.getSValBuilder(); in handlePushBack() local
469 auto &SVB = C.getSValBuilder(); in handlePopBack() local
514 auto &SVB = C.getSValBuilder(); in handlePushFront() local
551 auto &SVB = C.getSValBuilder(); in handlePopFront() local
676 auto &SVB = C.getSValBuilder(); in handleEraseAfter() local
1013 ProgramStateRef State, SValBuilder &SVB, SymbolRef OldSym, in rebaseSymbolInIteratorPositionsIf()
1028 SymbolRef rebaseSymbol(ProgramStateRef State, SValBuilder &SVB, in rebaseSymbol()
HDIterator.cpp230 auto &SVB = State->getStateManager().getSValBuilder(); in advancePosition() local
265 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in assumeNoOverflow() local
304 auto &SVB = State->getStateManager().getSValBuilder(); in compare() local
HDBuiltinFunctionChecker.cpp130 SValBuilder &SVB = C.getSValBuilder(); in evalCall() local
HDErrnoModeling.cpp115 SValBuilder &SVB = C.getSValBuilder(); in checkBeginFunction() local
246 SValBuilder &SVB = C.getSValBuilder(); in setErrnoForStdFailure() local
HDCXXSelfAssignmentChecker.cpp48 auto &SVB = C.getSValBuilder(); in checkBeginFunction() local
HDSTLAlgorithmModeling.cpp132 auto &SVB = C.getSValBuilder(); in Find() local
HDBitwiseShiftChecker.cpp140 SValBuilder &SVB = Ctx.getSValBuilder(); in assumeRequirement() local
179 SValBuilder &SVB = Ctx.getSValBuilder(); in checkOvershift() local
HDEnumCastOutOfRangeChecker.cpp40 SValBuilder &SVB; member in __anon35bbe9360111::ConstraintBasedEQEvaluator
HDPointerSubChecker.cpp68 SValBuilder &SVB = C.getSValBuilder(); in checkArrayBounds() local
HDIteratorModeling.cpp257 auto &SVB = C.getSValBuilder(); in checkPostStmt() local
647 auto &SVB = C.getSValBuilder(); in handlePtrIncrOrDecr() local
787 auto &SVB = State->getStateManager().getSValBuilder(); in relateSymbols() local
HDSetgidSetuidOrderChecker.cpp93 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in evalAssume() local
HDTrustNonnullChecker.cpp217 SValBuilder &SVB = InputState->getStateManager().getSValBuilder(); in addImplication() local
HDMIGChecker.cpp236 SValBuilder &SVB = C.getSValBuilder(); in mayBeSuccess() local
HDVirtualCallChecker.cpp173 auto &SVB = C.getSValBuilder(); in registerCtorDtorCallInState() local
/freebsd-13-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
HDSimpleConstraintManager.h25 SValBuilder &SVB; variable
HDSMTConstraintManager.h276 SValBuilder &SVB = getSValBuilder(); in REGISTER_TRAIT_WITH_PROGRAMSTATE() local

12