Home
last modified time | relevance | path

Searched refs:getSValBuilder (Results 1 – 25 of 59) sorted by relevance

123

/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DSmartPtrModeling.cpp305 const auto PtrVal = C.getSValBuilder().getConjuredHeapSymbolVal( in evalCall()
364 C.getSValBuilder().makeZeroVal(Call.getResultType()))); in evalCall()
387 auto NullVal = C.getSValBuilder().makeNullWithType(ThisType); in evalCall()
442 auto Val = C.getSValBuilder().conjureSymbolVal(Elem, C.getLocationContext(), in retrieveOrConjureInnerPtrVal()
488 auto &Bldr = C.getSValBuilder(); in handleComparisionOp()
647 auto ValueToUpdate = C.getSValBuilder().makeNullWithType(ThisType); in handleRelease()
753 auto NullVal = C.getSValBuilder().makeNullWithType(ThisType); in handleAssignOp()
788 auto NullVal = C.getSValBuilder().makeNullWithType(ThisType); in updateMovedSmartPointers()
815 auto NullVal = C.getSValBuilder().makeNullWithType(ThisType); in updateMovedSmartPointers()
854 InnerPointerVal = C.getSValBuilder().conjureSymbolVal( in handleBoolConversion()
[all …]
H A DDebugIteratorModeling.cpp97 auto &BVF = C.getSValBuilder().getBasicValueFactory(); in analyzerIteratorPosition()
105 auto &BVF = C.getSValBuilder().getBasicValueFactory(); in analyzerIteratorContainer()
113 auto &BVF = C.getSValBuilder().getBasicValueFactory(); in analyzerIteratorValidity()
H A DErrnoTesterChecker.cpp108 SValBuilder &SVB = C.getSValBuilder(); in evalSetErrnoIfError()
125 SValBuilder &SVB = C.getSValBuilder(); in evalSetErrnoIfErrorRange()
146 SValBuilder &SVB = C.getSValBuilder(); in evalSetErrnoCheckState()
H A DCStringChecker.cpp370 SValBuilder &svalBuilder = C.getSValBuilder(); in REGISTER_MAP_WITH_PROGRAMSTATE()
407 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in getIndex()
459 SValBuilder &SVB = C.getSValBuilder(); in checkInit()
580 getDynamicExtent(state, superReg, C.getSValBuilder()); in CheckLocation()
610 SValBuilder &svalBuilder = C.getSValBuilder(); in CheckBufferAccess()
705 SValBuilder &svalBuilder = C.getSValBuilder(); in CheckOverlap()
919 SValBuilder &svalBuilder = C.getSValBuilder(); in checkAdditionOverflow()
1016 SValBuilder &svalBuilder = C.getSValBuilder(); in getCStringLengthForRegion()
1076 SValBuilder &svalBuilder = C.getSValBuilder(); in getCStringLength()
1088 SValBuilder &SvalBuilder = C.getSValBuilder(); in getCStringLength()
[all …]
H A DBuiltinFunctionChecker.cpp155 SValBuilder &SVB = C.getSValBuilder(); in checkOverflow()
178 SValBuilder &SVB = C.getSValBuilder(); in initStateAftetBuiltinOverflow()
206 SValBuilder &SVB = C.getSValBuilder(); in handleOverflowBuiltin()
322 SValBuilder &SVB = C.getSValBuilder(); in evalCall()
H A DCastValueChecker.cpp252 SVal V = CastSucceeds ? C.getSValBuilder().evalCast(DV, CastToTy, CastFromTy) in addCastTransition()
253 : C.getSValBuilder().makeNullWithType(CastToTy); in addCastTransition()
318 C.getSValBuilder().makeTruthVal(true)), in addInstanceOfTransition()
332 C.getSValBuilder().makeTruthVal(false)), in addInstanceOfTransition()
362 C.getSValBuilder().makeNullWithType( in evalNullParamNullReturn()
H A DErrnoModeling.cpp113 SValBuilder &SVB = C.getSValBuilder(); in checkBeginFunction()
198 C.getSValBuilder().makeIntVal(Value, C.getASTContext().IntTy), in setErrnoValue()
244 SValBuilder &SVB = C.getSValBuilder(); in setErrnoForStdFailure()
H A DIterator.cpp231 auto &SVB = State->getStateManager().getSValBuilder(); in advancePosition()
266 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in assumeNoOverflow()
305 auto &SVB = State->getStateManager().getSValBuilder(); in compare()
H A DIteratorRangeChecker.cpp134 auto &BVF = C.getSValBuilder().getBasicValueFactory(); in checkPreCall()
209 auto &BVF = C.getSValBuilder().getBasicValueFactory(); in verifyIncrement()
215 auto &BVF = C.getSValBuilder().getBasicValueFactory(); in verifyDecrement()
H A DCXXSelfAssignmentChecker.cpp48 auto &SVB = C.getSValBuilder(); in checkBeginFunction()
H A DContainerModeling.cpp330 auto &SVB = C.getSValBuilder(); in handleAssignment()
444 auto &SVB = C.getSValBuilder(); in handlePushBack()
473 auto &SVB = C.getSValBuilder(); in handlePopBack()
518 auto &SVB = C.getSValBuilder(); in handlePushFront()
555 auto &SVB = C.getSValBuilder(); in handlePopFront()
680 auto &SVB = C.getSValBuilder(); in handleEraseAfter()
H A DVLASizeChecker.cpp94 SValBuilder &SVB = C.getSValBuilder(); in checkVLA()
180 SValBuilder &SVB = C.getSValBuilder(); in checkVLAIndexSize()
H A DBoolAssignmentChecker.cpp83 BasicValueFactory &BVF = C.getSValBuilder().getBasicValueFactory(); in checkBind()
H A DBitwiseShiftChecker.cpp138 SValBuilder &SVB = Ctx.getSValBuilder(); in assumeRequirement()
177 SValBuilder &SVB = Ctx.getSValBuilder(); in checkOvershift()
H A DUnixAPIChecker.cpp277 NonLoc ocreateFlag = C.getSValBuilder() in CheckOpenVariant()
280 SVal maskedFlagsUC = C.getSValBuilder().evalBinOpNN(state, BO_And, in CheckOpenVariant()
360 auto &SVB = C.getSValBuilder(); in EnsureGetdelimBufferAndSizeCorrect()
H A DUndefResultChecker.cpp54 state, ER->getSuperRegion(), C.getSValBuilder(), ER->getValueType()); in isArrayIndexOutOfBounds()
H A DDebugContainerModeling.cpp107 auto &BVF = C.getSValBuilder().getBasicValueFactory(); in analyzerContainerDataField()
H A DCastSizeChecker.cpp115 SValBuilder &svalBuilder = C.getSValBuilder(); in checkPreStmt()
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DDynamicExtent.cpp62 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in getDynamicElementCount()
86 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in getDynamicExtentWithOffset()
112 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in getDynamicElementCountWithOffset()
H A DCheckerContext.cpp152 SValBuilder &Bldr = Mgr.getSValBuilder(); in evalComparison()
163 DefinedSVal V = getSValBuilder().makeIntVal(Val, getASTContext().LongLongTy); in isGreaterOrEqual()
168 DefinedSVal V = getSValBuilder().makeIntVal(0, false); in isNegative()
H A DSMTConstraintManager.cpp16 return std::make_unique<SMTConstraintManager>(Eng, StMgr.getSValBuilder()); in CreateZ3ConstraintManager()
H A DCallEvent.cpp617 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents()
751 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getCXXThisVal()
836 SValBuilder &SVB = StateMgr.getSValBuilder(); in getInitialStackFrameContents()
911 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents()
962 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents()
1409 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents()
1462 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in getCaller()
1486 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in getCaller()
/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DCheckerContext.h118 SValBuilder &getSValBuilder() { in getSValBuilder() function
119 return Eng.getSValBuilder(); in getSValBuilder()
123 return getSValBuilder().getSymbolManager(); in getSymbolManager()
H A DSimpleConstraintManager.h78 SValBuilder &getSValBuilder() const { return SVB; } in getSValBuilder() function
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/
H A DMPIChecker.cpp163 Ctx.getState(), SuperRegion, Ctx.getSValBuilder(), in allRegionsUsedByWait()
169 const NonLoc Idx = Ctx.getSValBuilder().makeArrayIndex(i); in allRegionsUsedByWait()

123