Home
last modified time | relevance | path

Searched refs:NonLoc (Results 1 – 25 of 37) sorted by relevance

12

/netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/
H A DArrayBoundCheckerV2.cpp59 NonLoc getByteOffset() const { return byteOffset.castAs<NonLoc>(); } in getByteOffset()
84 static std::pair<NonLoc, nonloc::ConcreteInt>
85 getSimplifiedOffsets(NonLoc offset, nonloc::ConcreteInt extent, in getSimplifiedOffsets()
97 return std::pair<NonLoc, nonloc::ConcreteInt>(offset, extent); in getSimplifiedOffsets()
113 return std::pair<NonLoc, nonloc::ConcreteInt>(offset, extent); in getSimplifiedOffsets()
138 NonLoc rawOffsetVal = rawOffset.getByteOffset(); in checkLocation()
146 if (Optional<NonLoc> NV = extentBegin.getAs<NonLoc>()) { in checkLocation()
148 std::pair<NonLoc, nonloc::ConcreteInt> simplifiedOffsets = in checkLocation()
159 Optional<NonLoc> lowerBoundToCheck = lowerBound.getAs<NonLoc>(); in checkLocation()
183 if (!Size.getAs<NonLoc>()) in checkLocation()
[all …]
H A DCStringChecker.cpp262 NonLoc left,
263 NonLoc right) const;
404 Optional<NonLoc> Length = LengthVal.getAs<NonLoc>(); in CheckBufferAccess()
409 NonLoc One = svalBuilder.makeIntVal(1, SizeTy).castAs<NonLoc>(); in CheckBufferAccess()
413 NonLoc LastOffset = Offset.castAs<NonLoc>(); in CheckBufferAccess()
504 Optional<NonLoc> Length = LengthVal.getAs<NonLoc>(); in CheckOverlap()
644 NonLoc left, in checkAdditionOverflow()
645 NonLoc right) const { in checkAdditionOverflow()
659 NonLoc maxVal = svalBuilder.makeIntVal(maxValInt); in checkAdditionOverflow()
673 if (Optional<NonLoc> maxMinusRightNL = maxMinusRight.getAs<NonLoc>()) { in checkAdditionOverflow()
[all …]
H A DVLASizeChecker.cpp103 NonLoc ArrSize = in checkVLA()
104 SVB.makeIntVal(EleSize.getQuantity(), SizeTy).castAs<NonLoc>(); in checkVLA()
114 NonLoc IndexLength = in checkVLA()
115 SVB.evalCast(SizeD, SizeTy, SizeE->getType()).castAs<NonLoc>(); in checkVLA()
118 if (auto MulNonLoc = Mul.getAs<NonLoc>()) in checkVLA()
281 auto ArraySizeNL = ArraySize.getAs<NonLoc>(); in checkPreStmt()
H A DUnixAPIChecker.cpp233 if (!V.getAs<NonLoc>()) { in CheckOpenVariant()
238 NonLoc oflags = V.castAs<NonLoc>(); in CheckOpenVariant()
239 NonLoc ocreateFlag = C.getSValBuilder() in CheckOpenVariant()
240 .makeIntVal(Val_O_CREAT.getValue(), oflagsEx->getType()).castAs<NonLoc>(); in CheckOpenVariant()
H A DBoolAssignmentChecker.cpp73 Optional<NonLoc> NV = val.getAs<NonLoc>(); in checkBind()
H A DIterator.h184 bool compare(ProgramStateRef State, NonLoc NL1, NonLoc NL2,
H A DIteratorRangeChecker.cpp70 bool isZero(ProgramStateRef State, const NonLoc &Val);
235 if (isZero(State, Value.castAs<NonLoc>())) in verifyRandomIncrOrDecr()
298 bool isZero(ProgramStateRef State, const NonLoc &Val) { in isZero()
H A DStreamChecker.cpp601 Optional<NonLoc> SizeVal = Call.getArgSVal(1).getAs<NonLoc>(); in evalFreadFwrite()
604 Optional<NonLoc> NMembVal = Call.getArgSVal(2).getAs<NonLoc>(); in evalFreadFwrite()
642 Optional<NonLoc> RetVal = makeRetVal(C, CE).castAs<NonLoc>(); in evalFreadFwrite()
H A DIterator.cpp304 bool compare(ProgramStateRef State, NonLoc NL1, NonLoc NL2, in compare()
/netbsd-src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSValBuilder.h78 SVal evalCastKind(NonLoc V, QualType CastTy, QualType OriginalTy);
125 virtual SVal evalMinus(NonLoc val) = 0;
127 virtual SVal evalComplement(NonLoc val) = 0;
132 NonLoc lhs, NonLoc rhs, QualType resultTy) = 0;
143 Loc lhs, NonLoc rhs, QualType resultTy) = 0;
156 NonLoc lhs, NonLoc rhs, QualType resultTy);
264 NonLoc makeCompoundVal(QualType type, llvm::ImmutableList<SVal> vals) { in makeCompoundVal()
268 NonLoc makeLazyCompoundVal(const StoreRef &store, in makeLazyCompoundVal()
274 NonLoc makePointerToMember(const DeclaratorDecl *DD) { in makePointerToMember()
278 NonLoc makePointerToMember(const PointerToMemberData *PTMD) { in makePointerToMember()
[all …]
H A DSVals.h292 class NonLoc : public DefinedSVal {
294 NonLoc() = default;
295 explicit NonLoc(unsigned SubKind, const void *d) in NonLoc() function
343 class SymbolVal : public NonLoc {
346 SymbolVal(SymbolRef sym) : NonLoc(SymbolValKind, sym) { in SymbolVal()
367 static bool isKind(const NonLoc& V) { in isKind()
373 class ConcreteInt : public NonLoc {
375 explicit ConcreteInt(const llvm::APSInt& V) : NonLoc(ConcreteIntKind, &V) {} in ConcreteInt()
399 static bool isKind(const NonLoc& V) { in isKind()
404 class LocAsInteger : public NonLoc {
[all …]
H A DSVals.def62 ABSTRACT_SVAL_WITH_KIND(NonLoc, DefinedSVal)
63 NONLOC_SVAL(CompoundVal, NonLoc)
64 NONLOC_SVAL(ConcreteInt, NonLoc)
65 NONLOC_SVAL(LazyCompoundVal, NonLoc)
66 NONLOC_SVAL(LocAsInteger, NonLoc)
67 NONLOC_SVAL(SymbolVal, NonLoc)
68 NONLOC_SVAL(PointerToMember, NonLoc)
H A DSimpleConstraintManager.h42 ProgramStateRef assumeInclusiveRange(ProgramStateRef State, NonLoc Value,
82 ProgramStateRef assume(ProgramStateRef State, NonLoc Cond, bool Assumption);
84 ProgramStateRef assumeAux(ProgramStateRef State, NonLoc Cond,
H A DConstraintManager.h117 NonLoc Value,
123 NonLoc Value, in assumeInclusiveRangeDual()
H A DExprEngine.h594 return X.isValid() ? svalBuilder.evalMinus(X.castAs<NonLoc>()) : X; in evalMinus()
598 return X.isValid() ? svalBuilder.evalComplement(X.castAs<NonLoc>()) : X; in evalComplement()
619 NonLoc L, NonLoc R, QualType T) { in evalBinOp()
624 NonLoc L, SVal R, QualType T) { in evalBinOp()
626 R.castAs<NonLoc>(), T) : R; in evalBinOp()
H A DProgramState.h690 assert(Val.getAs<NonLoc>() && "Only NonLocs are supported!"); in assumeInclusiveRange()
693 this, Val.castAs<NonLoc>(), From, To, Assumption); in assumeInclusiveRange()
703 assert(Val.getAs<NonLoc>() && "Only NonLocs are supported!"); in assumeInclusiveRange()
706 this, Val.castAs<NonLoc>(), From, To); in assumeInclusiveRange()
760 if (Optional<NonLoc> N = Idx.getAs<NonLoc>()) in getLValue()
H A DBasicValueFactory.h47 assert(NonLoc::isCompoundType(t)); in CompoundValData()
68 assert(NonLoc::isCompoundType(r->getValueType())); in LazyCompoundValData()
/netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Core/
H A DSimpleSValBuilder.cpp31 SVal evalMinus(NonLoc val) override;
32 SVal evalComplement(NonLoc val) override;
34 NonLoc lhs, NonLoc rhs, QualType resultTy) override;
38 Loc lhs, NonLoc rhs, QualType resultTy) override;
63 SVal SimpleSValBuilder::evalMinus(NonLoc val) { in evalMinus()
72 SVal SimpleSValBuilder::evalComplement(NonLoc X) { in evalComplement()
239 static NonLoc doRearrangeUnchecked(ProgramStateRef State, in doRearrangeUnchecked()
267 .castAs<NonLoc>(); in doRearrangeUnchecked()
314 static Optional<NonLoc> tryRearrange(ProgramStateRef State, in tryRearrange()
315 BinaryOperator::Opcode Op, NonLoc Lhs, in tryRearrange()
[all …]
H A DSValBuilder.cpp67 NonLoc SValBuilder::makeNonLoc(const SymExpr *lhs, BinaryOperator::Opcode op, in makeNonLoc()
77 NonLoc SValBuilder::makeNonLoc(const llvm::APSInt& lhs, in makeNonLoc()
85 NonLoc SValBuilder::makeNonLoc(const SymExpr *lhs, BinaryOperator::Opcode op, in makeNonLoc()
92 NonLoc SValBuilder::makeNonLoc(const SymExpr *operand, in makeNonLoc()
387 NonLoc LHS, NonLoc RHS, in makeSymExprValNN()
438 return evalBinOpLN(state, op, *LV, rhs.castAs<NonLoc>(), type); in evalBinOp()
447 return evalBinOpLN(state, op, *RV, lhs.castAs<NonLoc>(), type); in evalBinOp()
450 return evalBinOpNN(state, op, lhs.castAs<NonLoc>(), rhs.castAs<NonLoc>(), in evalBinOp()
520 NonLoc ToTypeMaxVal = in evalIntegralCast()
524 .castAs<NonLoc>(); in evalIntegralCast()
[all …]
H A DSimpleConstraintManager.cpp41 return assume(State, Cond.castAs<NonLoc>(), Assumption); in assume()
45 NonLoc Cond, bool Assumption) { in assume()
53 NonLoc Cond, in assumeAux()
95 ProgramStateRef State, NonLoc Value, const llvm::APSInt &From, in assumeInclusiveRange()
H A DStore.cpp63 NonLoc idx = svalBuilder.makeArrayIndex(index); in MakeElementRegion()
69 NonLoc idx = svalBuilder.makeZeroArrayIndex(); in GetElementZeroRegion()
442 SVal StoreManager::getLValueElement(QualType elementType, NonLoc Offset, in getLValueElement()
461 Offset = svalBuilder.convertToArrayIndex(Offset).castAs<NonLoc>(); in getLValueElement()
H A DCheckerContext.cpp106 if (!LHSVal.getAs<NonLoc>()) { in evalComparison()
109 if (LHSVal.isUnknownOrUndef() || !LHSVal.getAs<NonLoc>()) in evalComparison()
H A DProgramState.cpp343 Idx.castAs<NonLoc>(), Min, indexTy); in assumeInBound()
349 svalBuilder.evalBinOpNN(this, BO_Add, UpperBound.castAs<NonLoc>(), in assumeInBound()
356 SVal inBound = svalBuilder.evalBinOpNN(this, BO_LT, newIdx.castAs<NonLoc>(), in assumeInBound()
357 newBound.castAs<NonLoc>(), Ctx.IntTy); in assumeInBound()
H A DSVals.cpp280 castAs<NonLoc>().dumpToStream(os); in dumpToStream()
291 void NonLoc::dumpToStream(raw_ostream &os) const { in dumpToStream()
H A DDynamicExtent.cpp70 NonLoc OffsetInBytes = SvalBuilder.makeArrayIndex( in getDynamicExtentWithOffset()

12