HomeSort by relevance Sort by last modified time
    Searched defs:svalBuilder (Results 1 - 12 of 12) sorted by null

  /external/clang/lib/StaticAnalyzer/Checkers/
BoolAssignmentChecker.cpp 80 SValBuilder &svalBuilder = C.getSValBuilder();
84 DefinedSVal zeroVal = svalBuilder.makeIntVal(0, valTy);
86 svalBuilder.evalBinOp(state, BO_GE, *DV, zeroVal,
87 svalBuilder.getConditionType());
93 // The SValBuilder cannot construct a valid SVal for this condition.
120 DefinedSVal OneVal = svalBuilder.makeIntVal(1, valTy);
122 svalBuilder.evalBinOp(state, BO_LE, *DV, OneVal,
123 svalBuilder.getConditionType());
129 // The SValBuilder cannot construct a valid SVal for this condition
    [all...]
BuiltinFunctionChecker.cpp 70 SValBuilder& svalBuilder = C.getSValBuilder();
71 DefinedOrUnknownSVal Extent = R->getExtent(svalBuilder);
73 svalBuilder.evalEQ(state, Extent, Size);
88 SValBuilder &SVB = C.getSValBuilder();
ArrayBoundCheckerV2.cpp 60 SValBuilder &svalBuilder,
68 static SVal computeExtentBegin(SValBuilder &svalBuilder,
73 return svalBuilder.makeZeroArrayIndex();
100 SValBuilder &svalBuilder = checkerContext.getSValBuilder();
102 RegionRawOffsetV2::computeOffset(state, svalBuilder, location);
111 SVal extentBegin = computeExtentBegin(svalBuilder, rawOffset.getRegion());
115 svalBuilder.evalBinOpNN(state, BO_LT, rawOffset.getByteOffset(), *NV
    [all...]
VLASizeChecker.cpp 135 SValBuilder &svalBuilder = C.getSValBuilder();
138 DefinedOrUnknownSVal Zero = svalBuilder.makeZeroVal(Ty);
140 SVal LessThanZeroVal = svalBuilder.evalBinOp(state, BO_LT, sizeD, Zero, Ty);
157 svalBuilder.evalCast(sizeD, SizeTy, SE->getType()).castAs<NonLoc>();
161 SVal EleSizeVal = svalBuilder.makeIntVal(EleSize.getQuantity(), SizeTy);
164 SVal ArraySizeVal = svalBuilder.evalBinOpNN(
170 state->getRegion(VD, LC)->getExtent(svalBuilder);
173 svalBuilder.evalEQ(state, Extent, ArraySize);
StreamChecker.cpp 213 SValBuilder &svalBuilder = C.getSValBuilder();
215 DefinedSVal RetVal = svalBuilder.conjureSymbolVal(nullptr, CE, LCtx,
CStringChecker.cpp 222 SValBuilder &svalBuilder = C.getSValBuilder();
223 DefinedOrUnknownSVal zero = svalBuilder.makeZeroVal(Ty);
224 return state->assume(svalBuilder.evalEQ(state, *val, zero));
293 SValBuilder &svalBuilder = C.getSValBuilder();
295 svalBuilder.convertToArrayIndex(superReg->getExtent(svalBuilder));
357 SValBuilder &svalBuilder = C.getSValBuilder()
    [all...]
MallocChecker.cpp     [all...]
  /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
Store.h 18 #include "clang/StaticAnalyzer/Core/PathSensitive/SValBuilder.h"
42 SValBuilder &svalBuilder;
88 return svalBuilder.makeLoc(MRMgr.getVarRegion(VD, LC));
ExprEngine.h 74 /// svalBuilder - SValBuilder object that creates SVals from expressions.
75 SValBuilder &svalBuilder;
131 SValBuilder &getSValBuilder() { return svalBuilder; }
306 // FIXME: Remove when we migrate over to just using SValBuilder.
467 return X.isValid() ? svalBuilder.evalMinus(X.castAs<NonLoc>()) : X;
471 return X.isValid() ? svalBuilder.evalComplement(X.castAs<NonLoc>()) : X;
478 return svalBuilder.evalBinOpNN(state, op, L, R, T)
    [all...]
ProgramState.h 22 #include "clang/StaticAnalyzer/Core/PathSensitive/SValBuilder.h"
465 std::unique_ptr<SValBuilder> svalBuilder;
487 ASTContext &getContext() { return svalBuilder->getContext(); }
488 const ASTContext &getContext() const { return svalBuilder->getContext(); }
491 return svalBuilder->getBasicValueFactory();
494 SValBuilder &getSValBuilder() {
495 return *svalBuilder;
499 return svalBuilder->getSymbolManager();
502 return svalBuilder->getSymbolManager()
    [all...]
  /external/clang/lib/StaticAnalyzer/Core/
ProgramState.cpp 76 svalBuilder(createSimpleSValBuilder(alloc, Ctx, *this)),
313 // FIXME: This should probably be part of SValBuilder.
315 SValBuilder &svalBuilder = SM.getSValBuilder();
316 ASTContext &Ctx = svalBuilder.getContext();
319 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory();
326 SVal newIdx = svalBuilder.evalBinOpNN(this, BO_Add,
333 svalBuilder.evalBinOpNN(this, BO_Add, UpperBound.castAs<NonLoc>(),
340 SVal inBound = svalBuilder.evalBinOpNN(this, BO_LT, newIdx.castAs<NonLoc>(),
RegionStore.cpp 649 SValBuilder &svalBuilder;
670 svalBuilder(StateMgr.getSValBuilder()),
799 SValBuilder &SVB, const ClusterBindings &Cluster,
871 SValBuilder &SVB, const ClusterBindings &Cluster,
    [all...]

Completed in 190 milliseconds