/external/clang/lib/StaticAnalyzer/Checkers/ |
BoolAssignmentChecker.cpp | 84 DefinedSVal zeroVal = svalBuilder.makeIntVal(0, valTy); 120 DefinedSVal OneVal = svalBuilder.makeIntVal(1, valTy);
|
BuiltinFunctionChecker.cpp | 91 V = SVB.makeIntVal(Result);
|
VLASizeChecker.cpp | 160 SVal EleSizeVal = svalBuilder.makeIntVal(EleSize.getQuantity(), SizeTy);
|
CStringChecker.cpp | 387 NonLoc One = svalBuilder.makeIntVal(1, sizeTy).castAs<NonLoc>(); 575 NonLoc maxVal = svalBuilder.makeIntVal(maxValInt); 699 NonLoc maxLength = svalBuilder.makeIntVal(*maxLengthInt); 760 return svalBuilder.makeIntVal(strLit->getByteLength(), sizeTy); [all...] |
UnixAPIChecker.cpp | 139 .makeIntVal(Val_O_CREAT.getValue(), oflagsEx->getType()).castAs<NonLoc>();
|
MacOSKeychainAPIChecker.cpp | 234 DefinedOrUnknownSVal NoErrVal = Builder.makeIntVal(NoErr,
|
BasicObjCFoundationChecks.cpp | [all...] |
MallocChecker.cpp | 726 .makeIntVal(KernelZeroFlagVal.getValue(), FlagsEx->getType()) [all...] |
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
SValBuilder.h | 237 nonloc::ConcreteInt makeIntVal(const IntegerLiteral* integer) { 249 nonloc::ConcreteInt makeIntVal(const llvm::APSInt& integer) { 257 NonLoc makeIntVal(const llvm::APInt& integer, bool isUnsigned) { 261 DefinedSVal makeIntVal(uint64_t integer, QualType type) { 268 NonLoc makeIntVal(uint64_t integer, bool isUnsigned) {
|
/external/clang/lib/StaticAnalyzer/Core/ |
SVals.cpp | 209 return svalBuilder.makeIntVal(~getValue()); 214 return svalBuilder.makeIntVal(-getValue());
|
SValBuilder.cpp | 37 return makeIntVal(0, type); 273 return makeIntVal(C->getValue(), C->getType()); 285 return makeIntVal(cast<IntegerLiteral>(E)); 319 return makeIntVal(Result); 450 makeIntVal(ToTypeMax.isUnsigned() ? ToTypeMax.getZExtValue()
|
SimpleSValBuilder.cpp | 121 return makeIntVal(i); 174 return makeIntVal(i); 223 return makeIntVal(0, resultTy); 241 return makeIntVal(0, resultTy); 255 return makeIntVal(0, resultTy); 327 return makeIntVal(0, resultTy); 328 return evalCastFromNonLoc(makeIntVal(0, /*Unsigned=*/false), resultTy); [all...] |
ExprEngineC.cpp | 585 X = svalBuilder.makeIntVal(constant, B->getType()); 609 X = getSValBuilder().makeIntVal(1, B->getType()); 614 X = getSValBuilder().makeIntVal(0, B->getType()); 740 SVal X = svalBuilder.makeIntVal(IV); 784 svalBuilder.makeIntVal(amt.getQuantity(), [all...] |
ExprEngineObjC.cpp | 121 SVal nilV = svalBuilder.makeIntVal(0, T);
|
RegionStore.cpp | [all...] |
MemRegion.cpp | 190 return svalBuilder.makeIntVal(size.getQuantity(), sizeTy); 221 return svalBuilder.makeIntVal(getStringLiteral()->getByteLength()+1, [all...] |
ExprEngine.cpp | [all...] |