Home
last modified time | relevance | path

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

12

/openbsd-src/gnu/llvm/clang/lib/StaticAnalyzer/Checkers/
H A DArrayBoundCheckerV2.cpp60 NonLoc getByteOffset() const { return byteOffset.castAs<NonLoc>(); } in getByteOffset()
85 static std::pair<NonLoc, nonloc::ConcreteInt>
86 getSimplifiedOffsets(NonLoc offset, nonloc::ConcreteInt extent, in getSimplifiedOffsets()
98 return std::pair<NonLoc, nonloc::ConcreteInt>(offset, extent); in getSimplifiedOffsets()
114 return std::pair<NonLoc, nonloc::ConcreteInt>(offset, extent); in getSimplifiedOffsets()
139 NonLoc rawOffsetVal = rawOffset.getByteOffset(); in checkLocation()
147 if (std::optional<NonLoc> NV = extentBegin.getAs<NonLoc>()) { in checkLocation()
149 std::pair<NonLoc, nonloc::ConcreteInt> simplifiedOffsets = in checkLocation()
159 std::optional<NonLoc> lowerBoundToCheck = lowerBound.getAs<NonLoc>(); in checkLocation()
183 if (!isa<NonLoc>(Size)) in checkLocation()
[all …]
H A DCStringChecker.cpp299 NonLoc left,
300 NonLoc right) const;
385 NonLoc Idx = ER->getIndex(); in CheckLocation()
395 NonLoc WideSize = in CheckLocation()
399 .castAs<NonLoc>(); in CheckLocation()
403 Idx = Offset.castAs<NonLoc>(); in CheckLocation()
469 std::optional<NonLoc> Length = LengthVal.getAs<NonLoc>(); in CheckBufferAccess()
474 NonLoc One = svalBuilder.makeIntVal(1, SizeTy).castAs<NonLoc>(); in CheckBufferAccess()
478 NonLoc LastOffset = Offset.castAs<NonLoc>(); in CheckBufferAccess()
574 std::optional<NonLoc> Length = LengthVal.getAs<NonLoc>(); in CheckOverlap()
[all …]
H A DVLASizeChecker.cpp104 NonLoc ArrSize = in checkVLA()
105 SVB.makeIntVal(EleSize.getQuantity(), SizeTy).castAs<NonLoc>(); in checkVLA()
115 NonLoc IndexLength = in checkVLA()
116 SVB.evalCast(SizeD, SizeTy, SizeE->getType()).castAs<NonLoc>(); in checkVLA()
119 if (auto MulNonLoc = Mul.getAs<NonLoc>()) in checkVLA()
282 if (!isa<NonLoc>(ArraySize)) { in checkPreStmt()
292 ArraySize.castAs<NonLoc>(), SVB); in checkPreStmt()
H A DUnixAPIChecker.cpp230 if (!isa<NonLoc>(V)) { in CheckOpenVariant()
235 NonLoc oflags = V.castAs<NonLoc>(); in CheckOpenVariant()
236 NonLoc ocreateFlag = C.getSValBuilder() in CheckOpenVariant()
238 .castAs<NonLoc>(); in CheckOpenVariant()
H A DBoolAssignmentChecker.cpp78 std::optional<NonLoc> NV = val.getAs<NonLoc>(); in checkBind()
H A DErrnoModeling.cpp295 NonLoc ErrnoSym) { in setErrnoForStdFailure()
297 NonLoc ZeroVal = SVB.makeZeroVal(C.getASTContext().IntTy).castAs<NonLoc>(); in setErrnoForStdFailure()
H A DIterator.h180 bool compare(ProgramStateRef State, NonLoc NL1, NonLoc NL2,
H A DStreamChecker.cpp687 std::optional<NonLoc> SizeVal = Call.getArgSVal(1).getAs<NonLoc>(); in evalFreadFwrite()
690 std::optional<NonLoc> NMembVal = Call.getArgSVal(2).getAs<NonLoc>(); in evalFreadFwrite()
726 NonLoc RetVal = makeRetVal(C, CE).castAs<NonLoc>(); in evalFreadFwrite()
896 NonLoc RetVal = makeRetVal(C, CE).castAs<NonLoc>(); in evalFtell()
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 DErrnoModeling.h106 NonLoc ErrnoSym);
/openbsd-src/gnu/llvm/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSValBuilder.h90 SVal evalMinus(NonLoc val);
91 SVal evalComplement(NonLoc val);
96 NonLoc lhs, NonLoc rhs, QualType resultTy) = 0;
107 Loc lhs, NonLoc rhs, QualType resultTy) = 0;
120 NonLoc lhs, NonLoc rhs, QualType resultTy);
241 NonLoc makeCompoundVal(QualType type, llvm::ImmutableList<SVal> vals) { in makeCompoundVal()
245 NonLoc makeLazyCompoundVal(const StoreRef &store, in makeLazyCompoundVal()
251 NonLoc makePointerToMember(const DeclaratorDecl *DD) { in makePointerToMember()
255 NonLoc makePointerToMember(const PointerToMemberData *PTMD) { in makePointerToMember()
259 NonLoc makeZeroArrayIndex() { in makeZeroArrayIndex()
[all …]
H A DSVals.h265 class NonLoc : public DefinedSVal {
267 explicit NonLoc(unsigned SubKind, const void *d) in NonLoc() function
304 class SymbolVal : public NonLoc {
307 SymbolVal(SymbolRef sym) : NonLoc(SymbolValKind, sym) { in SymbolVal()
325 static bool classof(NonLoc V) { return V.getSubKind() == SymbolValKind; } in classof()
329 class ConcreteInt : public NonLoc {
331 explicit ConcreteInt(const llvm::APSInt& V) : NonLoc(ConcreteIntKind, &V) {} in ConcreteInt()
341 static bool classof(NonLoc V) { return V.getSubKind() == ConcreteIntKind; } in classof()
344 class LocAsInteger : public NonLoc {
348 : NonLoc(LocAsIntegerKind, &data) { in LocAsInteger()
[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.h73 NonLoc Value,
83 ProgramStateRef assume(ProgramStateRef State, NonLoc Cond, bool Assumption);
85 ProgramStateRef assumeAux(ProgramStateRef State, NonLoc Cond,
H A DConstraintManager.h89 ProgramStateRef assumeInclusiveRange(ProgramStateRef State, NonLoc Value,
98 ProgramStatePair assumeInclusiveRangeDual(ProgramStateRef State, NonLoc Value,
150 NonLoc Value,
H A DProgramState.h730 assert(isa<NonLoc>(Val) && "Only NonLocs are supported!"); in assumeInclusiveRange()
733 this, Val.castAs<NonLoc>(), From, To, Assumption); in assumeInclusiveRange()
743 assert(isa<NonLoc>(Val) && "Only NonLocs are supported!"); in assumeInclusiveRange()
746 this, Val.castAs<NonLoc>(), From, To); in assumeInclusiveRange()
800 if (std::optional<NonLoc> N = Idx.getAs<NonLoc>()) in getLValue()
H A DBasicValueFactory.h46 assert(NonLoc::isCompoundType(t)); in CompoundValData()
70 assert(NonLoc::isCompoundType(r->getValueType())); in LazyCompoundValData()
/openbsd-src/gnu/llvm/clang/lib/StaticAnalyzer/Core/
H A DSimpleSValBuilder.cpp68 NonLoc lhs, NonLoc rhs, QualType resultTy) override;
72 Loc lhs, NonLoc rhs, QualType resultTy) override;
278 static NonLoc doRearrangeUnchecked(ProgramStateRef State, in doRearrangeUnchecked()
305 .castAs<NonLoc>(); in doRearrangeUnchecked()
352 static std::optional<NonLoc> tryRearrange(ProgramStateRef State, in tryRearrange()
353 BinaryOperator::Opcode Op, NonLoc Lhs, in tryRearrange()
354 NonLoc Rhs, QualType ResultTy) { in tryRearrange()
409 NonLoc lhs, NonLoc rhs, in evalBinOpNN()
411 NonLoc InputLHS = lhs; in evalBinOpNN()
412 NonLoc InputRHS = rhs; in evalBinOpNN()
[all …]
H A DSimpleConstraintManager.cpp42 return assume(State, Cond.castAs<NonLoc>(), Assumption); in assumeInternal()
46 NonLoc Cond, bool Assumption) { in assume()
54 NonLoc Cond, in assumeAux()
96 ProgramStateRef State, NonLoc Value, const llvm::APSInt &From, in assumeInclusiveRangeInternal()
H A DSValBuilder.cpp105 NonLoc SValBuilder::makeNonLoc(const SymExpr *operand, UnaryOperator::Opcode op, in makeNonLoc()
423 NonLoc LHS, NonLoc RHS, in makeSymExprValNN()
449 SVal SValBuilder::evalMinus(NonLoc X) { in evalMinus()
461 SVal SValBuilder::evalComplement(NonLoc X) { in evalComplement()
475 auto OpN = operand.getAs<NonLoc>(); in evalUnaryOp()
510 return evalBinOpLN(state, op, *LV, rhs.castAs<NonLoc>(), type); in evalBinOp()
521 return evalBinOpLN(state, op, *RV, lhs.castAs<NonLoc>(), type); in evalBinOp()
528 return evalBinOpNN(state, op, lhs.castAs<NonLoc>(), RhsAsLoc, type); in evalBinOp()
532 return evalBinOpNN(state, op, lhs.castAs<NonLoc>(), rhs.castAs<NonLoc>(), in evalBinOp()
602 NonLoc ToTypeMaxVal = in evalIntegralCast()
[all …]
H A DConstraintManager.cpp101 ConstraintManager::assumeInclusiveRangeDual(ProgramStateRef State, NonLoc Value, in assumeInclusiveRangeDual()
117 ConstraintManager::assumeInclusiveRange(ProgramStateRef State, NonLoc Value, in assumeInclusiveRange()
H A DCheckerContext.cpp130 if (!isa<NonLoc>(LHSVal)) { in evalComparison()
133 if (LHSVal.isUnknownOrUndef() || !isa<NonLoc>(LHSVal)) in evalComparison()
H A DStore.cpp63 NonLoc idx = svalBuilder.makeArrayIndex(index); in MakeElementRegion()
69 NonLoc idx = svalBuilder.makeZeroArrayIndex(); in GetElementZeroRegion()
444 SVal StoreManager::getLValueElement(QualType elementType, NonLoc Offset, in getLValueElement()
476 Offset = svalBuilder.convertToArrayIndex(Offset).castAs<NonLoc>(); in getLValueElement()
H A DProgramState.cpp338 Idx.castAs<NonLoc>(), Min, indexTy); in assumeInBoundDual()
344 svalBuilder.evalBinOpNN(this, BO_Add, UpperBound.castAs<NonLoc>(), in assumeInBoundDual()
351 SVal inBound = svalBuilder.evalBinOpNN(this, BO_LT, newIdx.castAs<NonLoc>(), in assumeInBoundDual()
352 newBound.castAs<NonLoc>(), Ctx.IntTy); in assumeInBoundDual()
H A DSVals.cpp286 castAs<NonLoc>().dumpToStream(os); in dumpToStream()
297 void NonLoc::dumpToStream(raw_ostream &os) const { in dumpToStream()

12