Home
last modified time | relevance | path

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

12

/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DErrnoTesterChecker.cpp111 Call.getOriginExpr(), C.getLocationContext(), SVB.makeIntVal(0, true)); in evalSetErrnoIfError()
115 Call.getOriginExpr(), C.getLocationContext(), SVB.makeIntVal(1, true)); in evalSetErrnoIfError()
128 Call.getOriginExpr(), C.getLocationContext(), SVB.makeIntVal(0, true)); in evalSetErrnoIfErrorRange()
132 Call.getOriginExpr(), C.getLocationContext(), SVB.makeIntVal(1, true)); in evalSetErrnoIfErrorRange()
149 Call.getOriginExpr(), C.getLocationContext(), SVB.makeIntVal(0, true)); in evalSetErrnoCheckState()
153 Call.getOriginExpr(), C.getLocationContext(), SVB.makeIntVal(1, true)); in evalSetErrnoCheckState()
157 Call.getOriginExpr(), C.getLocationContext(), SVB.makeIntVal(2, true)); in evalSetErrnoCheckState()
H A DCStringChecker.cpp421 SVB.makeIntVal(Ctx.getTypeSizeInChars(Ctx.WideCharTy).getQuantity(), in getIndex()
489 SVB.makeIntVal(Ctx.getTypeSizeInChars(ElemTy).getQuantity(), IdxTy) in checkInit()
516 const NonLoc One = SVB.makeIntVal(1, IdxTy).castAs<NonLoc>(); in checkInit()
644 NonLoc One = svalBuilder.makeIntVal(1, SizeTy).castAs<NonLoc>(); in CheckBufferAccess()
924 NonLoc maxVal = svalBuilder.makeIntVal(maxValInt); in checkAdditionOverflow()
1031 NonLoc maxLength = svalBuilder.makeIntVal(*maxLengthInt); in getCStringLengthForRegion()
1079 return svalBuilder.makeIntVal(strLit->getLength(), sizeTy); in getCStringLength()
1090 return SvalBuilder.makeIntVal(StrLit->getLength(), SizeTy); in getCStringLength()
1172 NonLoc One = SB.makeIntVal(1, LengthTy).castAs<NonLoc>(); in isFirstBufInBound()
1981 svalBuilder.makeIntVal(1, sizeTy), sizeTy); in evalStrcpyCommon()
[all …]
H A DBuiltinFunctionChecker.cpp330 V = SVB.makeIntVal(Result); in evalCall()
338 V = SVB.makeIntVal(0, CE->getType()); in evalCall()
H A DEnumCastOutOfRangeChecker.cpp49 DefinedOrUnknownSVal EnumDeclValue = SVB.makeIntVal(EnumDeclInitValue); in operator ()()
H A DSetgidSetuidOrderChecker.cpp105 SVB.makeIntVal(0, /*isUnsigned=*/false), in evalAssume()
H A DMIGChecker.cpp241 V = SVB.evalEQ(C.getState(), V, SVB.makeIntVal(MigNoReply, ACtx.IntTy)); in mayBeSuccess()
H A DArrayBoundChecker.cpp274 svalBuilder.makeIntVal(extentVal / constant), svalBuilder); in getSimplifiedOffsets()
278 svalBuilder.makeIntVal(extentVal - constant), svalBuilder); in getSimplifiedOffsets()
H A DErrnoModeling.cpp198 C.getSValBuilder().makeIntVal(Value, C.getASTContext().IntTy), in setErrnoValue()
H A DVLASizeChecker.cpp102 SVB.makeIntVal(EleSize.getQuantity(), SizeTy).castAs<NonLoc>(); in checkVLA()
H A DBitwiseShiftChecker.cpp141 const auto LimitVal = SVB.makeIntVal(Limit, Ctx.getASTContext().IntTy); in assumeRequirement()
H A DBlockInCriticalSectionChecker.cpp404 state->areEqual(SV, SVB.makeIntVal(-1, C.getASTContext().IntTy)); in reportBlockInCritSection()
H A DUnixAPIChecker.cpp278 .makeIntVal(Val_O_CREAT.value(), oflagsEx->getType()) in CheckOpenVariant()
H A DStreamChecker.cpp246 C.getSValBuilder().makeIntVal(Value, CE->getType())); in bindInt()
693 SVB.makeIntVal(Val, CE->getCallReturnType(ACtx))); in bindReturnValue()
H A DBasicObjCFoundationChecks.cpp936 SvalBuilder.makeIntVal(0, (*CountS)->getType()), in assumeCollectionNonEmpty()
H A DMallocChecker.cpp1254 .makeIntVal(*KernelZeroFlagVal, FlagsEx->getType()) in performKernelMalloc()
1944 SVB.makeIntVal(MaxValInt / APSIntType(MaxValInt).getValue(4)); in checkTaintedness()
/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSValBuilder.h277 nonloc::ConcreteInt makeIntVal(const IntegerLiteral* integer) { in makeIntVal() function
289 nonloc::ConcreteInt makeIntVal(const llvm::APSInt& integer) { in makeIntVal() function
297 NonLoc makeIntVal(const llvm::APInt& integer, bool isUnsigned) { in makeIntVal() function
301 DefinedSVal makeIntVal(uint64_t integer, QualType type) { in makeIntVal() function
308 NonLoc makeIntVal(uint64_t integer, bool isUnsigned) { in makeIntVal() function
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DSValBuilder.cpp67 return makeIntVal(0, type); in makeZeroVal()
363 return makeIntVal(C->getValue(), C->getType()); in getConstantVal()
374 return makeIntVal(TE->getAPValue().getInt()); in getConstantVal()
378 return makeIntVal(cast<IntegerLiteral>(E)); in getConstantVal()
419 return makeIntVal(Result.Val.getInt()); in getConstantVal()
460 return makeIntVal(-X.castAs<nonloc::ConcreteInt>().getValue()); in evalMinus()
472 return makeIntVal(~X.castAs<nonloc::ConcreteInt>().getValue()); in evalComplement()
535 const nonloc::ConcreteInt RhsAsLoc = makeIntVal(RV->getValue()); in evalBinOp()
612 NonLoc ToTypeMaxVal = makeIntVal(ToTypeMax); in evalIntegralCast()
679 return VB.makeIntVal(Value); in VisitConcreteInt()
[all …]
H A DDynamicExtent.cpp40 return SVB.makeIntVal(SVB.getContext().getTypeSizeInChars(Ty).getQuantity(), in getElementExtent()
54 return SVB.makeIntVal(CAT->getSize(), /* isUnsigned = */ false); in getConstantArrayElementCount()
H A DCheckerContext.cpp163 DefinedSVal V = getSValBuilder().makeIntVal(Val, getASTContext().LongLongTy); in isGreaterOrEqual()
168 DefinedSVal V = getSValBuilder().makeIntVal(0, false); in isNegative()
H A DSimpleSValBuilder.cpp142 return makeIntVal(0, resultTy); in MakeSymIntVal()
160 return makeIntVal(0, resultTy); in MakeSymIntVal()
174 return makeIntVal(0, resultTy); in MakeSymIntVal()
455 return makeIntVal(0, resultTy); in evalBinOpNN()
456 return evalCast(makeIntVal(0, /*isUnsigned=*/false), resultTy, in evalBinOpNN()
1300 : (SVal)SVB.makeIntVal(*Const); in simplifySValOnce()
1320 : (SVal)SVB.makeIntVal(*I); in simplifySValOnce()
1349 RHS = SVB.makeIntVal(S->getRHS()); in simplifySValOnce()
1365 SVal LHS = SVB.makeIntVal(S->getLHS()); in simplifySValOnce()
H A DExprEngineC.cpp748 X = svalBuilder.makeIntVal(constant, B->getType()); in VisitLogicalExpr()
896 SVal X = svalBuilder.makeIntVal(IV); in VisitOffsetOfExpr()
941 svalBuilder.makeIntVal(amt.getQuantity(), Ex->getType())); in VisitUnaryExprOrTypeTraitExpr()
1147 RHS = svalBuilder.makeIntVal(1, U->getType()); in VisitIncrementDecrementOperator()
H A DExprEngineObjC.cpp73 V = svalBuilder.makeIntVal(0, T); in populateObjCForDestinationSet()
H A DExprEngineCallAndReturn.cpp807 ElementCount = svalBuilder.makeIntVal(1, /*IsUnsigned=*/true); in bindReturnValue()
H A DExprEngine.cpp3232 SVal V = svalBuilder.makeIntVal(ED->getInitVal()); in VisitCommonDeclRefExpr()
3903 SVal Val = svalBuilder.makeIntVal(1U, Ex->getType()); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
3910 SVal Val = svalBuilder.makeIntVal(0U, Ex->getType()); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
H A DRegionStore.cpp2039 return svalBuilder.makeIntVal(Code, ElemT); in getSValFromStringLiteral()
2958 svalBuilder.makeIntVal(0, false)); in bindStruct()

12