82   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()
195   std::optional<NonLoc> Offset = SVB.makeZeroArrayIndex();  in computeOffset()
201     const auto Index = CurRegion->getIndex().getAs<NonLoc>();  in computeOffset()
214     NonLoc Size = SVB.makeArrayIndex(  in computeOffset()
257 static std::pair<NonLoc, nonloc::ConcreteInt>
258 getSimplifiedOffsets(NonLoc offset, nonloc::ConcreteInt extent,  in getSimplifiedOffsets()
270           return std::pair<NonLoc, nonloc::ConcreteInt>(offset, extent);  in getSimplifiedOffsets()
285   return std::pair<NonLoc, nonloc::ConcreteInt>(offset, extent);  in getSimplifiedOffsets()
288 static bool isNegative(SValBuilder &SVB, ProgramStateRef State, NonLoc Value) {  in isNegative()
293 static bool isUnsigned(SValBuilder &SVB, NonLoc Value) {  in isUnsigned()
306 compareValueToThreshold(ProgramStateRef State, NonLoc Value, NonLoc Threshold,  in compareValueToThreshold()
347           .getAs<NonLoc>();  in compareValueToThreshold()
380 static std::optional<int64_t> getConcreteValue(NonLoc SV) {  in getConcreteValue()
387 static std::optional<int64_t> getConcreteValue(std::optional<NonLoc> SV) {  in getConcreteValue()
392                                 const SubRegion *Region, NonLoc Offset) {  in getPrecedesMsgs()
423                                const SubRegion *Region, NonLoc Offset,  in getExceedsMsgs()
424                                NonLoc Extent, SVal Location,  in getExceedsMsgs()
582   const std::optional<std::pair<const SubRegion *, NonLoc>> &RawOffset =  in performCheck()
657   if (auto KnownSize = Size.getAs<NonLoc>()) {  in performCheck()
722                                              NonLoc Val, bool MarkTaint) {  in markPartsInteresting()
744                                   Messages Msgs, NonLoc Offset,  in reportOOB()
745                                   std::optional<NonLoc> Extent,  in reportOOB()
816                                                  NonLoc Offset, NonLoc Limit,  in isIdiomaticPastTheEndPtr()