Home
last modified time | relevance | path

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

12

/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/
H A DErrnoTesterChecker.cpp108 Call.getOriginExpr(), C.getLocationContext(), SVB.makeIntVal(0, true)); in evalSetErrnoIfError()
112 Call.getOriginExpr(), C.getLocationContext(), SVB.makeIntVal(1, true)); in evalSetErrnoIfError()
125 Call.getOriginExpr(), C.getLocationContext(), SVB.makeIntVal(0, true)); in evalSetErrnoIfErrorRange()
129 Call.getOriginExpr(), C.getLocationContext(), SVB.makeIntVal(1, true)); in evalSetErrnoIfErrorRange()
147 Call.getOriginExpr(), C.getLocationContext(), SVB.makeIntVal(0, true)); in evalSetErrnoCheckState()
151 Call.getOriginExpr(), C.getLocationContext(), SVB.makeIntVal(1, true)); in evalSetErrnoCheckState()
155 Call.getOriginExpr(), C.getLocationContext(), SVB.makeIntVal(2, true)); in evalSetErrnoCheckState()
H A DBuiltinFunctionChecker.cpp116 V = SVB.makeIntVal(Result); in evalCall()
124 V = SVB.makeIntVal(0, CE->getType()); in evalCall()
H A DArrayBoundCheckerV2.cpp101 svalBuilder.makeIntVal(extent.getValue() / constant), in getSimplifiedOffsets()
106 svalBuilder.makeIntVal(extent.getValue() - constant), svalBuilder); in getSimplifiedOffsets()
H A DEnumCastOutOfRangeChecker.cpp45 DefinedOrUnknownSVal EnumDeclValue = SVB.makeIntVal(EnumDeclInitValue); in operator ()()
H A DCStringChecker.cpp373 .makeIntVal(Ctx.getTypeSizeInChars(Ctx.WideCharTy).getQuantity(), in CheckLocation()
450 NonLoc One = svalBuilder.makeIntVal(1, SizeTy).castAs<NonLoc>(); in CheckBufferAccess()
725 NonLoc maxVal = svalBuilder.makeIntVal(maxValInt); in checkAdditionOverflow()
832 NonLoc maxLength = svalBuilder.makeIntVal(*maxLengthInt); in getCStringLengthForRegion()
880 return svalBuilder.makeIntVal(strLit->getLength(), sizeTy); in getCStringLength()
961 NonLoc One = svalBuilder.makeIntVal(1, sizeTy).castAs<NonLoc>(); in IsFirstBufInBound()
1716 svalBuilder.makeIntVal(1, sizeTy), sizeTy); in evalStrcpyCommon()
1801 NonLoc one = svalBuilder.makeIntVal(1, sizeTy).castAs<NonLoc>(); in evalStrcpyCommon()
2116 resultVal = svalBuilder.makeIntVal(compareRes, CE->getType()); in evalStrcmpCommon()
2119 DefinedSVal zeroVal = svalBuilder.makeIntVal(0, CE->getType()); in evalStrcmpCommon()
H A DMIGChecker.cpp240 V = SVB.evalEQ(C.getState(), V, SVB.makeIntVal(MigNoReply, ACtx.IntTy)); in mayBeSuccess()
H A DErrnoModeling.cpp237 C.getSValBuilder().makeIntVal(Value, C.getASTContext().IntTy), in setErrnoValue()
H A DVLASizeChecker.cpp104 SVB.makeIntVal(EleSize.getQuantity(), SizeTy).castAs<NonLoc>(); in checkVLA()
H A DUnixAPIChecker.cpp237 .makeIntVal(Val_O_CREAT.value(), oflagsEx->getType()) in CheckOpenVariant()
H A DBasicObjCFoundationChecks.cpp929 SvalBuilder.makeIntVal(0, (*CountS)->getType()), in assumeCollectionNonEmpty()
H A DStreamChecker.cpp205 C.getSValBuilder().makeIntVal(Value, false)); in bindInt()
H A DStdLibraryFunctionsChecker.cpp345 return SVal(SvalBuilder.makeIntVal(*ConcreteSize)); in apply()
/llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSValBuilder.h269 nonloc::ConcreteInt makeIntVal(const IntegerLiteral* integer) { in makeIntVal() function
281 nonloc::ConcreteInt makeIntVal(const llvm::APSInt& integer) { in makeIntVal() function
289 NonLoc makeIntVal(const llvm::APInt& integer, bool isUnsigned) { in makeIntVal() function
293 DefinedSVal makeIntVal(uint64_t integer, QualType type) { in makeIntVal() function
300 NonLoc makeIntVal(uint64_t integer, bool isUnsigned) { in makeIntVal() function
/llvm-project-15.0.7/clang/unittests/StaticAnalyzer/
H A DStoreTest.cpp68 SVal One = Builder.makeIntVal(1, ASTCtxt.IntTy); in performTest()
130 NonLoc Zero = Builder.makeIntVal(0, false); in performTest()
136 SVal One = Builder.makeIntVal(1, Int); in performTest()
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/
H A DSValBuilder.cpp68 return makeIntVal(0, type); in makeZeroVal()
357 return makeIntVal(C->getValue(), C->getType()); in getConstantVal()
369 return makeIntVal(cast<IntegerLiteral>(E)); in getConstantVal()
411 return makeIntVal(Result.Val.getInt()); in getConstantVal()
450 return makeIntVal(-X.castAs<nonloc::ConcreteInt>().getValue()); in evalMinus()
462 return makeIntVal(~X.castAs<nonloc::ConcreteInt>().getValue()); in evalComplement()
525 const nonloc::ConcreteInt RhsAsLoc = makeIntVal(RV->getValue()); in evalBinOp()
601 makeIntVal(ToTypeMax.isUnsigned() ? ToTypeMax.getZExtValue() in evalIntegralCast()
671 return VB.makeIntVal(Value); in VisitLocConcreteInt()
873 return VB.makeIntVal(CastedValue()); in VisitNonLocConcreteInt()
H A DCheckerContext.cpp148 DefinedSVal V = getSValBuilder().makeIntVal(Val, getASTContext().LongLongTy); in isGreaterOrEqual()
153 DefinedSVal V = getSValBuilder().makeIntVal(0, false); in isNegative()
H A DSimpleSValBuilder.cpp126 return makeIntVal(0, resultTy); in MakeSymIntVal()
144 return makeIntVal(0, resultTy); in MakeSymIntVal()
158 return makeIntVal(0, resultTy); in MakeSymIntVal()
438 return makeIntVal(0, resultTy); in evalBinOpNN()
439 return evalCast(makeIntVal(0, /*isUnsigned=*/false), resultTy, in evalBinOpNN()
1238 : (SVal)SVB.makeIntVal(*Const); in simplifySValOnce()
1258 : (SVal)SVB.makeIntVal(*I); in simplifySValOnce()
1287 RHS = SVB.makeIntVal(S->getRHS()); in simplifySValOnce()
1303 SVal LHS = SVB.makeIntVal(S->getLHS()); in simplifySValOnce()
H A DDynamicExtent.cpp39 return SVB.makeIntVal(SVB.getContext().getTypeSizeInChars(Ty).getQuantity(), in getElementExtent()
H A DExprEngineC.cpp715 X = svalBuilder.makeIntVal(constant, B->getType()); in VisitLogicalExpr()
863 SVal X = svalBuilder.makeIntVal(IV); in VisitOffsetOfExpr()
907 svalBuilder.makeIntVal(amt.getQuantity(), in VisitUnaryExprOrTypeTraitExpr()
1119 RHS = svalBuilder.makeIntVal(1, U->getType()); in VisitIncrementDecrementOperator()
H A DExprEngineObjC.cpp73 V = svalBuilder.makeIntVal(0, T); in populateObjCForDestinationSet()
H A DExprEngine.cpp2770 SVal V = svalBuilder.makeIntVal(ED->getInitVal()); in VisitCommonDeclRefExpr()
3408 SVal Val = svalBuilder.makeIntVal(1U, Ex->getType()); in evalEagerlyAssumeBinOpBifurcation()
3415 SVal Val = svalBuilder.makeIntVal(0U, Ex->getType()); in evalEagerlyAssumeBinOpBifurcation()
H A DExprEngineCallAndReturn.cpp756 ElementCount = svalBuilder.makeIntVal(1, /*IsUnsigned=*/true); in bindReturnValue()
H A DRegionStore.cpp1888 return svalBuilder.makeIntVal(Code, ElemT); in getSValFromStringLiteral()
2726 svalBuilder.makeIntVal(0, false)); in bindStruct()
H A DMemRegion.cpp746 return SVB.makeIntVal( in getStaticSize()
/llvm-project-15.0.7/clang/test/Analysis/
H A Dmisc-ps.m341 // "ValueManager::makeIntVal(uint64_t X, QualType T) should return a 'Loc'

12