| /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...] |
