| /external/clang/lib/StaticAnalyzer/Checkers/ |
| BoolAssignmentChecker.cpp | 84 DefinedSVal zeroVal = svalBuilder.makeIntVal(0, valTy);
120 DefinedSVal OneVal = svalBuilder.makeIntVal(1, valTy);
|
| BuiltinFunctionChecker.cpp | 88 V = SVB.makeIntVal(Result);
|
| VLASizeChecker.cpp | 139 SVal EleSizeVal = svalBuilder.makeIntVal(EleSize.getQuantity(), SizeTy);
|
| UnixAPIChecker.cpp | 107 .makeIntVal(Val_O_CREAT.getValue(), oflagsEx->getType()).castAs<NonLoc>();
|
| CStringChecker.cpp | 374 NonLoc One = svalBuilder.makeIntVal(1, sizeTy).castAs<NonLoc>();
563 NonLoc maxVal = svalBuilder.makeIntVal(maxValInt);
687 NonLoc maxLength = svalBuilder.makeIntVal(*maxLengthInt);
748 return svalBuilder.makeIntVal(strLit->getByteLength(), sizeTy);
[all...] |
| MacOSKeychainAPIChecker.cpp | 240 DefinedOrUnknownSVal NoErrVal = Builder.makeIntVal(NoErr,
|
| BasicObjCFoundationChecks.cpp | [all...] |
| MallocChecker.cpp | 643 .makeIntVal(KernelZeroFlagVal.getValue(), FlagsEx->getType())
[all...] |
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| SValBuilder.h | 232 nonloc::ConcreteInt makeIntVal(const IntegerLiteral* integer) {
244 nonloc::ConcreteInt makeIntVal(const llvm::APSInt& integer) {
252 NonLoc makeIntVal(const llvm::APInt& integer, bool isUnsigned) {
256 DefinedSVal makeIntVal(uint64_t integer, QualType type) {
263 NonLoc makeIntVal(uint64_t integer, bool isUnsigned) {
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| SVals.cpp | 209 return svalBuilder.makeIntVal(~getValue());
214 return svalBuilder.makeIntVal(-getValue());
|
| 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...] |
| SValBuilder.cpp | 37 return makeIntVal(0, type);
256 return makeIntVal(C->getValue(), C->getType());
263 return makeIntVal(cast<IntegerLiteral>(E));
291 return makeIntVal(Result);
|
| ExprEngineC.cpp | 549 X = svalBuilder.makeIntVal(constant, B->getType());
573 X = getSValBuilder().makeIntVal(1, B->getType());
578 X = getSValBuilder().makeIntVal(0, B->getType());
706 SVal X = svalBuilder.makeIntVal(IV);
750 svalBuilder.makeIntVal(amt.getQuantity(),
[all...] |
| ExprEngineObjC.cpp | 121 SVal nilV = svalBuilder.makeIntVal(0, T);
|
| MemRegion.cpp | 194 return svalBuilder.makeIntVal(size.getQuantity(), sizeTy);
225 return svalBuilder.makeIntVal(getStringLiteral()->getByteLength()+1,
[all...] |
| ExprEngine.cpp | [all...] |
| RegionStore.cpp | [all...] |
