68   const NonLoc ByteOffsetVal;
72   std::optional<NonLoc> AssumedUpperBound = std::nullopt;
75   StateUpdateReporter(const SubRegion *R, NonLoc ByteOffsVal, const Expr *E,  in StateUpdateReporter()
82   void recordUpperBoundAssumption(NonLoc UpperBoundVal) {  in recordUpperBoundAssumption()
135                  NonLoc Offset, std::optional<NonLoc> Extent,
139                                    ProgramStateRef ErrorState, NonLoc Val,
145                                        NonLoc Offset, NonLoc Limit,
170 static std::optional<std::pair<const SubRegion *, NonLoc>>
173   auto EvalBinOp = [&SVB, State, T](BinaryOperatorKind Op, NonLoc L, NonLoc R) {  in computeOffset()
175     return SVB.evalBinOpNN(State, Op, L, R, T).getAs<NonLoc>();  in computeOffset()
179   std::optional<NonLoc> Offset = SVB.makeZeroArrayIndex();  in computeOffset()
185     const auto Index = CurRegion->getIndex().getAs<NonLoc>();  in computeOffset()
198     NonLoc Size = SVB.makeArrayIndex(  in computeOffset()
241 static std::pair<NonLoc, nonloc::ConcreteInt>
242 getSimplifiedOffsets(NonLoc offset, nonloc::ConcreteInt extent,  in getSimplifiedOffsets()
254           return std::pair<NonLoc, nonloc::ConcreteInt>(offset, extent);  in getSimplifiedOffsets()
270   return std::pair<NonLoc, nonloc::ConcreteInt>(offset, extent);  in getSimplifiedOffsets()
273 static bool isNegative(SValBuilder &SVB, ProgramStateRef State, NonLoc Value) {  in isNegative()
278 static bool isUnsigned(SValBuilder &SVB, NonLoc Value) {  in isUnsigned()
291 compareValueToThreshold(ProgramStateRef State, NonLoc Value, NonLoc Threshold,  in compareValueToThreshold()
331           .getAs<NonLoc>();  in compareValueToThreshold()
364 static std::optional<int64_t> getConcreteValue(NonLoc SV) {  in getConcreteValue()
371 static std::optional<int64_t> getConcreteValue(std::optional<NonLoc> SV) {  in getConcreteValue()
375 static Messages getPrecedesMsgs(const SubRegion *Region, NonLoc Offset) {  in getPrecedesMsgs()
407                                NonLoc Offset, NonLoc Extent, SVal Location,  in getExceedsMsgs()
564   const std::optional<std::pair<const SubRegion *, NonLoc>> &RawOffset =  in performCheck()
611   if (auto KnownSize = Size.getAs<NonLoc>()) {  in performCheck()
675                                                NonLoc Val, bool MarkTaint) {  in markPartsInteresting()
698                                     NonLoc Offset, std::optional<NonLoc> Extent,  in reportOOB()
761                                                    NonLoc Offset, NonLoc Limit,  in isIdiomaticPastTheEndPtr()