| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| SValBuilder.h | 221 nonloc::ConcreteInt makeIntVal(const IntegerLiteral* integer) {
233 nonloc::ConcreteInt makeIntVal(const llvm::APSInt& integer) {
241 NonLoc makeIntVal(const llvm::APInt& integer, bool isUnsigned) {
245 DefinedSVal makeIntVal(uint64_t integer, QualType type) {
252 NonLoc makeIntVal(uint64_t integer, bool isUnsigned) {
261 NonLoc makeIntVal(uint64_t integer, unsigned bitWidth, bool isUnsigned) {
|
| /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 | 111 cast<NonLoc>(C.getSValBuilder().makeIntVal(Val_O_CREAT.getValue(),
|
| CStringChecker.cpp | 378 NonLoc One = cast<NonLoc>(svalBuilder.makeIntVal(1, sizeTy));
568 NonLoc maxVal = svalBuilder.makeIntVal(maxValInt);
739 return svalBuilder.makeIntVal(strLit->getByteLength(), sizeTy);
[all...] |
| MacOSKeychainAPIChecker.cpp | 249 DefinedOrUnknownSVal NoErrVal = Builder.makeIntVal(NoErr,
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| SVals.cpp | 201 return svalBuilder.makeIntVal(~getValue());
206 return svalBuilder.makeIntVal(-getValue());
|
| Environment.cpp | 65 return svalBuilder.makeIntVal(C->getValue(), C->getType());
80 return svalBuilder.makeIntVal(cast<IntegerLiteral>(E));
|
| ExprEngineC.cpp | 473 svalBuilder.makeIntVal(1U, B->getType())));
478 svalBuilder.makeIntVal(0U, B->getType())));
484 X = svalBuilder.makeIntVal(B->getOpcode() == BO_LAnd ? 0U : 1U,
562 SVal X = svalBuilder.makeIntVal(IV);
600 svalBuilder.makeIntVal(amt.getQuantity(),
766 RHS = svalBuilder.makeIntVal(1, U->getType());
|
| SimpleSValBuilder.cpp | 116 return makeIntVal(i);
145 return makeIntVal(i);
221 return makeIntVal(0, resultTy);
239 return makeIntVal(0, resultTy);
253 return makeIntVal(0, resultTy);
298 return makeIntVal(0, resultTy);
[all...] |
| ExprEngineObjC.cpp | 121 SVal nilV = svalBuilder.makeIntVal(0, T);
|
| SValBuilder.cpp | 36 return makeIntVal(0, type);
|
| MemRegion.cpp | 193 return svalBuilder.makeIntVal(size.getQuantity(), sizeTy);
220 return svalBuilder.makeIntVal(getStringLiteral()->getByteLength()+1,
[all...] |
| RegionStore.cpp | 839 return svalBuilder.makeIntVal(RegionSize / EleSize, false);
[all...] |
| ExprEngine.cpp | [all...] |
