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