| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | SValBuilder.h | 53 virtual SVal evalCastFromNonLoc(NonLoc val, QualType castTy) = 0;
86 virtual SVal evalMinus(NonLoc val) = 0;
88 virtual SVal evalComplement(NonLoc val) = 0;
93 NonLoc lhs, NonLoc rhs, QualType resultTy) = 0;
104 Loc lhs, NonLoc rhs, QualType resultTy) = 0;
112 NonLoc lhs, NonLoc rhs, QualType resultTy);
204 NonLoc makeCompoundVal(QualType type, llvm::ImmutableList<SVal> vals) { in makeCompoundVal()
208 NonLoc makeLazyCompoundVal(const StoreRef &store, in makeLazyCompoundVal()
214 NonLoc makeZeroArrayIndex() { in makeZeroArrayIndex()
218 NonLoc makeArrayIndex(uint64_t idx) { in makeArrayIndex()
[all …]
|
| D | SVals.h | 258 class NonLoc : public DefinedSVal {
260 NonLoc() {} in NonLoc() function
261 explicit NonLoc(unsigned SubKind, const void *d) in NonLoc() function
305 class SymbolVal : public NonLoc {
307 SymbolVal(SymbolRef sym) : NonLoc(SymbolValKind, sym) {} in SymbolVal()
325 static bool isKind(const NonLoc& V) { in isKind()
331 class ConcreteInt : public NonLoc {
333 explicit ConcreteInt(const llvm::APSInt& V) : NonLoc(ConcreteIntKind, &V) {} in ConcreteInt()
355 static bool isKind(const NonLoc& V) { in isKind()
360 class LocAsInteger : public NonLoc {
[all …]
|
| D | ExprEngine.h | 433 return X.isValid() ? svalBuilder.evalMinus(X.castAs<NonLoc>()) : X; in evalMinus()
437 return X.isValid() ? svalBuilder.evalComplement(X.castAs<NonLoc>()) : X; in evalComplement()
443 NonLoc L, NonLoc R, QualType T) { in evalBinOp()
448 NonLoc L, SVal R, QualType T) { in evalBinOp()
450 R.castAs<NonLoc>(), T) : R; in evalBinOp()
|
| D | MemRegion.h | 994 NonLoc Index;
996 ElementRegion(QualType elementType, NonLoc Idx, const MemRegion* sReg) in ElementRegion()
1009 NonLoc getIndex() const { return Index; } in getIndex()
1192 const ElementRegion *getElementRegion(QualType elementType, NonLoc Idx,
|
| D | Store.h | 117 virtual SVal getLValueElement(QualType elementType, NonLoc offset, SVal Base);
|
| D | ProgramState.h | 685 if (Optional<NonLoc> N = Idx.getAs<NonLoc>()) in getLValue()
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| D | ArrayBoundCheckerV2.cpp | 56 NonLoc getByteOffset() const { return byteOffset.castAs<NonLoc>(); } in getByteOffset()
113 if (Optional<NonLoc> NV = extentBegin.getAs<NonLoc>()) { in checkLocation()
118 Optional<NonLoc> lowerBoundToCheck = lowerBound.getAs<NonLoc>(); in checkLocation()
142 if (!extentVal.getAs<NonLoc>()) in checkLocation()
147 extentVal.castAs<NonLoc>(), in checkLocation()
150 Optional<NonLoc> upperboundToCheck = upperbound.getAs<NonLoc>(); in checkLocation()
243 NonLoc baseVal, CharUnits scaling, in scaleValue()
259 return svalBuilder.evalBinOpNN(state, BO_Add, x.castAs<NonLoc>(), in addValue()
260 y.castAs<NonLoc>(), in addValue()
286 if (!index.getAs<NonLoc>()) in computeOffset()
[all …]
|
| D | CStringChecker.cpp | 189 NonLoc left,
190 NonLoc right) const;
362 Optional<NonLoc> Length = LengthVal.getAs<NonLoc>(); in CheckBufferAccess()
367 NonLoc One = svalBuilder.makeIntVal(1, sizeTy).castAs<NonLoc>(); in CheckBufferAccess()
368 NonLoc LastOffset = svalBuilder in CheckBufferAccess()
369 .evalBinOpNN(state, BO_Sub, *Length, One, sizeTy).castAs<NonLoc>(); in CheckBufferAccess()
477 Optional<NonLoc> Length = LengthVal.getAs<NonLoc>(); in CheckOverlap()
540 NonLoc left, in checkAdditionOverflow()
541 NonLoc right) const { in checkAdditionOverflow()
555 NonLoc maxVal = svalBuilder.makeIntVal(maxValInt); in checkAdditionOverflow()
[all …]
|
| D | VLASizeChecker.cpp | 133 NonLoc ArrayLength = in checkPreStmt()
134 svalBuilder.evalCast(sizeD, SizeTy, SE->getType()).castAs<NonLoc>(); in checkPreStmt()
142 state, BO_Mul, ArrayLength, EleSizeVal.castAs<NonLoc>(), SizeTy); in checkPreStmt()
|
| D | UnixAPIChecker.cpp | 105 if (!V.getAs<NonLoc>()) { in CheckOpen()
110 NonLoc oflags = V.castAs<NonLoc>(); in CheckOpen()
111 NonLoc ocreateFlag = C.getSValBuilder() in CheckOpen()
112 .makeIntVal(Val_O_CREAT.getValue(), oflagsEx->getType()).castAs<NonLoc>(); in CheckOpen()
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| D | SimpleSValBuilder.cpp | 25 virtual SVal evalCastFromNonLoc(NonLoc val, QualType castTy);
34 virtual SVal evalMinus(NonLoc val);
35 virtual SVal evalComplement(NonLoc val);
37 NonLoc lhs, NonLoc rhs, QualType resultTy);
41 Loc lhs, NonLoc rhs, QualType resultTy);
63 assert(Val.getAs<Loc>() || Val.getAs<NonLoc>()); in dispatchCast()
65 : evalCastFromNonLoc(Val.castAs<NonLoc>(), CastTy); in dispatchCast()
68 SVal SimpleSValBuilder::evalCastFromNonLoc(NonLoc val, QualType castTy) { in evalCastFromNonLoc()
161 SVal SimpleSValBuilder::evalMinus(NonLoc val) { in evalMinus()
170 SVal SimpleSValBuilder::evalComplement(NonLoc X) { in evalComplement()
[all …]
|
| D | SValBuilder.cpp | 44 NonLoc SValBuilder::makeNonLoc(const SymExpr *lhs, BinaryOperator::Opcode op, in makeNonLoc()
54 NonLoc SValBuilder::makeNonLoc(const llvm::APSInt& lhs, in makeNonLoc()
62 NonLoc SValBuilder::makeNonLoc(const SymExpr *lhs, BinaryOperator::Opcode op, in makeNonLoc()
69 NonLoc SValBuilder::makeNonLoc(const SymExpr *operand, in makeNonLoc()
87 return evalCastFromNonLoc(val.castAs<NonLoc>(), ArrayIndexTy); in convertToArrayIndex()
224 NonLoc LHS, NonLoc RHS, in makeSymExprValNN()
264 return evalBinOpLN(state, op, *LV, rhs.castAs<NonLoc>(), type); in evalBinOp()
273 return evalBinOpLN(state, op, *RV, lhs.castAs<NonLoc>(), type); in evalBinOp()
276 return evalBinOpNN(state, op, lhs.castAs<NonLoc>(), rhs.castAs<NonLoc>(), in evalBinOp()
|
| D | SimpleConstraintManager.cpp | 61 if (Optional<NonLoc> NV = Cond.getAs<NonLoc>()) in assume()
114 NonLoc cond, in assume()
156 NonLoc Cond, in assumeAux()
|
| D | SimpleConstraintManager.h | 41 ProgramStateRef assume(ProgramStateRef state, NonLoc Cond, bool Assumption);
93 NonLoc Cond,
|
| D | Store.cpp | 47 NonLoc idx = svalBuilder.makeArrayIndex(index); in MakeElementRegion()
68 NonLoc idx = svalBuilder.makeZeroArrayIndex(); in GetElementZeroRegion()
415 SVal StoreManager::getLValueElement(QualType elementType, NonLoc Offset, in getLValueElement()
431 Offset = svalBuilder.convertToArrayIndex(Offset).castAs<NonLoc>(); in getLValueElement()
|
| D | SVals.cpp | 240 castAs<NonLoc>().dumpToStream(os); in dumpToStream()
251 void NonLoc::dumpToStream(raw_ostream &os) const { in dumpToStream()
|
| D | ProgramState.cpp | 304 Idx.castAs<NonLoc>(), Min, indexTy); in assumeInBound()
310 svalBuilder.evalBinOpNN(this, BO_Add, UpperBound.castAs<NonLoc>(), in assumeInBound()
317 SVal inBound = svalBuilder.evalBinOpNN(this, BO_LT, newIdx.castAs<NonLoc>(), in assumeInBound()
318 newBound.castAs<NonLoc>(), Ctx.IntTy); in assumeInBound()
|
| D | RegionStore.cpp | 493 NonLoc createLazyBinding(RegionBindingsConstRef B, const TypedValueRegion *R);
1138 NonLoc ZeroIdx = svalBuilder.makeZeroArrayIndex(); in ArrayToPointer()
1548 NonLoc index = ER->getIndex(); in getBindingForFieldOrElementCommon()
1714 NonLoc RegionStoreManager::createLazyBinding(RegionBindingsConstRef B, in createLazyBinding()
1891 const NonLoc &Idx = svalBuilder.makeArrayIndex(i); in bindArray()
1938 NonLoc Idx = svalBuilder.makeArrayIndex(index); in bindVector()
|
| D | ExprEngineC.cpp | 816 state = state->BindExpr(U, LCtx, evalComplement(V.castAs<NonLoc>())); in VisitUnaryOperator()
820 state = state->BindExpr(U, LCtx, evalMinus(V.castAs<NonLoc>())); in VisitUnaryOperator()
837 Result = evalBinOp(state, BO_EQ, V.castAs<NonLoc>(), X, in VisitUnaryOperator()
|
| D | ExprEngine.cpp | 174 if (!Result && !V.getAs<NonLoc>()) in createTemporaryRegionIfNeeded()
185 if (V.getAs<NonLoc>()) { in createTemporaryRegionIfNeeded()
1863 assert(!location.getAs<NonLoc>() && "location cannot be a NonLoc."); in evalLoad()
2032 assert (!X.getAs<NonLoc>()); // Should be an Lval, or unknown, undef. in VisitGCCAsmStmt()
|
| D | MemRegion.cpp | 839 MemRegionManager::getElementRegion(QualType elementType, NonLoc Idx, in getElementRegion()
|