|
reference, declaration → definition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced
|
References
tools/clang/include/clang/StaticAnalyzer/Checkers/SValExplainer.h 173 if (auto I = R->getIndex().getAs<nonloc::ConcreteInt>())
tools/clang/include/clang/StaticAnalyzer/Core/BugReporter/BugReporterVisitors.h 177 IsZeroCheck(!Assumption && Constraint.getAs<Loc>()) {}
tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/MemRegion.h 1092 assert((!Idx.getAs<nonloc::ConcreteInt>() ||
tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h 682 assert(Val.getAs<NonLoc>() && "Only NonLocs are supported!");
695 assert(Val.getAs<NonLoc>() && "Only NonLocs are supported!");
702 if (Optional<Loc> L = LV.getAs<Loc>())
752 if (Optional<NonLoc> N = Idx.getAs<NonLoc>())
tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/SMTConstraintManager.h 248 Optional<nonloc::SymbolVal> SymVal = X.getAs<nonloc::SymbolVal>();
tools/clang/lib/StaticAnalyzer/Checkers/ArrayBoundCheckerV2.cpp 86 Optional<nonloc::SymbolVal> SymVal = offset.getAs<nonloc::SymbolVal>();
145 if (Optional<NonLoc> NV = extentBegin.getAs<NonLoc>()) {
146 if (NV->getAs<nonloc::ConcreteInt>()) {
158 Optional<NonLoc> lowerBoundToCheck = lowerBound.getAs<NonLoc>();
182 if (!extentVal.getAs<NonLoc>())
185 if (extentVal.getAs<nonloc::ConcreteInt>()) {
198 Optional<NonLoc> upperboundToCheck = upperbound.getAs<NonLoc>();
278 return val.getAs<UndefinedVal>() ? svalBuilder.makeArrayIndex(0) : val;
327 if (!index.getAs<NonLoc>())
tools/clang/lib/StaticAnalyzer/Checkers/BasicObjCFoundationChecks.cpp 448 Optional<nonloc::ConcreteInt> V = TheTypeVal.getAs<nonloc::ConcreteInt>();
468 Optional<loc::MemRegionVal> LV = TheValueExpr.getAs<loc::MemRegionVal>();
559 Optional<DefinedSVal> DefArgVal = ArgVal.getAs<DefinedSVal>();
759 if (msg.getArgSVal(I).getAs<loc::ConcreteInt>())
862 Optional<DefinedSVal> KnownCollection = CollectionVal.getAs<DefinedSVal>();
900 ElementLoc = State->getSVal(Element, LCtx).getAs<Loc>();
934 CountGreaterThanZeroVal.getAs<DefinedSVal>();
1180 if (Optional<DefinedOrUnknownSVal> DV = Val.getAs<DefinedOrUnknownSVal>())
tools/clang/lib/StaticAnalyzer/Checkers/BoolAssignmentChecker.cpp 73 Optional<DefinedSVal> DV = val.getAs<DefinedSVal>();
91 greaterThanOrEqualToZeroVal.getAs<DefinedSVal>();
127 lessThanEqToOneVal.getAs<DefinedSVal>();
tools/clang/lib/StaticAnalyzer/Checkers/CStringChecker.cpp 270 Optional<DefinedSVal> val = V.getAs<DefinedSVal>();
403 Optional<NonLoc> Length = LengthVal.getAs<NonLoc>();
416 if (Optional<Loc> BufLoc = BufStart.getAs<Loc>()) {
436 if (Optional<Loc> BufLoc = BufStart.getAs<Loc>()) {
472 Optional<Loc> firstLoc = firstVal.getAs<Loc>();
476 Optional<Loc> secondLoc = secondVal.getAs<Loc>();
500 reverse.getAs<DefinedOrUnknownSVal>();
520 Optional<NonLoc> Length = LengthVal.getAs<NonLoc>();
530 Optional<Loc> FirstStartLoc = FirstStart.getAs<Loc>();
537 Optional<Loc> FirstEndLoc = FirstEnd.getAs<Loc>();
545 Overlap.getAs<DefinedOrUnknownSVal>();
678 if (right.getAs<nonloc::ConcreteInt>()) {
689 if (Optional<NonLoc> maxMinusRightNL = maxMinusRight.getAs<NonLoc>()) {
774 if (Optional<NonLoc> strLn = strLength.getAs<NonLoc>()) {
800 if (Optional<loc::GotoLabel> Label = Buf.getAs<loc::GotoLabel>()) {
904 Optional<NonLoc> Length = LengthVal.getAs<NonLoc>();
917 Optional<Loc> BufLoc = BufStart.getAs<Loc>();
957 Optional<Loc> L = V.getAs<Loc>();
964 if (Optional<loc::MemRegionVal> MR = L->getAs<loc::MemRegionVal>()) {
1062 Optional<NonLoc> SizeNL = SizeVal.getAs<NonLoc>();
1416 Optional<NonLoc> strLengthNL = strLength.getAs<NonLoc>();
1417 Optional<NonLoc> maxlenValNL = maxlenVal.getAs<NonLoc>();
1593 Optional<NonLoc> strLengthNL = strLength.getAs<NonLoc>();
1594 Optional<NonLoc> lenValNL = lenVal.getAs<NonLoc>();
1633 if (Optional<NonLoc> dstStrLengthNL = dstStrLength.getAs<NonLoc>()) {
1686 if (Optional<NonLoc> amountCopiedNL = amountCopied.getAs<NonLoc>()) {
1736 Optional<NonLoc> srcStrLengthNL = amountCopied.getAs<NonLoc>();
1737 Optional<NonLoc> dstStrLengthNL = dstStrLength.getAs<NonLoc>();
1758 if (Optional<NonLoc> finalStrLengthNL = finalStrLength.getAs<NonLoc>()) {
1806 DstVal.getAs<loc::MemRegionVal>()) {
1812 if (Optional<NonLoc> maxLastNL = maxLastElementIndex.getAs<NonLoc>()) {
1823 if (Optional<NonLoc> knownStrLength = finalStrLength.getAs<NonLoc>()) {
2060 if (Optional<Loc> SearchStrLoc = SearchStrVal.getAs<Loc>()) {
tools/clang/lib/StaticAnalyzer/Checkers/CallAndMessageChecker.cpp 268 if (auto LV = V.getAs<nonloc::LazyCompoundVal>()) {
tools/clang/lib/StaticAnalyzer/Checkers/CastValueChecker.cpp 407 DV = Call.getArgSVal(0).getAs<DefinedOrUnknownSVal>();
416 DV = Call.getArgSVal(0).getAs<DefinedOrUnknownSVal>();
424 DV = InstanceCall->getCXXThisVal().getAs<DefinedOrUnknownSVal>();
tools/clang/lib/StaticAnalyzer/Checkers/CheckObjCDealloc.cpp 285 Optional<Loc> LValLoc = LVal.getAs<Loc>();
956 Optional<Loc> LValLoc = LVal.getAs<Loc>();
tools/clang/lib/StaticAnalyzer/Checkers/DereferenceChecker.cpp 214 if (!location.getAs<Loc>())
tools/clang/lib/StaticAnalyzer/Checkers/DivZeroChecker.cpp 70 Optional<DefinedSVal> DV = Denom.getAs<DefinedSVal>();
tools/clang/lib/StaticAnalyzer/Checkers/EnumCastOutOfRangeChecker.cpp 112 C.getSVal(CE->getSubExpr()).getAs<DefinedOrUnknownSVal>();
tools/clang/lib/StaticAnalyzer/Checkers/GTestChecker.cpp 138 if (!BooleanArgVal.getAs<Loc>())
262 State->getLValue(SuccessField, Instance).getAs<Loc>();
273 if (!Val1.getAs<DefinedOrUnknownSVal>() ||
274 !Val2.getAs<DefinedOrUnknownSVal>())
281 if (!ValuesEqual.getAs<DefinedSVal>())
tools/clang/lib/StaticAnalyzer/Checkers/GenericTaintChecker.cpp 565 Optional<Loc> AddrLoc = AddrVal.getAs<Loc>();
tools/clang/lib/StaticAnalyzer/Checkers/IteratorChecker.cpp 898 if (const auto TruthVal = RetVal.getAs<nonloc::ConcreteInt>()) {
909 const auto ConditionVal = RetVal.getAs<DefinedSVal>();
998 if (auto loc = RHS.getAs<Loc>()) {
1035 if (auto ValAsLoc = RHS.getAs<Loc>()) {
1573 if (const auto IntDist = Distance.getAs<nonloc::ConcreteInt>()) {
2005 } else if (const auto LCVal = Val.getAs<nonloc::LazyCompoundVal>()) {
2018 } else if (const auto LCVal = Val.getAs<nonloc::LazyCompoundVal>()) {
2030 } else if (const auto LCVal = Val.getAs<nonloc::LazyCompoundVal>()) {
2049 assert(comparison.getAs<DefinedSVal>() &&
2087 if (const auto LCVal = Binding.second.getAs<nonloc::LazyCompoundVal>()) {
2118 if (auto DV = IsCappedFromAbove.getAs<DefinedSVal>()) {
2128 if (auto DV = IsCappedFromBelow.getAs<DefinedSVal>()) {
2275 const auto DiffInt = Diff.getAs<nonloc::ConcreteInt>();
2362 assert(comparison.getAs<DefinedSVal>() &&
tools/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/MPIChecker.cpp 166 const llvm::APSInt &ArrSize = Size.getAs<nonloc::ConcreteInt>()->getValue();
tools/clang/lib/StaticAnalyzer/Checkers/MacOSKeychainAPIChecker.cpp 213 if (Optional<loc::MemRegionVal> X = ArgV.getAs<loc::MemRegionVal>()) {
tools/clang/lib/StaticAnalyzer/Checkers/MallocChecker.cpp 1014 if (!V.getAs<NonLoc>()) {
1255 Optional<DefinedSVal> DefArgVal = C.getSVal(Arg).getAs<DefinedSVal>();
1404 if (ElementCount.getAs<NonLoc>()) {
1541 Size.getAs<DefinedOrUnknownSVal>()) {
1566 if (!RetVal->getAs<Loc>())
1758 if (!ArgVal.getAs<DefinedOrUnknownSVal>())
1763 if (!location.getAs<Loc>())
1959 if (Optional<nonloc::ConcreteInt> IntVal = V.getAs<nonloc::ConcreteInt>())
1961 else if (Optional<loc::ConcreteInt> ConstAddr = V.getAs<loc::ConcreteInt>())
1963 else if (Optional<loc::GotoLabel> Label = V.getAs<loc::GotoLabel>())
2407 if (!Arg0Val.getAs<DefinedOrUnknownSVal>())
2423 if (!TotalSize.getAs<DefinedOrUnknownSVal>())
2712 if (ArgSVal.getAs<Loc>()) {
tools/clang/lib/StaticAnalyzer/Checkers/MmapWriteExecChecker.cpp 51 Optional<nonloc::ConcreteInt> ProtLoc = ProtVal.getAs<nonloc::ConcreteInt>();
tools/clang/lib/StaticAnalyzer/Checkers/NSErrorChecker.cpp 189 if (Optional<loc::MemRegionVal> X = val.getAs<loc::MemRegionVal>()) {
206 if (loc.isUndef() || !loc.getAs<Loc>())
tools/clang/lib/StaticAnalyzer/Checkers/NonNullParamChecker.cpp 99 auto DV = V.getAs<DefinedSVal>();
103 assert(!haveRefTypeParam || DV->getAs<Loc>());
106 if (haveAttrNonNull && !DV->getAs<Loc>()) {
117 auto CSV = DV->getAs<nonloc::CompoundVal>();
124 DV = V.getAs<DefinedSVal>();
128 if (!V.getAs<Loc>())
tools/clang/lib/StaticAnalyzer/Checkers/NonnullGlobalConstantsChecker.cpp 78 Optional<DefinedOrUnknownSVal> Constr = V.getAs<DefinedOrUnknownSVal>();
92 Optional<loc::MemRegionVal> RegionVal = V.getAs<loc::MemRegionVal>();
tools/clang/lib/StaticAnalyzer/Checkers/NullabilityChecker.cpp 277 auto RegionSVal = Val.getAs<loc::MemRegionVal>();
336 auto RegionVal = LV.getAs<loc::MemRegionVal>();
346 auto StoredVal = State->getSVal(*RegionVal).getAs<loc::MemRegionVal>();
535 auto RetSVal = C.getSVal(S).getAs<DefinedOrUnknownSVal>();
660 auto ArgSVal = Call.getArgSVal(Idx++).getAs<DefinedOrUnknownSVal>();
793 if (auto DefOrUnknown = Receiver.getAs<DefinedOrUnknownSVal>()) {
800 auto ValueRegionSVal = Receiver.getAs<loc::MemRegionVal>();
951 auto RegionSVal = C.getSVal(CE).getAs<DefinedOrUnknownSVal>();
1068 auto ValDefOrUnknown = V.getAs<DefinedOrUnknownSVal>();
tools/clang/lib/StaticAnalyzer/Checkers/ObjCAtSyncChecker.cpp 44 if (V.getAs<UndefinedVal>()) {
tools/clang/lib/StaticAnalyzer/Checkers/ObjCSelfInitChecker.cpp 414 if (!location.getAs<loc::MemRegionVal>())
tools/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/RetainCountChecker.cpp 287 Optional<Loc> IVarLoc = C.getSVal(IRE).getAs<Loc>();
545 if (auto DL = L.getAs<DefinedOrUnknownSVal>()) {
953 if (auto L = RetVal.getAs<DefinedOrUnknownSVal>())
tools/clang/lib/StaticAnalyzer/Checkers/ReturnValueChecker.cpp 74 auto ReturnDV = ReturnV.getAs<DefinedOrUnknownSVal>();
tools/clang/lib/StaticAnalyzer/Checkers/StdLibraryFunctionsChecker.cpp 249 if (auto N = V.getAs<NonLoc>()) {
280 if (auto N = V.getAs<NonLoc>()) {
334 .getAs<DefinedOrUnknownSVal>())
tools/clang/lib/StaticAnalyzer/Checkers/StreamChecker.cpp 265 Optional<nonloc::ConcreteInt> CI = Whence.getAs<nonloc::ConcreteInt>();
335 Optional<DefinedSVal> DV = SV.getAs<DefinedSVal>();
tools/clang/lib/StaticAnalyzer/Checkers/Taint.cpp 65 if (auto LCV = V.getAs<nonloc::LazyCompoundVal>()) {
tools/clang/lib/StaticAnalyzer/Checkers/TestAfterDivZeroChecker.cpp 135 Optional<DefinedSVal> DSV = S.getAs<DefinedSVal>();
tools/clang/lib/StaticAnalyzer/Checkers/TrustNonnullChecker.cpp 89 if (auto L = Call.getReturnValue().getAs<Loc>())
108 if (auto L = Msg.getArgSVal(1).getAs<Loc>())
tools/clang/lib/StaticAnalyzer/Checkers/UndefCapturedBlockVarChecker.cpp 73 state->getSVal(I.getOriginalRegion()).getAs<UndefinedVal>()) {
tools/clang/lib/StaticAnalyzer/Checkers/UninitializedObject/UninitializedObjectChecker.cpp 333 if (isDereferencableType(T) || V.getAs<nonloc::LocAsInteger>()) {
tools/clang/lib/StaticAnalyzer/Checkers/UninitializedObject/UninitializedPointee.cpp 144 V.getAs<nonloc::LocAsInteger>()) &&
147 if (V.isUnknown() || V.getAs<loc::ConcreteInt>()) {
234 V.getAs<nonloc::LocAsInteger>();
tools/clang/lib/StaticAnalyzer/Checkers/UnixAPIChecker.cpp 232 if (!V.getAs<NonLoc>()) {
tools/clang/lib/StaticAnalyzer/Checkers/VLASizeChecker.cpp 143 LessThanZeroVal.getAs<DefinedSVal>()) {
tools/clang/lib/StaticAnalyzer/Checkers/VforkChecker.cpp 156 VforkRetVal.getAs<DefinedOrUnknownSVal>();
tools/clang/lib/StaticAnalyzer/Core/BugReporter.cpp 306 if (Optional<loc::MemRegionVal> Reg = SV.getAs<loc::MemRegionVal>()) {
tools/clang/lib/StaticAnalyzer/Core/BugReporterVisitors.cpp 170 const auto LLCV = LeftVal.getAs<nonloc::LazyCompoundVal>();
174 const auto RLCV = RightVal.getAs<nonloc::LazyCompoundVal>();
201 if (auto FieldL = State->getSVal(ME, LCtx).getAs<Loc>())
211 if (auto CI = V->getAs<nonloc::ConcreteInt>())
835 Options.ShouldSuppressNullReturnPaths && V.getAs<Loc>())
986 if (Optional<Loc> LValue = RetVal.getAs<Loc>())
995 if (Optional<Loc> RetLoc = RetVal.getAs<Loc>())
1034 if ((LValue = V.getAs<Loc>())) {
1036 if (RValue.getAs<DefinedSVal>())
1042 if (V.getAs<nonloc::LazyCompoundVal>() ||
1043 V.getAs<nonloc::CompoundVal>())
1059 if (V.getAs<Loc>()) {
1078 if (auto CI = V.getAs<nonloc::ConcreteInt>()) {
1089 if (V.getAs<Loc>())
1154 Optional<Loc> ArgV = Call->getArgSVal(I).getAs<Loc>();
1251 if (V.getAs<loc::ConcreteInt>()) {
1264 } else if (auto CVal = V.getAs<nonloc::ConcreteInt>()) {
1293 if (V.getAs<loc::ConcreteInt>()) {
1300 } else if (auto CI = V.getAs<nonloc::ConcreteInt>()) {
1318 if (V.getAs<loc::ConcreteInt>()) {
1341 } else if (auto CV = V.getAs<nonloc::ConcreteInt>()) {
1486 if (auto KV = State->getSVal(OriginalR).getAs<KnownSVal>())
1575 if (Constraint.getAs<Loc>()) {
1983 if (auto KV = LVal.getAs<KnownSVal>())
2014 if (auto DV = V.getAs<DefinedSVal>())
2021 if (auto KV = V.getAs<KnownSVal>())
2036 if (auto L = V.getAs<loc::MemRegionVal>()) {
2061 if (auto KV = RVal.getAs<KnownSVal>())
tools/clang/lib/StaticAnalyzer/Core/CallEvent.cpp 719 assert(ThisVal.isUnknownOrUndef() || ThisVal.getAs<Loc>());
tools/clang/lib/StaticAnalyzer/Core/CheckerContext.cpp 106 if (!LHSVal.getAs<NonLoc>()) {
109 if (LHSVal.isUnknownOrUndef() || !LHSVal.getAs<NonLoc>())
tools/clang/lib/StaticAnalyzer/Core/ExprEngine.cpp 263 Constraint_untested.getAs<DefinedOrUnknownSVal>();
282 if (Optional<Loc> LV = V.getAs<Loc>()) {
298 if (Optional<Loc> LV = V.getAs<Loc>()) {
322 if (!InitValWithAdjustments.getAs<NonLoc>()) {
331 assert(!InitValWithAdjustments.getAs<Loc>() ||
867 if (Optional<Loc> LValueLoc = LValue.getAs<Loc>())
2224 if (Optional<loc::GotoLabel> LV = V.getAs<loc::GotoLabel>()) {
2237 if (V.getAs<loc::ConcreteInt>() || V.getAs<UndefinedVal>()) {
2237 if (V.getAs<loc::ConcreteInt>() || V.getAs<UndefinedVal>()) {
2376 if (Optional<NonLoc> NL = CondV.getAs<NonLoc>())
2777 if (!location.getAs<Loc>()) {
2799 location.getAs<loc::MemRegionVal>()) {
2847 assert(!location.getAs<NonLoc>() && "location cannot be a NonLoc.");
2939 Optional<nonloc::SymbolVal> SEV = V.getAs<nonloc::SymbolVal>();
2978 assert(!X.getAs<NonLoc>()); // Should be an Lval, or unknown, undef.
2980 if (Optional<Loc> LV = X.getAs<Loc>())
tools/clang/lib/StaticAnalyzer/Core/ExprEngineC.cpp 32 if (Other.getAs<Loc>() &&
367 auto PTMSV = V.getAs<nonloc::PointerToMember>();
389 if (V.getAs<nonloc::PointerToMember>()) {
526 if (auto PTMSV = V.getAs<nonloc::PointerToMember>()) {
1036 if (Optional<Loc> LV = V.getAs<Loc>()) {
tools/clang/lib/StaticAnalyzer/Core/ExprEngineCXX.cpp 77 if (Optional<Loc> L = V.getAs<Loc>())
411 if (auto L = Target.getAs<Loc>())
795 if (auto dSymVal = symVal.getAs<DefinedOrUnknownSVal>())
tools/clang/lib/StaticAnalyzer/Core/ExprEngineCallAndReturn.cpp 128 if (!V.getAs<Loc>())
tools/clang/lib/StaticAnalyzer/Core/ExprEngineObjC.cpp 61 if (auto MV = elementV.getAs<loc::MemRegionVal>())
tools/clang/lib/StaticAnalyzer/Core/MemRegion.cpp 670 if (auto CI = ER->getIndex().getAs<nonloc::ConcreteInt>()) {
1243 if (auto CI = index.getAs<nonloc::ConcreteInt>()) {
1411 Index.getAs<nonloc::ConcreteInt>()) {
tools/clang/lib/StaticAnalyzer/Core/ProgramState.cpp 225 assert(!LV.getAs<loc::MemRegionVal>() && "Use invalidateRegion instead.");
291 if (V.getAs<Loc>())
567 if (Optional<loc::MemRegionVal> X = val.getAs<loc::MemRegionVal>())
571 val.getAs<nonloc::LazyCompoundVal>())
574 if (Optional<nonloc::LocAsInteger> X = val.getAs<nonloc::LocAsInteger>())
583 if (Optional<nonloc::CompoundVal> X = val.getAs<nonloc::CompoundVal>())
tools/clang/lib/StaticAnalyzer/Core/RangeConstraintManager.cpp 337 Optional<nonloc::SymbolVal> SymVal = X.getAs<nonloc::SymbolVal>();
tools/clang/lib/StaticAnalyzer/Core/RegionStore.cpp 881 Extent.getAs<nonloc::ConcreteInt>()) {
1053 V.getAs<nonloc::LazyCompoundVal>()) {
1126 if (Optional<Loc> L = V.getAs<Loc>()) {
1311 V.getAs<nonloc::LazyCompoundVal>()) {
1431 if (Array.getAs<loc::ConcreteInt>())
1434 if (!Array.getAs<loc::MemRegionVal>())
1448 assert(!L.getAs<UnknownVal>() && "location unknown");
1449 assert(!L.getAs<UndefinedVal>() && "location undefined");
1457 if (L.getAs<loc::ConcreteInt>()) {
1460 if (!L.getAs<loc::MemRegionVal>()) {
1598 Optional<nonloc::LazyCompoundVal> LCV = V->getAs<nonloc::LazyCompoundVal>();
1690 if (Optional<nonloc::ConcreteInt> CI = Idx.getAs<nonloc::ConcreteInt>()) {
1714 if (auto CI = R->getIndex().getAs<nonloc::ConcreteInt>()) {
1838 if (val.getAs<nonloc::LazyCompoundVal>() ||
1839 val.getAs<nonloc::CompoundVal>())
1917 if (D->getAs<nonloc::LazyCompoundVal>()) {
2035 assert(!V->getAs<nonloc::LazyCompoundVal>());
2080 V.getAs<nonloc::LazyCompoundVal>()) {
2155 if (Optional<loc::MemRegionVal> LV = L.getAs<loc::MemRegionVal>())
2167 if (L.getAs<loc::ConcreteInt>())
2246 if (Optional<loc::MemRegionVal> MRV = Init.getAs<loc::MemRegionVal>()) {
2252 if (Init.getAs<nonloc::LazyCompoundVal>())
2297 if (V.getAs<nonloc::LazyCompoundVal>() || V.getAs<nonloc::SymbolVal>())
2297 if (V.getAs<nonloc::LazyCompoundVal>() || V.getAs<nonloc::SymbolVal>())
2303 if (!V.getAs<nonloc::CompoundVal>()) {
2387 V.getAs<nonloc::LazyCompoundVal>()) {
2392 if (V.getAs<nonloc::SymbolVal>())
2398 if (V.isUnknown() || !V.getAs<nonloc::CompoundVal>())
2592 V.getAs<nonloc::LazyCompoundVal>()) {
tools/clang/lib/StaticAnalyzer/Core/SValBuilder.cpp 104 if (Optional<nonloc::ConcreteInt> CI = val.getAs<nonloc::ConcreteInt>()) {
394 if (Optional<nonloc::ConcreteInt> rInt = RHS.getAs<nonloc::ConcreteInt>())
398 if (Optional<nonloc::ConcreteInt> lInt = LHS.getAs<nonloc::ConcreteInt>())
412 if (lhs.getAs<nonloc::LazyCompoundVal>() ||
413 rhs.getAs<nonloc::LazyCompoundVal>()) {
417 if (Optional<Loc> LV = lhs.getAs<Loc>()) {
418 if (Optional<Loc> RV = rhs.getAs<Loc>())
424 if (Optional<Loc> RV = rhs.getAs<Loc>()) {
547 if (Optional<Loc> L = val.getAs<Loc>())
566 if (Optional<nonloc::LocAsInteger> LV = val.getAs<nonloc::LocAsInteger>()) {
tools/clang/lib/StaticAnalyzer/Core/SVals.cpp 45 if (Optional<nonloc::SymbolVal> SV = getAs<nonloc::SymbolVal>()) {
51 if (Optional<loc::MemRegionVal> RV = getAs<loc::MemRegionVal>()) {
64 if (Optional<loc::MemRegionVal> X = getAs<loc::MemRegionVal>()) {
71 if (auto X = getAs<nonloc::PointerToMember>()) {
87 if (Optional<nonloc::LocAsInteger> X = getAs<nonloc::LocAsInteger>())
90 if (Optional<loc::MemRegionVal> X = getAs<loc::MemRegionVal>()) {
102 Optional<loc::MemRegionVal> X = getAs<loc::MemRegionVal>();
129 if (Optional<nonloc::SymbolVal> X = getAs<nonloc::SymbolVal>())
138 if (Optional<nonloc::SymbolVal> X = getAs<nonloc::SymbolVal>())
152 if (Optional<loc::MemRegionVal> X = getAs<loc::MemRegionVal>())
155 if (Optional<nonloc::LocAsInteger> X = getAs<nonloc::LocAsInteger>())
223 return getAs<nonloc::ConcreteInt>() || getAs<loc::ConcreteInt>();
223 return getAs<nonloc::ConcreteInt>() || getAs<loc::ConcreteInt>();
227 if (Optional<loc::ConcreteInt> LV = getAs<loc::ConcreteInt>())
229 if (Optional<nonloc::ConcreteInt> NV = getAs<nonloc::ConcreteInt>())
tools/clang/lib/StaticAnalyzer/Core/SimpleConstraintManager.cpp 29 if (Optional<Loc> LV = Cond.getAs<Loc>()) {
tools/clang/lib/StaticAnalyzer/Core/SimpleSValBuilder.cpp 69 assert(Val.getAs<Loc>() || Val.getAs<NonLoc>());
69 assert(Val.getAs<Loc>() || Val.getAs<NonLoc>());
70 return Val.getAs<Loc>() ? evalCastFromLoc(Val.castAs<Loc>(), CastTy)
76 if (val.getAs<nonloc::PointerToMember>())
79 if (Optional<nonloc::LocAsInteger> LI = val.getAs<nonloc::LocAsInteger>()) {
107 if (!val.getAs<nonloc::ConcreteInt>())
177 if (!val.getAs<loc::ConcreteInt>())
319 if (auto DV = Result.getAs<DefinedSVal>()) {
755 if (auto simplifiedLhsAsNonLoc = simplifiedLhs.getAs<NonLoc>()) {
896 if (Optional<loc::ConcreteInt> rInt = rhs.getAs<loc::ConcreteInt>()) {
899 if (Optional<NonLoc> Result = ResultVal.getAs<NonLoc>())
902 assert(!ResultVal.getAs<Loc>() && "Loc-Loc ops should not produce Locs");
910 assert(rhs.getAs<loc::MemRegionVal>() || rhs.getAs<loc::GotoLabel>());
910 assert(rhs.getAs<loc::MemRegionVal>() || rhs.getAs<loc::GotoLabel>());
931 if (Optional<loc::ConcreteInt> rInt = rhs.getAs<loc::ConcreteInt>()) {
1028 Optional<NonLoc> LeftIndex = LeftIndexVal.getAs<NonLoc>();
1032 LeftIndex = LeftIndexVal.getAs<NonLoc>();
1038 Optional<NonLoc> RightIndex = RightIndexVal.getAs<NonLoc>();
1042 RightIndex = RightIndexVal.getAs<NonLoc>();
1107 if (auto PTMSV = rhs.getAs<nonloc::PointerToMember>()) {
1137 if (Optional<nonloc::ConcreteInt> rhsInt = rhs.getAs<nonloc::ConcreteInt>()) {
1138 if (Optional<loc::ConcreteInt> lhsInt = lhs.getAs<loc::ConcreteInt>()) {
1202 if (Optional<NonLoc> indexV = index.getAs<NonLoc>()) {
1216 if (Optional<loc::ConcreteInt> X = V.getAs<loc::ConcreteInt>())
1219 if (Optional<nonloc::ConcreteInt> X = V.getAs<nonloc::ConcreteInt>())
tools/clang/lib/StaticAnalyzer/Core/Store.cpp 483 if (Base.isUnknownOrUndef() || Base.getAs<loc::ConcreteInt>())
486 if (Base.getAs<loc::GotoLabel>())
512 if (!BaseIdx.getAs<nonloc::ConcreteInt>())
521 if (!Offset.getAs<nonloc::ConcreteInt>()) {