| /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/ |
| ArrayBoundCheckerV2.cpp | 59 NonLoc getByteOffset() const { return byteOffset.castAs<NonLoc>(); }
84 static std::pair<NonLoc, nonloc::ConcreteInt>
85 getSimplifiedOffsets(NonLoc offset, nonloc::ConcreteInt extent,
87 Optional<nonloc::SymbolVal> SymVal = offset.getAs<nonloc::SymbolVal>();
97 return std::pair<NonLoc, nonloc::ConcreteInt>(offset, extent)
[all...] |
| BoolAssignmentChecker.cpp | 73 Optional<NonLoc> NV = val.getAs<NonLoc>();
|
| CStringChecker.cpp | 262 NonLoc left,
263 NonLoc right) const;
404 Optional<NonLoc> Length = LengthVal.getAs<NonLoc>();
409 NonLoc One = svalBuilder.makeIntVal(1, SizeTy).castAs<NonLoc>();
413 NonLoc LastOffset = Offset.castAs<NonLoc>();
504 Optional<NonLoc> Length = LengthVal.getAs<NonLoc>();
[all...] |
| VLASizeChecker.cpp | 103 NonLoc ArrSize =
104 SVB.makeIntVal(EleSize.getQuantity(), SizeTy).castAs<NonLoc>();
114 NonLoc IndexLength =
115 SVB.evalCast(SizeD, SizeTy, SizeE->getType()).castAs<NonLoc>();
118 if (auto MulNonLoc = Mul.getAs<NonLoc>())
281 auto ArraySizeNL = ArraySize.getAs<NonLoc>();
|
| UnixAPIChecker.cpp | 233 if (!V.getAs<NonLoc>()) {
238 NonLoc oflags = V.castAs<NonLoc>();
239 NonLoc ocreateFlag = C.getSValBuilder()
240 .makeIntVal(Val_O_CREAT.getValue(), oflagsEx->getType()).castAs<NonLoc>();
|
| Iterator.h | 184 bool compare(ProgramStateRef State, NonLoc NL1, NonLoc NL2,
|
| IteratorRangeChecker.cpp | 70 bool isZero(ProgramStateRef State, const NonLoc &Val);
138 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(1))));
212 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(1))));
218 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(1))));
235 if (isZero(State, Value.castAs<NonLoc>()))
298 bool isZero(ProgramStateRef State, const NonLoc &Val) {
301 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(0))),
|
| Iterator.cpp | 191 } else if (const auto LCVal = Val.getAs<nonloc::LazyCompoundVal>()) {
204 } else if (const auto LCVal = Val.getAs<nonloc::LazyCompoundVal>()) {
239 const auto IntDistOp = Distance.getAs<nonloc::ConcreteInt>();
244 nonloc::ConcreteInt IntDist = *IntDistOp;
247 IntDist = nonloc::ConcreteInt(BVF.getValue(-IntDist.getValue()));
252 nonloc::SymbolVal(Pos->getOffset()),
278 SVB.evalBinOpNN(State, BO_LE, nonloc::SymbolVal(Sym),
279 nonloc::ConcreteInt(Max), SVB.getConditionType());
288 SVB.evalBinOpNN(State, BO_GE, nonloc::SymbolVal(Sym),
289 nonloc::ConcreteInt(Min), SVB.getConditionType())
[all...] |
| StreamChecker.cpp | 601 Optional<NonLoc> SizeVal = Call.getArgSVal(1).getAs<NonLoc>();
604 Optional<NonLoc> NMembVal = Call.getArgSVal(2).getAs<NonLoc>();
642 Optional<NonLoc> RetVal = makeRetVal(C, CE).castAs<NonLoc>();
643 assert(RetVal && "Value should be NonLoc.");
933 Optional<nonloc::ConcreteInt> CI = WhenceVal.getAs<nonloc::ConcreteInt>();
|
| /src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| SValBuilder.h | 78 SVal evalCastKind(NonLoc V, QualType CastTy, QualType OriginalTy);
84 SVal evalCastSubKind(nonloc::CompoundVal V, QualType CastTy,
86 SVal evalCastSubKind(nonloc::ConcreteInt V, QualType CastTy,
88 SVal evalCastSubKind(nonloc::LazyCompoundVal V, QualType CastTy,
90 SVal evalCastSubKind(nonloc::LocAsInteger V, QualType CastTy,
92 SVal evalCastSubKind(nonloc::SymbolVal V, QualType CastTy,
94 SVal evalCastSubKind(nonloc::PointerToMember V, QualType CastTy,
125 virtual SVal evalMinus(NonLoc val) = 0;
127 virtual SVal evalComplement(NonLoc val) = 0;
132 NonLoc lhs, NonLoc rhs, QualType resultTy) = 0
[all...] |
| SimpleConstraintManager.h | 37 /// Ensures that the DefinedSVal conditional is expressed as a NonLoc by
42 ProgramStateRef assumeInclusiveRange(ProgramStateRef State, NonLoc Value,
82 ProgramStateRef assume(ProgramStateRef State, NonLoc Cond, bool Assumption);
84 ProgramStateRef assumeAux(ProgramStateRef State, NonLoc Cond,
|
| SVals.h | 9 // This file defines SVal, Loc, and NonLoc, classes that represent
52 namespace nonloc { namespace in namespace:clang::ento
54 /// Sub-kinds for NonLoc values.
60 } // namespace nonloc
292 class NonLoc : public DefinedSVal {
294 NonLoc() = default;
295 explicit NonLoc(unsigned SubKind, const void *d)
337 // Subclasses of NonLoc.
340 namespace nonloc { namespace in namespace:clang::ento
343 class SymbolVal : public NonLoc {
[all...] |
| ConstraintManager.h | 117 NonLoc Value,
123 NonLoc Value,
|
| SValVisitor.h | 35 // Take namespaces (loc:: and nonloc::) into account.
49 case nonloc::Id ## Kind: DISPATCH(NonLoc ## Id, nonloc :: Id);
52 llvm_unreachable("Unknown NonLoc sub-kind!");
64 RetTy VisitNonLoc ## Id(nonloc::Id V) { DISPATCH(Parent, Parent); }
|
| BasicValueFactory.h | 47 assert(NonLoc::isCompoundType(t));
68 assert(NonLoc::isCompoundType(r->getValueType()));
269 const nonloc::PointerToMember &PTM, const clang::CastKind &kind);
|
| ExprEngine.h | 594 return X.isValid() ? svalBuilder.evalMinus(X.castAs<NonLoc>()) : X;
598 return X.isValid() ? svalBuilder.evalComplement(X.castAs<NonLoc>()) : X;
619 NonLoc L, NonLoc R, QualType T) {
624 NonLoc L, SVal R, QualType T) {
626 R.castAs<NonLoc>(), T) : R;
834 /// If the value of the given expression \p InitWithAdjustments is a NonLoc,
|
| ProgramState.h | 690 assert(Val.getAs<NonLoc>() && "Only NonLocs are supported!");
693 this, Val.castAs<NonLoc>(), From, To, Assumption);
703 assert(Val.getAs<NonLoc>() && "Only NonLocs are supported!");
706 this, Val.castAs<NonLoc>(), From, To);
760 if (Optional<NonLoc> N = Idx.getAs<NonLoc>())
875 bool scan(nonloc::LazyCompoundVal val);
876 bool scan(nonloc::CompoundVal val);
|
| /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Core/ |
| SimpleSValBuilder.cpp | 31 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) {
65 case nonloc::ConcreteIntKind:
66 return val.castAs<nonloc::ConcreteInt>().evalMinus(*this);
72 SVal SimpleSValBuilder::evalComplement(NonLoc X) {
74 case nonloc::ConcreteIntKind
[all...] |
| SimpleConstraintManager.cpp | 28 // If we have a Loc value, cast it to a bool NonLoc first.
41 return assume(State, Cond.castAs<NonLoc>(), Assumption);
45 NonLoc Cond, bool Assumption) {
53 NonLoc Cond,
67 llvm_unreachable("'Assume' not implemented for this NonLoc");
69 case nonloc::SymbolValKind: {
70 nonloc::SymbolVal SV = Cond.castAs<nonloc::SymbolVal>();
76 case nonloc::ConcreteIntKind: {
77 bool b = Cond.castAs<nonloc::ConcreteInt>().getValue() != 0
[all...] |
| SValBuilder.cpp | 67 NonLoc SValBuilder::makeNonLoc(const SymExpr *lhs, BinaryOperator::Opcode op,
74 return nonloc::SymbolVal(SymMgr.getSymIntExpr(lhs, op, rhs, type));
77 NonLoc SValBuilder::makeNonLoc(const llvm::APSInt& lhs,
82 return nonloc::SymbolVal(SymMgr.getIntSymExpr(lhs, op, rhs, type));
85 NonLoc SValBuilder::makeNonLoc(const SymExpr *lhs, BinaryOperator::Opcode op,
89 return nonloc::SymbolVal(SymMgr.getSymSymExpr(lhs, op, rhs, type));
92 NonLoc SValBuilder::makeNonLoc(const SymExpr *operand,
96 return nonloc::SymbolVal(SymMgr.getCastSymbol(operand, fromTy, toTy));
104 if (Optional<nonloc::ConcreteInt> CI = val.getAs<nonloc::ConcreteInt>())
[all...] |
| CheckerContext.cpp | 106 if (!LHSVal.getAs<NonLoc>()) {
109 if (LHSVal.isUnknownOrUndef() || !LHSVal.getAs<NonLoc>())
|
| DynamicExtent.cpp | 70 NonLoc OffsetInBytes = SvalBuilder.makeArrayIndex(
|
| Store.cpp | 63 NonLoc idx = svalBuilder.makeArrayIndex(index);
69 NonLoc idx = svalBuilder.makeZeroArrayIndex();
442 SVal StoreManager::getLValueElement(QualType elementType, NonLoc Offset,
461 Offset = svalBuilder.convertToArrayIndex(Offset).castAs<NonLoc>();
477 if (!BaseIdx.getAs<nonloc::ConcreteInt>())
481 BaseIdx.castAs<nonloc::ConcreteInt>().getValue();
486 if (!Offset.getAs<nonloc::ConcreteInt>()) {
494 const llvm::APSInt& OffI = Offset.castAs<nonloc::ConcreteInt>().getValue();
498 nonloc::ConcreteInt NewIdx(svalBuilder.getBasicValueFactory().getValue(BaseIdxI +
|
| ProgramState.cpp | 299 return nonloc::ConcreteInt(NewV);
339 nonloc::ConcreteInt Min(BVF.getMinValue(indexTy));
343 Idx.castAs<NonLoc>(), Min, indexTy);
349 svalBuilder.evalBinOpNN(this, BO_Add, UpperBound.castAs<NonLoc>(),
356 SVal inBound = svalBuilder.evalBinOpNN(this, BO_LT, newIdx.castAs<NonLoc>(),
357 newBound.castAs<NonLoc>(), Ctx.IntTy);
535 bool ScanReachableSymbols::scan(nonloc::LazyCompoundVal val) {
548 bool ScanReachableSymbols::scan(nonloc::CompoundVal val) {
549 for (nonloc::CompoundVal::iterator I=val.begin(), E=val.end(); I!=E; ++I)
575 if (Optional<nonloc::LazyCompoundVal> X
[all...] |
| SVals.cpp | 9 // This file defines SVal, Loc, and NonLoc, classes that represent
45 if (Optional<nonloc::SymbolVal> SV = getAs<nonloc::SymbolVal>()) {
71 if (auto X = getAs<nonloc::PointerToMember>()) {
123 if (Optional<nonloc::SymbolVal> X = getAs<nonloc::SymbolVal>())
133 if (Optional<nonloc::LocAsInteger> X = getAs<nonloc::LocAsInteger>())
144 const void *nonloc::LazyCompoundVal::getStore() const {
148 const TypedValueRegion *nonloc::LazyCompoundVal::getRegion() const
[all...] |
