| /freebsd-13.1/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | SValBuilder.h | 300 nonloc::ConcreteInt makeIntVal(const IntegerLiteral* integer) { in makeIntVal() function
312 nonloc::ConcreteInt makeIntVal(const llvm::APSInt& integer) { in makeIntVal() function
320 NonLoc makeIntVal(const llvm::APInt& integer, bool isUnsigned) { in makeIntVal() function
324 DefinedSVal makeIntVal(uint64_t integer, QualType type) { in makeIntVal() function
331 NonLoc makeIntVal(uint64_t integer, bool isUnsigned) { in makeIntVal() function
|
| /freebsd-13.1/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | BuiltinFunctionChecker.cpp | 115 V = SVB.makeIntVal(Result); in evalCall()
123 V = SVB.makeIntVal(0, CE->getType()); in evalCall()
|
| H A D | ArrayBoundCheckerV2.cpp | 101 svalBuilder.makeIntVal(extent.getValue() / constant), in getSimplifiedOffsets()
106 svalBuilder.makeIntVal(extent.getValue() - constant), svalBuilder); in getSimplifiedOffsets()
|
| H A D | EnumCastOutOfRangeChecker.cpp | 45 DefinedOrUnknownSVal EnumDeclValue = SVB.makeIntVal(EnumDeclInitValue); in operator ()()
|
| H A D | CStringChecker.cpp | 409 NonLoc One = svalBuilder.makeIntVal(1, SizeTy).castAs<NonLoc>(); in CheckBufferAccess()
659 NonLoc maxVal = svalBuilder.makeIntVal(maxValInt); in checkAdditionOverflow()
766 NonLoc maxLength = svalBuilder.makeIntVal(*maxLengthInt); in getCStringLengthForRegion()
814 return svalBuilder.makeIntVal(strLit->getByteLength(), sizeTy); in getCStringLength()
895 NonLoc One = svalBuilder.makeIntVal(1, sizeTy).castAs<NonLoc>(); in IsFirstBufInBound()
1648 svalBuilder.makeIntVal(1, sizeTy), sizeTy); in evalStrcpyCommon()
1733 NonLoc one = svalBuilder.makeIntVal(1, sizeTy).castAs<NonLoc>(); in evalStrcpyCommon()
2048 resultVal = svalBuilder.makeIntVal(compareRes, CE->getType()); in evalStrcmpCommon()
2051 DefinedSVal zeroVal = svalBuilder.makeIntVal(0, CE->getType()); in evalStrcmpCommon()
|
| H A D | MIGChecker.cpp | 239 V = SVB.evalEQ(C.getState(), V, SVB.makeIntVal(MigNoReply, ACtx.IntTy)); in mayBeSuccess()
|
| H A D | VLASizeChecker.cpp | 104 SVB.makeIntVal(EleSize.getQuantity(), SizeTy).castAs<NonLoc>(); in checkVLA()
|
| H A D | UnixAPIChecker.cpp | 240 .makeIntVal(Val_O_CREAT.getValue(), oflagsEx->getType()).castAs<NonLoc>(); in CheckOpenVariant()
|
| H A D | StreamChecker.cpp | 204 C.getSValBuilder().makeIntVal(Value, false)); in bindInt()
|
| H A D | BasicObjCFoundationChecks.cpp | 931 SvalBuilder.makeIntVal(0, (*CountS)->getType()), in assumeCollectionNonEmpty()
|
| H A D | StdLibraryFunctionsChecker.cpp | 340 return SVal(SvalBuilder.makeIntVal(*ConcreteSize)); in apply()
|
| H A D | MallocChecker.cpp | 981 .makeIntVal(KernelZeroFlagVal.getValue(), FlagsEx->getType()) in performKernelMalloc()
|
| /freebsd-13.1/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | CheckerContext.cpp | 128 DefinedSVal V = getSValBuilder().makeIntVal(Val, getASTContext().LongLongTy); in isGreaterOrEqual()
133 DefinedSVal V = getSValBuilder().makeIntVal(0, false); in isNegative()
|
| H A D | SValBuilder.cpp | 57 return makeIntVal(0, type); in makeZeroVal()
335 return makeIntVal(C->getValue(), C->getType()); in getConstantVal()
347 return makeIntVal(cast<IntegerLiteral>(E)); in getConstantVal()
389 return makeIntVal(Result.Val.getInt()); in getConstantVal()
535 makeIntVal(ToTypeMax.isUnsigned() ? ToTypeMax.getZExtValue() in evalIntegralCast()
664 return makeIntVal(Value); in evalCastSubKind()
874 return makeIntVal(CastedValue()); in evalCastSubKind()
|
| H A D | SimpleSValBuilder.cpp | 99 return makeIntVal(0, resultTy); in MakeSymIntVal()
117 return makeIntVal(0, resultTy); in MakeSymIntVal()
131 return makeIntVal(0, resultTy); in MakeSymIntVal()
395 return makeIntVal(0, resultTy); in evalBinOpNN()
396 return evalCast(makeIntVal(0, /*isUnsigned=*/false), resultTy, in evalBinOpNN()
1151 : (SVal)SVB.makeIntVal(*I); in simplifySVal()
1183 RHS = SVB.makeIntVal(S->getRHS()); in simplifySVal()
|
| H A D | DynamicExtent.cpp | 39 return SVB.makeIntVal(SVB.getContext().getTypeSizeInChars(Ty).getQuantity(), in getElementExtent()
|
| H A D | SVals.cpp | 293 return svalBuilder.makeIntVal(~getValue()); in evalComplement()
298 return svalBuilder.makeIntVal(-getValue()); in evalMinus()
|
| H A D | ExprEngineC.cpp | 711 X = svalBuilder.makeIntVal(constant, B->getType()); in VisitLogicalExpr()
860 SVal X = svalBuilder.makeIntVal(IV); in VisitOffsetOfExpr()
904 svalBuilder.makeIntVal(amt.getQuantity(), in VisitUnaryExprOrTypeTraitExpr()
1115 RHS = svalBuilder.makeIntVal(1, U->getType()); in VisitIncrementDecrementOperator()
|
| H A D | ExprEngineObjC.cpp | 73 V = svalBuilder.makeIntVal(0, T); in populateObjCForDestinationSet()
|
| H A D | ExprEngineCallAndReturn.cpp | 703 ElementCount = svalBuilder.makeIntVal(1, /*IsUnsigned=*/true); in bindReturnValue()
|
| H A D | ExprEngine.cpp | 2586 SVal V = svalBuilder.makeIntVal(ED->getInitVal()); in VisitCommonDeclRefExpr()
3069 SVal Val = svalBuilder.makeIntVal(1U, Ex->getType()); in evalEagerlyAssumeBinOpBifurcation()
3076 SVal Val = svalBuilder.makeIntVal(0U, Ex->getType()); in evalEagerlyAssumeBinOpBifurcation()
|
| H A D | RegionStore.cpp | 1658 return svalBuilder.makeIntVal(c, T); in getBindingForElement()
2440 svalBuilder.makeIntVal(0, false)); in bindStruct()
|
| H A D | MemRegion.cpp | 743 return SVB.makeIntVal( in getStaticSize()
|