Home
last modified time | relevance | path

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

12

/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DArrayBoundChecker.cpp82 const NonLoc ByteOffsetVal;
86 std::optional<NonLoc> AssumedUpperBound = std::nullopt;
89 StateUpdateReporter(const SubRegion *R, NonLoc ByteOffsVal, const Expr *E, in StateUpdateReporter()
96 void recordUpperBoundAssumption(NonLoc UpperBoundVal) { in recordUpperBoundAssumption()
149 NonLoc Offset, std::optional<NonLoc> Extent,
153 ProgramStateRef ErrorState, NonLoc Val,
161 NonLoc Offset, NonLoc Limit,
186 static std::optional<std::pair<const SubRegion *, NonLoc>>
189 auto EvalBinOp = [&SVB, State, T](BinaryOperatorKind Op, NonLoc L, NonLoc R) { in computeOffset()
191 return SVB.evalBinOpNN(State, Op, L, R, T).getAs<NonLoc>(); in computeOffset()
[all …]
H A DCStringChecker.cpp344 NonLoc left,
345 NonLoc right) const;
405 static std::optional<NonLoc> getIndex(ProgramStateRef State, in getIndex()
420 NonLoc WideSize = in getIndex()
423 .castAs<NonLoc>(); in getIndex()
428 return Offset.castAs<NonLoc>(); in getIndex()
463 const NonLoc Zero = SVB.makeZeroArrayIndex(); in checkInit()
488 NonLoc ElemSize = in checkInit()
490 .castAs<NonLoc>(); in checkInit()
510 std::optional<NonLoc> Offset = in checkInit()
[all …]
H A DVLASizeChecker.cpp101 NonLoc ArrSize = in checkVLA()
102 SVB.makeIntVal(EleSize.getQuantity(), SizeTy).castAs<NonLoc>(); in checkVLA()
112 NonLoc IndexLength = in checkVLA()
113 SVB.evalCast(SizeD, SizeTy, SizeE->getType()).castAs<NonLoc>(); in checkVLA()
116 if (auto MulNonLoc = Mul.getAs<NonLoc>()) in checkVLA()
291 if (!isa<NonLoc>(ArraySize)) { in checkPreStmt()
301 ArraySize.castAs<NonLoc>()); in checkPreStmt()
H A DStreamChecker.cpp675 NonLoc getZeroVal(const CallEvent &Call) { in getZeroVal()
676 return *SVB.makeZeroVal(Call.getResultType()).getAs<NonLoc>(); in getZeroVal()
686 NonLoc RetVal = makeRetVal(C, Elem.value()).castAs<NonLoc>(); in makeAndBindRetVal()
708 BinaryOperator::Opcode Op, NonLoc LHS, in assumeBinOpNN()
709 NonLoc RHS) { in assumeBinOpNN()
854 NonLoc Index = SVB.makeArrayIndex(Idx); in escapeByStartIndexAndCount()
1088 static std::optional<NonLoc> getStartIndex(SValBuilder &SVB, in getStartIndex()
1109 const CallEvent &Call, NonLoc SizeVal, in tryToInvalidateFReadBufferByElements()
1110 NonLoc NMembVal) { in tryToInvalidateFReadBufferByElements()
1157 std::optional<NonLoc> SizeVal = Call.getArgSVal(1).getAs<NonLoc>(); in evalFreadFwrite()
[all …]
H A DBoolAssignmentChecker.cpp75 std::optional<NonLoc> NV = Val.getAs<NonLoc>(); in checkBind()
H A DErrnoModeling.cpp243 NonLoc ErrnoSym) { in setErrnoForStdFailure()
245 NonLoc ZeroVal = SVB.makeZeroVal(C.getASTContext().IntTy).castAs<NonLoc>(); in setErrnoForStdFailure()
H A DIteratorRangeChecker.cpp74 bool isZero(ProgramStateRef State, NonLoc Val);
230 if (Value.isUnknownOrUndef() || !isa<NonLoc>(Value)) in verifyRandomIncrOrDecr()
234 if (isZero(State, Value.castAs<NonLoc>())) in verifyRandomIncrOrDecr()
297 bool isZero(ProgramStateRef State, NonLoc Val) { in isZero()
H A DUnixAPIChecker.cpp271 if (!isa<NonLoc>(V)) { in CheckOpenVariant()
276 NonLoc oflags = V.castAs<NonLoc>(); in CheckOpenVariant()
277 NonLoc ocreateFlag = C.getSValBuilder() in CheckOpenVariant()
279 .castAs<NonLoc>(); in CheckOpenVariant()
H A DIterator.h178 bool compare(ProgramStateRef State, NonLoc NL1, NonLoc NL2,
H A DErrnoModeling.h94 NonLoc ErrnoSym);
H A DIterator.cpp303 bool compare(ProgramStateRef State, NonLoc NL1, NonLoc NL2, in compare()
/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSValBuilder.h91 SVal evalMinus(NonLoc val);
92 SVal evalComplement(NonLoc val);
97 NonLoc lhs, NonLoc rhs, QualType resultTy) = 0;
108 Loc lhs, NonLoc rhs, QualType resultTy) = 0;
133 NonLoc lhs, NonLoc rhs, QualType resultTy);
249 NonLoc makeCompoundVal(QualType type, llvm::ImmutableList<SVal> vals) { in makeCompoundVal()
253 NonLoc makeLazyCompoundVal(const StoreRef &store, in makeLazyCompoundVal()
259 NonLoc makePointerToMember(const DeclaratorDecl *DD) { in makePointerToMember()
263 NonLoc makePointerToMember(const PointerToMemberData *PTMD) { in makePointerToMember()
267 NonLoc makeZeroArrayIndex() { in makeZeroArrayIndex()
[all …]
H A DSVals.h61 #define NONLOC_SVAL(Id, Parent) NonLoc##Id##Kind,
185 inline constexpr auto Id##Kind = SVal::SValKind::NonLoc##Id##Kind;
238 class NonLoc : public DefinedSVal {
240 NonLoc(SValKind Kind, const void *Data) : DefinedSVal(Kind, Data) {} in NonLoc() function
279 class SymbolVal : public NonLoc {
282 explicit SymbolVal(SymbolRef Sym) : NonLoc(SymbolValKind, Sym) { in SymbolVal()
300 class ConcreteInt : public NonLoc {
302 explicit ConcreteInt(APSIntPtr V) : NonLoc(ConcreteIntKind, V.get()) {} in ConcreteInt()
312 class LocAsInteger : public NonLoc {
316 : NonLoc(LocAsIntegerKind, &data) { in LocAsInteger()
[all …]
H A DSimpleConstraintManager.h73 NonLoc Value,
83 ProgramStateRef assume(ProgramStateRef State, NonLoc Cond, bool Assumption);
85 ProgramStateRef assumeAux(ProgramStateRef State, NonLoc Cond,
H A DProgramState.h725 assert(isa<NonLoc>(Val) && "Only NonLocs are supported!"); in assumeInclusiveRange()
728 this, Val.castAs<NonLoc>(), From, To, Assumption); in assumeInclusiveRange()
738 assert(isa<NonLoc>(Val) && "Only NonLocs are supported!"); in assumeInclusiveRange()
741 this, Val.castAs<NonLoc>(), From, To); in assumeInclusiveRange()
781 if (std::optional<NonLoc> N = Idx.getAs<NonLoc>()) in getLValue()
H A DBasicValueFactory.h47 assert(NonLoc::isCompoundType(t)); in CompoundValData()
71 assert(NonLoc::isCompoundType(r->getValueType())); in LazyCompoundValData()
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DSimpleSValBuilder.cpp73 NonLoc lhs, NonLoc rhs, QualType resultTy) override;
77 Loc lhs, NonLoc rhs, QualType resultTy) override;
293 static NonLoc doRearrangeUnchecked(ProgramStateRef State, in doRearrangeUnchecked()
321 .castAs<NonLoc>(); in doRearrangeUnchecked()
368 static std::optional<NonLoc> tryRearrange(ProgramStateRef State, in tryRearrange()
369 BinaryOperator::Opcode Op, NonLoc Lhs, in tryRearrange()
370 NonLoc Rhs, QualType ResultTy) { in tryRearrange()
425 NonLoc lhs, NonLoc rhs, in evalBinOpNN()
427 NonLoc InputLHS = lhs; in evalBinOpNN()
428 NonLoc InputRHS = rhs; in evalBinOpNN()
[all …]
H A DSimpleConstraintManager.cpp41 return assume(State, Cond.castAs<NonLoc>(), Assumption); in assumeInternal()
45 NonLoc Cond, bool Assumption) { in assume()
53 NonLoc Cond, in assumeAux()
95 ProgramStateRef State, NonLoc Value, const llvm::APSInt &From, in assumeInclusiveRangeInternal()
H A DSValBuilder.cpp101 NonLoc SValBuilder::makeNonLoc(const SymExpr *operand, UnaryOperator::Opcode op, in makeNonLoc()
431 NonLoc LHS, NonLoc RHS, in makeSymExprValNN()
457 SVal SValBuilder::evalMinus(NonLoc X) { in evalMinus()
469 SVal SValBuilder::evalComplement(NonLoc X) { in evalComplement()
483 auto OpN = operand.getAs<NonLoc>(); in evalUnaryOp()
518 return evalBinOpLN(state, op, *LV, rhs.castAs<NonLoc>(), type); in evalBinOp()
529 return evalBinOpLN(state, op, *RV, lhs.castAs<NonLoc>(), type); in evalBinOp()
536 return evalBinOpNN(state, op, lhs.castAs<NonLoc>(), RhsAsLoc, type); in evalBinOp()
540 return evalBinOpNN(state, op, lhs.castAs<NonLoc>(), rhs.castAs<NonLoc>(), in evalBinOp()
602 auto AsNonLoc = val.getAs<NonLoc>(); in evalIntegralCast()
[all …]
H A DSVals.cpp274 case NonLoc##Id##Kind: \ in getKindStr()
302 if (NonLoc::classof(*this)) { in dumpToStream()
303 castAs<NonLoc>().dumpToStream(os); in dumpToStream()
313 void NonLoc::dumpToStream(raw_ostream &os) const { in dumpToStream()
H A DStore.cpp65 NonLoc idx = svalBuilder.makeArrayIndex(index); in MakeElementRegion()
71 NonLoc idx = svalBuilder.makeZeroArrayIndex(); in GetElementZeroRegion()
445 SVal StoreManager::getLValueElement(QualType elementType, NonLoc Offset, in getLValueElement()
477 auto Off = svalBuilder.convertToArrayIndex(Offset).getAs<NonLoc>(); in getLValueElement()
H A DCheckerContext.cpp145 if (!isa<NonLoc>(LHSVal)) { in evalComparison()
148 if (LHSVal.isUnknownOrUndef() || !isa<NonLoc>(LHSVal)) in evalComparison()
H A DProgramState.cpp337 Idx.castAs<NonLoc>(), Min, indexTy); in assumeInBoundDual()
343 svalBuilder.evalBinOpNN(this, BO_Add, UpperBound.castAs<NonLoc>(), in assumeInBoundDual()
350 SVal inBound = svalBuilder.evalBinOpNN(this, BO_LT, newIdx.castAs<NonLoc>(), in assumeInBoundDual()
351 newBound.castAs<NonLoc>(), Ctx.IntTy); in assumeInBoundDual()
H A DDynamicExtent.cpp97 NonLoc OffsetInChars = in getDynamicExtentWithOffset()
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/
H A DMPIChecker.cpp169 const NonLoc Idx = Ctx.getSValBuilder().makeArrayIndex(i); in allRegionsUsedByWait()

12