/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
D | SValBuilder.h | 237 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/ |
D | BoolAssignmentChecker.cpp | 84 DefinedSVal zeroVal = svalBuilder.makeIntVal(0, valTy); in checkBind() 120 DefinedSVal OneVal = svalBuilder.makeIntVal(1, valTy); in checkBind()
|
D | BuiltinFunctionChecker.cpp | 91 V = SVB.makeIntVal(Result); in evalCall()
|
D | CStringChecker.cpp | 387 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()
|
D | VLASizeChecker.cpp | 160 SVal EleSizeVal = svalBuilder.makeIntVal(EleSize.getQuantity(), SizeTy); in checkPreStmt()
|
D | UnixAPIChecker.cpp | 139 .makeIntVal(Val_O_CREAT.getValue(), oflagsEx->getType()).castAs<NonLoc>(); in CheckOpen()
|
D | MacOSKeychainAPIChecker.cpp | 234 DefinedOrUnknownSVal NoErrVal = Builder.makeIntVal(NoErr, in definitelyReturnedError()
|
D | BasicObjCFoundationChecks.cpp | 959 SvalBuilder.makeIntVal(0, (*CountS)->getType()), in assumeCollectionNonEmpty()
|
D | MallocChecker.cpp | 726 .makeIntVal(KernelZeroFlagVal.getValue(), FlagsEx->getType()) in performKernelMalloc()
|
/external/clang/lib/StaticAnalyzer/Core/ |
D | SimpleSValBuilder.cpp | 121 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()
|
D | SValBuilder.cpp | 37 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()
|
D | ExprEngineC.cpp | 585 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()
|
D | SVals.cpp | 209 return svalBuilder.makeIntVal(~getValue()); in evalComplement() 214 return svalBuilder.makeIntVal(-getValue()); in evalMinus()
|
D | ExprEngineObjC.cpp | 121 SVal nilV = svalBuilder.makeIntVal(0, T); in VisitObjCForCollectionStmt()
|
D | MemRegion.cpp | 190 return svalBuilder.makeIntVal(size.getQuantity(), sizeTy); in getExtent() 221 return svalBuilder.makeIntVal(getStringLiteral()->getByteLength()+1, in getExtent()
|
D | RegionStore.cpp | 1323 return svalBuilder.makeIntVal(RegionSize / EleSize, false); in getSizeInElements() 1604 return svalBuilder.makeIntVal(c, T); in getBindingForElement() 2253 svalBuilder.makeIntVal(0, false)); in bindStruct()
|
D | ExprEngine.cpp | 1944 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/ |
D | misc-ps.m | 341 // "ValueManager::makeIntVal(uint64_t X, QualType T) should return a 'Loc'
|