Home
last modified time | relevance | path

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

12

/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DSmartPtrModeling.cpp308 const auto PtrVal = C.getSValBuilder().getConjuredHeapSymbolVal( in evalCall()
367 C.getSValBuilder().makeZeroVal(Call.getResultType()))); in evalCall()
390 auto NullVal = C.getSValBuilder().makeNullWithType(ThisType); in evalCall()
445 auto Val = C.getSValBuilder().conjureSymbolVal(E, C.getLocationContext(), in retrieveOrConjureInnerPtrVal()
490 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()
855 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()
147 SValBuilder &SVB = C.getSValBuilder(); in evalSetErrnoCheckState()
H A DCStringChecker.cpp369 SValBuilder &svalBuilder = C.getSValBuilder(); in REGISTER_MAP_WITH_PROGRAMSTATE()
406 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in getIndex()
458 SValBuilder &SVB = C.getSValBuilder(); in checkInit()
575 getDynamicExtent(state, superReg, C.getSValBuilder()); in CheckLocation()
605 SValBuilder &svalBuilder = C.getSValBuilder(); in CheckBufferAccess()
700 SValBuilder &svalBuilder = C.getSValBuilder(); in CheckOverlap()
913 SValBuilder &svalBuilder = C.getSValBuilder(); in checkAdditionOverflow()
1010 SValBuilder &svalBuilder = C.getSValBuilder(); in getCStringLengthForRegion()
1070 SValBuilder &svalBuilder = C.getSValBuilder(); in getCStringLength()
1082 SValBuilder &SvalBuilder = C.getSValBuilder(); in getCStringLength()
[all …]
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.cpp115 SValBuilder &SVB = C.getSValBuilder(); in checkBeginFunction()
200 C.getSValBuilder().makeIntVal(Value, C.getASTContext().IntTy), in setErrnoValue()
246 SValBuilder &SVB = C.getSValBuilder(); in setErrnoForStdFailure()
H A DVLASizeChecker.cpp96 SValBuilder &SVB = C.getSValBuilder(); in checkVLA()
182 SValBuilder &SVB = C.getSValBuilder(); in checkVLAIndexSize()
269 SValBuilder &SVB = C.getSValBuilder(); in checkPreStmt()
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 DContainerModeling.cpp326 auto &SVB = C.getSValBuilder(); in handleAssignment()
440 auto &SVB = C.getSValBuilder(); in handlePushBack()
469 auto &SVB = C.getSValBuilder(); in handlePopBack()
514 auto &SVB = C.getSValBuilder(); in handlePushFront()
551 auto &SVB = C.getSValBuilder(); in handlePopFront()
676 auto &SVB = C.getSValBuilder(); in handleEraseAfter()
H A DCXXSelfAssignmentChecker.cpp48 auto &SVB = C.getSValBuilder(); in checkBeginFunction()
H A DBoolAssignmentChecker.cpp83 BasicValueFactory &BVF = C.getSValBuilder().getBasicValueFactory(); in checkBind()
H A DUnixAPIChecker.cpp278 NonLoc ocreateFlag = C.getSValBuilder() in CheckOpenVariant()
281 SVal maskedFlagsUC = C.getSValBuilder().evalBinOpNN(state, BO_And, in CheckOpenVariant()
354 auto &SVB = C.getSValBuilder(); in EnsureGetdelimBufferAndSizeCorrect()
H A DMallocChecker.cpp1107 NonLoc ZeroFlag = C.getSValBuilder() in performKernelMalloc()
1110 SVal MaskedFlagsUC = C.getSValBuilder().evalBinOpNN(State, BO_And, in performKernelMalloc()
1123 SVal ZeroVal = C.getSValBuilder().makeZeroVal(Ctx.CharTy); in performKernelMalloc()
1133 SValBuilder &SB = C.getSValBuilder(); in evalMulForBufferSize()
1305 SValBuilder &svalBuilder = C.getSValBuilder(); in checkGMalloc0()
1335 SValBuilder &SB = C.getSValBuilder(); in checkGMallocN0()
1387 SValBuilder &SVB = C.getSValBuilder(); in checkGetdelim()
1505 SValBuilder &SvalBuilder = State->getStateManager().getSValBuilder(); in ProcessZeroAllocCheck()
1723 SValBuilder &SVB = C.getSValBuilder(); in checkTaintedness()
1769 SValBuilder &SVB = C.getSValBuilder(); in MallocMemAux()
[all …]
H A DDebugContainerModeling.cpp107 auto &BVF = C.getSValBuilder().getBasicValueFactory(); in analyzerContainerDataField()
H A DBuiltinFunctionChecker.cpp130 SValBuilder &SVB = C.getSValBuilder(); in evalCall()
H A DCastSizeChecker.cpp113 SValBuilder &svalBuilder = C.getSValBuilder(); in checkPreStmt()
H A DPointerSubChecker.cpp68 SValBuilder &SVB = C.getSValBuilder(); in checkArrayBounds()
H A DStreamChecker.cpp231 return C.getSValBuilder() in makeRetVal()
248 C.getSValBuilder().makeIntVal(Value, CE->getType())); in bindInt()
644 : SVB(C.getSValBuilder()), ACtx(C.getASTContext()) { in StreamOperationEvaluator()
697 C.getSValBuilder().makeNullWithType(CE->getType())); in bindNullReturnValue()
810 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in getKnownValue()
830 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in escapeByStartIndexAndCount()
965 C.getSValBuilder().makeNullWithType(CE->getType())); in evalFreopen()
1079 getStartIndex(C.getSValBuilder(), Buffer); in tryToInvalidateFReadBufferByElements()
H A DSTLAlgorithmModeling.cpp132 auto &SVB = C.getSValBuilder(); in Find()
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
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.cpp618 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents()
741 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getCXXThisVal()
824 SValBuilder &SVB = StateMgr.getSValBuilder(); in getInitialStackFrameContents()
899 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents()
942 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents()
1389 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents()
1442 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in getCaller()
1466 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in getCaller()
/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DCheckerContext.h115 SValBuilder &getSValBuilder() { in getSValBuilder() function
116 return Eng.getSValBuilder(); in getSValBuilder()
120 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.cpp165 Ctx.getState(), SuperRegion, Ctx.getSValBuilder(), in allRegionsUsedByWait()
171 const NonLoc Idx = Ctx.getSValBuilder().makeArrayIndex(i); in allRegionsUsedByWait()

12