Home
last modified time | relevance | path

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

12

/freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/
H A DArrayBoundCheckerV2.cpp57 NonLoc getByteOffset() const { return byteOffset.castAs<NonLoc>(); } in getByteOffset()
82 static std::pair<NonLoc, nonloc::ConcreteInt>
83 getSimplifiedOffsets(NonLoc offset, nonloc::ConcreteInt extent, in getSimplifiedOffsets()
136 NonLoc rawOffsetVal = rawOffset.getByteOffset(); in checkLocation()
144 if (Optional<NonLoc> NV = extentBegin.getAs<NonLoc>()) { in checkLocation()
157 Optional<NonLoc> lowerBoundToCheck = lowerBound.getAs<NonLoc>(); in checkLocation()
181 if (!extentVal.getAs<NonLoc>()) in checkLocation()
197 Optional<NonLoc> upperboundToCheck = upperbound.getAs<NonLoc>(); in checkLocation()
300 y.castAs<NonLoc>(), in addValue()
326 if (!index.getAs<NonLoc>()) in computeOffset()
[all …]
H A DCStringChecker.cpp368 Optional<NonLoc> Length = LengthVal.getAs<NonLoc>(); in CheckBufferAccess()
377 NonLoc LastOffset = Offset.castAs<NonLoc>(); in CheckBufferAccess()
485 Optional<NonLoc> Length = LengthVal.getAs<NonLoc>(); in CheckOverlap()
737 if (Optional<NonLoc> strLn = strLength.getAs<NonLoc>()) { in getCStringLengthForRegion()
867 Optional<NonLoc> Length = LengthVal.getAs<NonLoc>(); in IsFirstBufInBound()
876 NonLoc LastOffset = Offset.castAs<NonLoc>(); in IsFirstBufInBound()
1025 Optional<NonLoc> SizeNL = SizeVal.getAs<NonLoc>(); in memsetAux()
1400 Optional<NonLoc> strLengthNL = strLength.getAs<NonLoc>(); in evalstrLengthCommon()
1401 Optional<NonLoc> maxlenValNL = maxlenVal.getAs<NonLoc>(); in evalstrLengthCommon()
1428 NonLoc resultNL = result.castAs<NonLoc>(); in evalstrLengthCommon()
[all …]
H A DVLASizeChecker.cpp156 NonLoc ArrayLength = in checkPreStmt()
157 svalBuilder.evalCast(sizeD, SizeTy, SE->getType()).castAs<NonLoc>(); in checkPreStmt()
165 state, BO_Mul, ArrayLength, EleSizeVal.castAs<NonLoc>(), SizeTy); in checkPreStmt()
H A DUnixAPIChecker.cpp198 if (!V.getAs<NonLoc>()) { in CheckOpenVariant()
203 NonLoc oflags = V.castAs<NonLoc>(); in CheckOpenVariant()
204 NonLoc ocreateFlag = C.getSValBuilder() in CheckOpenVariant()
205 .makeIntVal(Val_O_CREAT.getValue(), oflagsEx->getType()).castAs<NonLoc>(); in CheckOpenVariant()
H A DIteratorChecker.cpp397 bool isZero(ProgramStateRef State, const NonLoc &Val);
1076 if (isZero(State, Value.castAs<NonLoc>())) in verifyRandomIncrOrDecr()
1627 bool compare(ProgramStateRef State, NonLoc NL1, NonLoc NL2,
2310 bool isZero(ProgramStateRef State, const NonLoc &Val) { in isZero()
2383 bool compare(ProgramStateRef State, NonLoc NL1, NonLoc NL2, in compare()
/freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSValBuilder.h112 virtual SVal evalMinus(NonLoc val) = 0;
114 virtual SVal evalComplement(NonLoc val) = 0;
119 NonLoc lhs, NonLoc rhs, QualType resultTy) = 0;
143 NonLoc lhs, NonLoc rhs, QualType resultTy);
255 NonLoc makeLazyCompoundVal(const StoreRef &store, in makeLazyCompoundVal()
261 NonLoc makePointerToMember(const DeclaratorDecl *DD) { in makePointerToMember()
265 NonLoc makePointerToMember(const PointerToMemberData *PTMD) { in makePointerToMember()
269 NonLoc makeZeroArrayIndex() { in makeZeroArrayIndex()
273 NonLoc makeArrayIndex(uint64_t idx) { in makeArrayIndex()
310 NonLoc makeIntVal(uint64_t integer, bool isUnsigned) { in makeIntVal()
[all …]
H A DSVals.h296 class NonLoc : public DefinedSVal {
298 NonLoc() = default;
347 class SymbolVal : public NonLoc {
371 static bool isKind(const NonLoc& V) { in isKind()
377 class ConcreteInt : public NonLoc {
403 static bool isKind(const NonLoc& V) { in isKind()
408 class LocAsInteger : public NonLoc {
450 static bool isKind(const NonLoc& V) { in isKind()
455 class CompoundVal : public NonLoc {
479 static bool isKind(const NonLoc& V) { in isKind()
[all …]
H A DSVals.def63 ABSTRACT_SVAL_WITH_KIND(NonLoc, DefinedSVal)
64 NONLOC_SVAL(CompoundVal, NonLoc)
65 NONLOC_SVAL(ConcreteInt, NonLoc)
66 NONLOC_SVAL(LazyCompoundVal, NonLoc)
67 NONLOC_SVAL(LocAsInteger, NonLoc)
68 NONLOC_SVAL(SymbolVal, NonLoc)
69 NONLOC_SVAL(PointerToMember, NonLoc)
H A DSimpleConstraintManager.h43 ProgramStateRef assumeInclusiveRange(ProgramStateRef State, NonLoc Value,
83 ProgramStateRef assume(ProgramStateRef State, NonLoc Cond, bool Assumption);
85 ProgramStateRef assumeAux(ProgramStateRef State, NonLoc Cond,
H A DExprEngine.h551 return X.isValid() ? svalBuilder.evalMinus(X.castAs<NonLoc>()) : X; in evalMinus()
555 return X.isValid() ? svalBuilder.evalComplement(X.castAs<NonLoc>()) : X; in evalComplement()
576 NonLoc L, NonLoc R, QualType T) { in evalBinOp()
581 NonLoc L, SVal R, QualType T) { in evalBinOp()
583 R.castAs<NonLoc>(), T) : R; in evalBinOp()
H A DConstraintManager.h119 NonLoc Value,
125 NonLoc Value, in assumeInclusiveRangeDual()
H A DProgramState.h714 assert(Val.getAs<NonLoc>() && "Only NonLocs are supported!"); in assumeInclusiveRange()
717 this, Val.castAs<NonLoc>(), From, To, Assumption); in assumeInclusiveRange()
727 assert(Val.getAs<NonLoc>() && "Only NonLocs are supported!"); in assumeInclusiveRange()
730 this, Val.castAs<NonLoc>(), From, To); in assumeInclusiveRange()
784 if (Optional<NonLoc> N = Idx.getAs<NonLoc>()) in getLValue()
H A DBasicValueFactory.h48 assert(NonLoc::isCompoundType(t)); in CompoundValData()
69 assert(NonLoc::isCompoundType(r->getValueType())); in LazyCompoundValData()
H A DSValVisitor.h50 case nonloc::Id ## Kind: DISPATCH(NonLoc ## Id, nonloc :: Id); in Visit()
H A DMemRegion.h1090 NonLoc Index;
1092 ElementRegion(QualType elementType, NonLoc Idx, const SubRegion *sReg) in ElementRegion()
1106 NonLoc getIndex() const { return Index; } in getIndex()
1331 const ElementRegion *getElementRegion(QualType elementType, NonLoc Idx,
H A DStore.h150 virtual SVal getLValueElement(QualType elementType, NonLoc offset, SVal Base);
/freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/
H A DSimpleSValBuilder.cpp40 NonLoc lhs, NonLoc rhs, QualType resultTy) override;
400 .castAs<NonLoc>(); in doRearrangeUnchecked()
507 NonLoc lhs, NonLoc rhs, in evalBinOpNN()
509 NonLoc InputLHS = lhs; in evalBinOpNN()
510 NonLoc InputRHS = rhs; in evalBinOpNN()
892 if (Optional<NonLoc> Result = ResultVal.getAs<NonLoc>()) in evalBinOpLL()
942 NonLoc l = evalCastFromLoc(lhs, boolType).castAs<NonLoc>(); in evalBinOpLL()
943 NonLoc r = makeTruthVal(false, boolType).castAs<NonLoc>(); in evalBinOpLL()
1021 Optional<NonLoc> LeftIndex = LeftIndexVal.getAs<NonLoc>(); in evalBinOpLL()
1031 Optional<NonLoc> RightIndex = RightIndexVal.getAs<NonLoc>(); in evalBinOpLL()
[all …]
H A DSValBuilder.cpp78 NonLoc SValBuilder::makeNonLoc(const llvm::APSInt& lhs, in makeNonLoc()
93 NonLoc SValBuilder::makeNonLoc(const SymExpr *operand, in makeNonLoc()
111 return evalCastFromNonLoc(val.castAs<NonLoc>(), ArrayIndexTy); in convertToArrayIndex()
379 NonLoc LHS, NonLoc RHS, in makeSymExprValNN()
422 return evalBinOpLN(state, op, *LV, rhs.castAs<NonLoc>(), type); in evalBinOp()
434 return evalBinOpNN(state, op, lhs.castAs<NonLoc>(), rhs.castAs<NonLoc>(), in evalBinOp()
504 NonLoc ToTypeMaxVal = in evalIntegralCast()
508 .castAs<NonLoc>(); in evalIntegralCast()
511 NonLoc FromVal = val.castAs<NonLoc>(); in evalIntegralCast()
513 NonLoc CompVal = in evalIntegralCast()
[all …]
H A DSimpleConstraintManager.cpp42 return assume(State, Cond.castAs<NonLoc>(), Assumption); in assume()
46 NonLoc Cond, bool Assumption) { in assume()
54 NonLoc Cond, in assumeAux()
96 ProgramStateRef State, NonLoc Value, const llvm::APSInt &From, in assumeInclusiveRange()
H A DCheckerContext.cpp107 if (!LHSVal.getAs<NonLoc>()) { in evalComparison()
110 if (LHSVal.isUnknownOrUndef() || !LHSVal.getAs<NonLoc>()) in evalComparison()
H A DStore.cpp64 NonLoc idx = svalBuilder.makeArrayIndex(index); in MakeElementRegion()
70 NonLoc idx = svalBuilder.makeZeroArrayIndex(); in GetElementZeroRegion()
478 SVal StoreManager::getLValueElement(QualType elementType, NonLoc Offset, in getLValueElement()
497 Offset = svalBuilder.convertToArrayIndex(Offset).castAs<NonLoc>(); in getLValueElement()
H A DSVals.cpp293 castAs<NonLoc>().dumpToStream(os); in dumpToStream()
304 void NonLoc::dumpToStream(raw_ostream &os) const { in dumpToStream()
H A DProgramState.cpp339 Idx.castAs<NonLoc>(), Min, indexTy); in assumeInBound()
345 svalBuilder.evalBinOpNN(this, BO_Add, UpperBound.castAs<NonLoc>(), in assumeInBound()
352 SVal inBound = svalBuilder.evalBinOpNN(this, BO_LT, newIdx.castAs<NonLoc>(), in assumeInBound()
353 newBound.castAs<NonLoc>(), Ctx.IntTy); in assumeInBound()
H A DRegionStore.cpp546 NonLoc createLazyBinding(RegionBindingsConstRef B, const TypedValueRegion *R);
1393 NonLoc ZeroIdx = svalBuilder.makeZeroArrayIndex(); in ArrayToPointer()
1875 NonLoc index = ER->getIndex(); in getBindingForFieldOrElementCommon()
2032 NonLoc RegionStoreManager::createLazyBinding(RegionBindingsConstRef B, in createLazyBinding()
2210 const NonLoc &Idx = svalBuilder.makeArrayIndex(i); in bindArray()
2258 NonLoc Idx = svalBuilder.makeArrayIndex(index); in bindVector()
/freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/
H A DMPIChecker.cpp170 const NonLoc Idx = Ctx.getSValBuilder().makeArrayIndex(i); in allRegionsUsedByWait()

12