Home
last modified time | relevance | path

Searched refs:makeIntVal (Results 1 – 19 of 19) sorted by relevance

/freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSValBuilder.h279 nonloc::ConcreteInt makeIntVal(const IntegerLiteral* integer) { in makeIntVal() function
291 nonloc::ConcreteInt makeIntVal(const llvm::APSInt& integer) { in makeIntVal() function
299 NonLoc makeIntVal(const llvm::APInt& integer, bool isUnsigned) { in makeIntVal() function
303 DefinedSVal makeIntVal(uint64_t integer, QualType type) { in makeIntVal() function
310 NonLoc makeIntVal(uint64_t integer, bool isUnsigned) { in makeIntVal() function
/freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/
H A DBoolAssignmentChecker.cpp84 DefinedSVal zeroVal = svalBuilder.makeIntVal(0, valTy); in checkBind()
120 DefinedSVal OneVal = svalBuilder.makeIntVal(1, valTy); in checkBind()
H A DArrayBoundCheckerV2.cpp99 svalBuilder.makeIntVal(extent.getValue() / constant), in getSimplifiedOffsets()
104 svalBuilder.makeIntVal(extent.getValue() - constant), svalBuilder); in getSimplifiedOffsets()
H A DEnumCastOutOfRangeChecker.cpp46 DefinedOrUnknownSVal EnumDeclValue = SVB.makeIntVal(EnumDeclInitValue); in operator ()()
H A DBuiltinFunctionChecker.cpp111 V = SVB.makeIntVal(Result); in evalCall()
H A DCStringChecker.cpp373 NonLoc One = svalBuilder.makeIntVal(1, sizeTy).castAs<NonLoc>(); in CheckBufferAccess()
638 NonLoc maxVal = svalBuilder.makeIntVal(maxValInt); in checkAdditionOverflow()
744 NonLoc maxLength = svalBuilder.makeIntVal(*maxLengthInt); in getCStringLengthForRegion()
792 return svalBuilder.makeIntVal(strLit->getByteLength(), sizeTy); in getCStringLength()
872 NonLoc One = svalBuilder.makeIntVal(1, sizeTy).castAs<NonLoc>(); in IsFirstBufInBound()
1669 NonLoc one = svalBuilder.makeIntVal(1, sizeTy).castAs<NonLoc>(); in evalStrcpyCommon()
2022 resultVal = svalBuilder.makeIntVal(compareRes, CE->getType()); in evalStrcmpCommon()
2025 DefinedSVal zeroVal = svalBuilder.makeIntVal(0, CE->getType()); in evalStrcmpCommon()
H A DVLASizeChecker.cpp161 SVal EleSizeVal = svalBuilder.makeIntVal(EleSize.getQuantity(), SizeTy); in checkPreStmt()
H A DUnixAPIChecker.cpp205 .makeIntVal(Val_O_CREAT.getValue(), oflagsEx->getType()).castAs<NonLoc>(); in CheckOpenVariant()
H A DBasicObjCFoundationChecks.cpp931 SvalBuilder.makeIntVal(0, (*CountS)->getType()), in assumeCollectionNonEmpty()
H A DMallocChecker.cpp790 .makeIntVal(KernelZeroFlagVal.getValue(), FlagsEx->getType()) in performKernelMalloc()
1129 ElementCount = svalBuilder.makeIntVal(1, true); in addExtentSize()
/freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/
H A DCheckerContext.cpp125 DefinedSVal V = getSValBuilder().makeIntVal(Val, getASTContext().LongLongTy); in isGreaterOrEqual()
130 DefinedSVal V = getSValBuilder().makeIntVal(0, false); in isNegative()
H A DSimpleSValBuilder.cpp128 return makeIntVal(i); in evalCastFromNonLoc()
183 return makeIntVal(i); in evalCastFromLoc()
232 return makeIntVal(0, resultTy); in MakeSymIntVal()
250 return makeIntVal(0, resultTy); in MakeSymIntVal()
264 return makeIntVal(0, resultTy); in MakeSymIntVal()
528 return makeIntVal(0, resultTy); in evalBinOpNN()
529 return evalCastFromNonLoc(makeIntVal(0, /*Unsigned=*/false), resultTy); in evalBinOpNN()
1259 : (SVal)SVB.makeIntVal(*I); in simplifySVal()
1291 RHS = SVB.makeIntVal(S->getRHS()); in simplifySVal()
H A DSValBuilder.cpp58 return makeIntVal(0, type); in makeZeroVal()
313 return makeIntVal(C->getValue(), C->getType()); in getConstantVal()
325 return makeIntVal(cast<IntegerLiteral>(E)); in getConstantVal()
367 return makeIntVal(Result.Val.getInt()); in getConstantVal()
505 makeIntVal(ToTypeMax.isUnsigned() ? ToTypeMax.getZExtValue() in evalIntegralCast()
H A DSVals.cpp256 return svalBuilder.makeIntVal(~getValue()); in evalComplement()
261 return svalBuilder.makeIntVal(-getValue()); in evalMinus()
H A DExprEngineC.cpp670 X = svalBuilder.makeIntVal(constant, B->getType()); in VisitLogicalExpr()
820 SVal X = svalBuilder.makeIntVal(IV); in VisitOffsetOfExpr()
864 svalBuilder.makeIntVal(amt.getQuantity(), in VisitUnaryExprOrTypeTraitExpr()
1074 RHS = svalBuilder.makeIntVal(1, U->getType()); in VisitIncrementDecrementOperator()
H A DExprEngineObjC.cpp76 V = svalBuilder.makeIntVal(0, T); in populateObjCForDestinationSet()
H A DMemRegion.cpp178 return svalBuilder.makeIntVal(size.getQuantity(), sizeTy); in getExtent()
209 return svalBuilder.makeIntVal(getStringLiteral()->getByteLength()+1, in getExtent()
H A DRegionStore.cpp1370 return svalBuilder.makeIntVal(RegionSize / EleSize, in getSizeInElements()
1656 return svalBuilder.makeIntVal(c, T); in getBindingForElement()
2372 svalBuilder.makeIntVal(0, false)); in bindStruct()
H A DExprEngine.cpp2422 SVal V = svalBuilder.makeIntVal(ED->getInitVal()); in VisitCommonDeclRefExpr()
2898 SVal Val = svalBuilder.makeIntVal(1U, Ex->getType()); in evalEagerlyAssumeBinOpBifurcation()
2905 SVal Val = svalBuilder.makeIntVal(0U, Ex->getType()); in evalEagerlyAssumeBinOpBifurcation()