/external/clang/lib/StaticAnalyzer/Checkers/ |
BoolAssignmentChecker.cpp | 84 DefinedSVal zeroVal = svalBuilder.makeIntVal(0, valTy); 120 DefinedSVal OneVal = svalBuilder.makeIntVal(1, valTy);
|
VLASizeChecker.cpp | 138 SVal EleSizeVal = svalBuilder.makeIntVal(EleSize.getQuantity(), SizeTy);
|
UnixAPIChecker.cpp | 112 .makeIntVal(Val_O_CREAT.getValue(), oflagsEx->getType()).castAs<NonLoc>();
|
CStringChecker.cpp | 367 NonLoc One = svalBuilder.makeIntVal(1, sizeTy).castAs<NonLoc>(); 555 NonLoc maxVal = svalBuilder.makeIntVal(maxValInt); 726 return svalBuilder.makeIntVal(strLit->getByteLength(), sizeTy); [all...] |
MacOSKeychainAPIChecker.cpp | 239 DefinedOrUnknownSVal NoErrVal = Builder.makeIntVal(NoErr,
|
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
SValBuilder.h | 224 nonloc::ConcreteInt makeIntVal(const IntegerLiteral* integer) { 236 nonloc::ConcreteInt makeIntVal(const llvm::APSInt& integer) { 244 NonLoc makeIntVal(const llvm::APInt& integer, bool isUnsigned) { 248 DefinedSVal makeIntVal(uint64_t integer, QualType type) { 255 NonLoc makeIntVal(uint64_t integer, bool isUnsigned) {
|
/external/clang/lib/StaticAnalyzer/Core/ |
Environment.cpp | 87 return svalBuilder.makeIntVal(C->getValue(), C->getType()); 100 return svalBuilder.makeIntVal(cast<IntegerLiteral>(S));
|
SVals.cpp | 201 return svalBuilder.makeIntVal(~getValue()); 206 return svalBuilder.makeIntVal(-getValue());
|
SimpleSValBuilder.cpp | 121 return makeIntVal(i); 148 return makeIntVal(i); 224 return makeIntVal(0, resultTy); 242 return makeIntVal(0, resultTy); 256 return makeIntVal(0, resultTy); 328 return makeIntVal(0, resultTy); 329 return evalCastFromNonLoc(makeIntVal(0, /*Unsigned=*/false), resultTy); [all...] |
ExprEngineC.cpp | 548 X = svalBuilder.makeIntVal(constant, B->getType()); 572 X = getSValBuilder().makeIntVal(1, B->getType()); 577 X = getSValBuilder().makeIntVal(0, B->getType()); 686 SVal X = svalBuilder.makeIntVal(IV); 724 svalBuilder.makeIntVal(amt.getQuantity(), [all...] |
ExprEngineObjC.cpp | 121 SVal nilV = svalBuilder.makeIntVal(0, T);
|
SValBuilder.cpp | 37 return makeIntVal(0, type);
|
ExprEngine.cpp | 702 V = svalBuilder.makeIntVal(Result); [all...] |
RegionStore.cpp | [all...] |
MemRegion.cpp | 194 return svalBuilder.makeIntVal(size.getQuantity(), sizeTy); 225 return svalBuilder.makeIntVal(getStringLiteral()->getByteLength()+1, [all...] |