| /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Core/ |
| 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...] |
| 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...] |
| 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...] |
| ConstraintManager.cpp | 36 : nonloc::SymbolVal(Sym);
|
| 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...] |
| RegionStore.cpp | 498 nonloc::LazyCompoundVal LCV);
587 NonLoc createLazyBinding(RegionBindingsConstRef B, const TypedValueRegion *R);
613 const SValListTy &getInterestingValues(nonloc::LazyCompoundVal LCV);
871 if (Optional<nonloc::ConcreteInt> ExtentCI =
872 Extent.getAs<nonloc::ConcreteInt>()) {
1043 if (Optional<nonloc::LazyCompoundVal> LCS =
1044 V.getAs<nonloc::LazyCompoundVal>()) {
1301 if (Optional<nonloc::LazyCompoundVal> LCS =
1302 V.getAs<nonloc::LazyCompoundVal>()) {
1399 NonLoc ZeroIdx = svalBuilder.makeZeroArrayIndex()
[all...] |
| 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 +
|
| BasicValueFactory.cpp | 194 const nonloc::PointerToMember &PTM, const CastKind &kind) {
199 nonloc::PointerToMember::PTMDataType PTMDT = PTM.getPTMData();
|
| /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...] |
| 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); }
|
| SMTConstraintManager.h | 249 Optional<nonloc::SymbolVal> SymVal = X.getAs<nonloc::SymbolVal>();
|
| Store.h | 96 Optional<SVal> getDefaultBinding(nonloc::LazyCompoundVal lcv) {
149 virtual SVal getLValueElement(QualType elementType, NonLoc offset, SVal Base);
|
| /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...] |
| 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...] |
| DebugIteratorModeling.cpp | 105 return nonloc::SymbolVal(P->getOffset());
106 }, nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(0))));
122 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get((P->isValid()))));
123 }, nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(0))));
|
| STLAlgorithmModeling.cpp | 130 nonloc::SymbolVal(NewPos->getOffset()),
131 nonloc::SymbolVal(Pos->getOffset()),
152 nonloc::SymbolVal(NewPos->getOffset()),
153 nonloc::SymbolVal(Pos->getOffset()),
|
| MmapWriteExecChecker.cpp | 51 Optional<nonloc::ConcreteInt> ProtLoc = ProtVal.getAs<nonloc::ConcreteInt>();
|
| DebugContainerModeling.cpp | 94 nonloc::SymbolVal(Field));
115 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(0))));
|
| ContainerModeling.cpp | 452 nonloc::SymbolVal(EndSym),
453 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(1))),
481 nonloc::SymbolVal(EndSym),
482 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(1))),
526 nonloc::SymbolVal(BeginSym),
527 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(1))),
563 nonloc::SymbolVal(BeginSym),
564 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(1))),
688 nonloc::SymbolVal(Pos->getOffset()),
689 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(1)))
[all...] |
| 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))),
|
| IteratorModeling.cpp | 500 RetVal = nonloc::SymbolVal(SymMgr.conjureSymbol(
512 if (const auto TruthVal = RetVal.getAs<nonloc::ConcreteInt>()) {
551 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(1))));
577 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(1))));
653 SVal NegatedOffset = SVB.evalMinus(Offset.castAs<NonLoc>());
784 } else if (const auto LCVal = Val.getAs<nonloc::LazyCompoundVal>()) {
800 SVB.evalBinOp(State, BO_EQ, nonloc::SymbolVal(Sym1),
801 nonloc::SymbolVal(Sym2), SVB.getConditionType());
825 if (const auto LCVal = Binding.second.getAs<nonloc::LazyCompoundVal>()) {
|
| CheckPlacementNew.cpp | 83 if (auto ElementCountNL = ElementCount.getAs<NonLoc>()) {
107 const auto SizeOfTargetCI = SizeOfTarget.getAs<nonloc::ConcreteInt>();
110 const auto SizeOfPlaceCI = SizeOfPlace.getAs<nonloc::ConcreteInt>();
|
| /src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Checkers/ |
| SValExplainer.h | 75 std::string VisitNonLocSymbolVal(nonloc::SymbolVal V) {
79 std::string VisitNonLocConcreteInt(nonloc::ConcreteInt V) {
88 std::string VisitNonLocLazyCompoundVal(nonloc::LazyCompoundVal V) {
175 if (auto I = R->getIndex().getAs<nonloc::ConcreteInt>())
|
| /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/UninitializedObject/ |
| UninitializedPointee.cpp | 58 /// Represents a nonloc::LocAsInteger or void* field, that point to objects, but
72 // If this object is a nonloc::LocAsInteger.
144 V.getAs<nonloc::LocAsInteger>()) &&
231 // nonloc::LocAsInteger, we need to cast it back to the dynamic type before
234 V.getAs<nonloc::LocAsInteger>();
|
