Home
last modified time | relevance | path

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

/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DSValBuilder.h237 nonloc::ConcreteInt makeIntVal(const IntegerLiteral* integer) { in makeIntVal() function
249 nonloc::ConcreteInt makeIntVal(const llvm::APSInt& integer) { in makeIntVal() function
257 NonLoc makeIntVal(const llvm::APInt& integer, bool isUnsigned) { in makeIntVal() function
261 DefinedSVal makeIntVal(uint64_t integer, QualType type) { in makeIntVal() function
268 NonLoc makeIntVal(uint64_t integer, bool isUnsigned) { in makeIntVal() function
/external/clang/lib/StaticAnalyzer/Checkers/
DBoolAssignmentChecker.cpp84 DefinedSVal zeroVal = svalBuilder.makeIntVal(0, valTy); in checkBind()
120 DefinedSVal OneVal = svalBuilder.makeIntVal(1, valTy); in checkBind()
DBuiltinFunctionChecker.cpp91 V = SVB.makeIntVal(Result); in evalCall()
DCStringChecker.cpp387 NonLoc One = svalBuilder.makeIntVal(1, sizeTy).castAs<NonLoc>(); in CheckBufferAccess()
575 NonLoc maxVal = svalBuilder.makeIntVal(maxValInt); in checkAdditionOverflow()
699 NonLoc maxLength = svalBuilder.makeIntVal(*maxLengthInt); in getCStringLengthForRegion()
760 return svalBuilder.makeIntVal(strLit->getByteLength(), sizeTy); in getCStringLength()
853 NonLoc One = svalBuilder.makeIntVal(1, sizeTy).castAs<NonLoc>(); in IsFirstBufInBound()
1535 NonLoc one = svalBuilder.makeIntVal(1, sizeTy).castAs<NonLoc>(); in evalStrcpyCommon()
1881 resultVal = svalBuilder.makeIntVal(compareRes, CE->getType()); in evalStrcmpCommon()
1884 DefinedSVal zeroVal = svalBuilder.makeIntVal(0, CE->getType()); in evalStrcmpCommon()
DVLASizeChecker.cpp160 SVal EleSizeVal = svalBuilder.makeIntVal(EleSize.getQuantity(), SizeTy); in checkPreStmt()
DUnixAPIChecker.cpp139 .makeIntVal(Val_O_CREAT.getValue(), oflagsEx->getType()).castAs<NonLoc>(); in CheckOpen()
DMacOSKeychainAPIChecker.cpp234 DefinedOrUnknownSVal NoErrVal = Builder.makeIntVal(NoErr, in definitelyReturnedError()
DBasicObjCFoundationChecks.cpp959 SvalBuilder.makeIntVal(0, (*CountS)->getType()), in assumeCollectionNonEmpty()
DMallocChecker.cpp726 .makeIntVal(KernelZeroFlagVal.getValue(), FlagsEx->getType()) in performKernelMalloc()
/external/clang/lib/StaticAnalyzer/Core/
DSimpleSValBuilder.cpp121 return makeIntVal(i); in evalCastFromNonLoc()
174 return makeIntVal(i); in evalCastFromLoc()
223 return makeIntVal(0, resultTy); in MakeSymIntVal()
241 return makeIntVal(0, resultTy); in MakeSymIntVal()
255 return makeIntVal(0, resultTy); in MakeSymIntVal()
327 return makeIntVal(0, resultTy); in evalBinOpNN()
328 return evalCastFromNonLoc(makeIntVal(0, /*Unsigned=*/false), resultTy); in evalBinOpNN()
DSValBuilder.cpp37 return makeIntVal(0, type); in makeZeroVal()
273 return makeIntVal(C->getValue(), C->getType()); in getConstantVal()
285 return makeIntVal(cast<IntegerLiteral>(E)); in getConstantVal()
319 return makeIntVal(Result); in getConstantVal()
450 makeIntVal(ToTypeMax.isUnsigned() ? ToTypeMax.getZExtValue() in evalIntegralCast()
DExprEngineC.cpp585 X = svalBuilder.makeIntVal(constant, B->getType()); in VisitLogicalExpr()
609 X = getSValBuilder().makeIntVal(1, B->getType()); in VisitLogicalExpr()
614 X = getSValBuilder().makeIntVal(0, B->getType()); in VisitLogicalExpr()
740 SVal X = svalBuilder.makeIntVal(IV); in VisitOffsetOfExpr()
784 svalBuilder.makeIntVal(amt.getQuantity(), in VisitUnaryExprOrTypeTraitExpr()
965 RHS = svalBuilder.makeIntVal(1, U->getType()); in VisitIncrementDecrementOperator()
DSVals.cpp209 return svalBuilder.makeIntVal(~getValue()); in evalComplement()
214 return svalBuilder.makeIntVal(-getValue()); in evalMinus()
DExprEngineObjC.cpp121 SVal nilV = svalBuilder.makeIntVal(0, T); in VisitObjCForCollectionStmt()
DMemRegion.cpp190 return svalBuilder.makeIntVal(size.getQuantity(), sizeTy); in getExtent()
221 return svalBuilder.makeIntVal(getStringLiteral()->getByteLength()+1, in getExtent()
DRegionStore.cpp1323 return svalBuilder.makeIntVal(RegionSize / EleSize, false); in getSizeInElements()
1604 return svalBuilder.makeIntVal(c, T); in getBindingForElement()
2253 svalBuilder.makeIntVal(0, false)); in bindStruct()
DExprEngine.cpp1944 SVal V = svalBuilder.makeIntVal(ED->getInitVal()); in VisitCommonDeclRefExpr()
2461 SVal Val = svalBuilder.makeIntVal(1U, Ex->getType()); in evalEagerlyAssumeBinOpBifurcation()
2468 SVal Val = svalBuilder.makeIntVal(0U, Ex->getType()); in evalEagerlyAssumeBinOpBifurcation()
/external/clang/test/Analysis/
Dmisc-ps.m341 // "ValueManager::makeIntVal(uint64_t X, QualType T) should return a 'Loc'