/external/clang/lib/StaticAnalyzer/Checkers/ |
AdjustedReturnValueChecker.cpp | 83 SValBuilder &svalBuilder = C.getSValBuilder(); 84 V = svalBuilder.evalCast(V, expectedResultTy, actualResultTy);
|
BuiltinFunctionChecker.cpp | 69 SValBuilder& svalBuilder = C.getSValBuilder(); 70 DefinedOrUnknownSVal Extent = R->getExtent(svalBuilder); 72 svalBuilder.evalEQ(state, Extent, Size);
|
VLASizeChecker.cpp | 106 SValBuilder &svalBuilder = C.getSValBuilder(); 108 NonLoc ArrayLength = cast<NonLoc>(svalBuilder.evalCast(sizeD, SizeTy, 113 SVal EleSizeVal = svalBuilder.makeIntVal(EleSize.getQuantity(), SizeTy); 116 SVal ArraySizeVal = svalBuilder.evalBinOpNN(state, BO_Mul, ArrayLength, 122 state->getRegion(VD, LC)->getExtent(svalBuilder); 125 svalBuilder.evalEQ(state, Extent, ArraySize);
|
OSAtomicChecker.cpp | 168 SValBuilder &svalBuilder = Eng.getSValBuilder(); 172 svalBuilder.evalEQ(stateLoad,theValueVal,oldValueVal); 185 val = svalBuilder.evalCast(val,R->getValueType(), newValueExpr->getType());
|
ArrayBoundCheckerV2.cpp | 58 SValBuilder &svalBuilder, 66 static SVal computeExtentBegin(SValBuilder &svalBuilder, 71 return svalBuilder.makeZeroArrayIndex(); 98 SValBuilder &svalBuilder = checkerContext.getSValBuilder(); 100 RegionRawOffsetV2::computeOffset(state, svalBuilder, location); 109 SVal extentBegin = computeExtentBegin(svalBuilder, rawOffset.getRegion()); 113 = svalBuilder.evalBinOpNN(state, BO_LT, rawOffset.getByteOffset() [all...] |
StreamChecker.cpp | 226 SValBuilder &svalBuilder = C.getSValBuilder(); 228 cast<DefinedSVal>(svalBuilder.getConjuredSymbolVal(0, CE, Count));
|
MallocChecker.cpp | 225 SValBuilder &svalBuilder = C.getSValBuilder(); 228 SVal retVal = svalBuilder.getConjuredSymbolVal(NULL, CE, CE->getType(), Count); 236 DefinedOrUnknownSVal Extent = R->getExtent(svalBuilder); 239 svalBuilder.evalEQ(state, Extent, DefinedSize); 501 SValBuilder &svalBuilder = C.getSValBuilder(); 504 svalBuilder.evalEQ(state, arg0Val, svalBuilder.makeNull()); 517 svalBuilder.evalEQ(state, Arg1Val [all...] |
CStringChecker.cpp | 200 SValBuilder &svalBuilder = C.getSValBuilder(); 201 DefinedOrUnknownSVal zero = svalBuilder.makeZeroVal(Ty); 202 return state->assume(svalBuilder.evalEQ(state, *val, zero)); 267 SValBuilder &svalBuilder = C.getSValBuilder(); 269 svalBuilder.convertToArrayIndex(superReg->getExtent(svalBuilder)); 330 SValBuilder &svalBuilder = C.getSValBuilder() [all...] |
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
Store.h | 19 #include "clang/StaticAnalyzer/Core/PathSensitive/SValBuilder.h" 38 SValBuilder &svalBuilder; 93 return svalBuilder.makeLoc(MRMgr.getVarRegion(VD, LC)); 97 return svalBuilder.makeLoc(MRMgr.getStringRegion(S));
|
ExprEngine.h | 57 /// svalBuilder - SValBuilder object that creates SVals from expressions. 58 SValBuilder &svalBuilder; 112 SValBuilder &getSValBuilder() { return svalBuilder; } 215 // FIXME: Remove when we migrate over to just using SValBuilder. 394 return X.isValid() ? svalBuilder.evalMinus(cast<NonLoc>(X)) : X; 398 return X.isValid() ? svalBuilder.evalComplement(cast<NonLoc>(X)) : X; 405 return svalBuilder.evalBinOpNN(state, op, L, R, T) [all...] |
ProgramState.h | 21 #include "clang/StaticAnalyzer/Core/PathSensitive/SValBuilder.h" 426 llvm::OwningPtr<SValBuilder> svalBuilder; 447 svalBuilder(createSimpleSValBuilder(alloc, Ctx, *this)), 460 svalBuilder(createSimpleSValBuilder(alloc, Ctx, *this)), 470 ASTContext &getContext() { return svalBuilder->getContext(); } 471 const ASTContext &getContext() const { return svalBuilder->getContext(); } 474 return svalBuilder->getBasicValueFactory(); 477 return svalBuilder->getBasicValueFactory(); 480 SValBuilder &getSValBuilder() [all...] |
/external/clang/lib/StaticAnalyzer/Core/ |
ProgramState.cpp | 273 // FIXME: This should probably be part of SValBuilder. 275 SValBuilder &svalBuilder = SM.getSValBuilder(); 276 ASTContext &Ctx = svalBuilder.getContext(); 279 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); 285 SVal newIdx = svalBuilder.evalBinOpNN(this, BO_Add, 292 svalBuilder.evalBinOpNN(this, BO_Add, cast<NonLoc>(UpperBound), 299 SVal inBound = svalBuilder.evalBinOpNN(this, BO_LT,
|
RegionStore.cpp | 474 SValBuilder &svalBuilder; 484 svalBuilder(StateMgr.getSValBuilder()), 677 svalBuilder.getConjuredSymbolVal(baseR, Ex, Ctx.IntTy, Count); 693 svalBuilder.getConjuredSymbolVal(baseR, Ex, Ctx.IntTy, Count); 701 svalBuilder.getConjuredSymbolVal(baseR, Ex, AT->getElementType(), Count); 716 DefinedOrUnknownSVal V = svalBuilder.getConjuredSymbolVal(baseR, Ex, T, Count); 749 svalBuilder.getConjuredSymbolVal(/* SymbolTag = */ (void*) GS, Ex, 770 SVal Size = cast<SubRegion>(R)->getExtent(svalBuilder); 771 const llvm::APSInt *SizeInt = svalBuilder.getKnownValue(state, Size) [all...] |