58                  NonLoc Offset, Messages Msgs) const;
85 static std::optional<std::pair<const SubRegion *, NonLoc>>
88   auto EvalBinOp = [&SVB, State, T](BinaryOperatorKind Op, NonLoc L, NonLoc R) {  in computeOffset()
90     return SVB.evalBinOpNN(State, Op, L, R, T).getAs<NonLoc>();  in computeOffset()
94   std::optional<NonLoc> Offset = SVB.makeZeroArrayIndex();  in computeOffset()
100     const auto Index = CurRegion->getIndex().getAs<NonLoc>();  in computeOffset()
113     NonLoc Size = SVB.makeArrayIndex(  in computeOffset()
142 static std::pair<NonLoc, nonloc::ConcreteInt>
143 getSimplifiedOffsets(NonLoc offset, nonloc::ConcreteInt extent,  in getSimplifiedOffsets()
155           return std::pair<NonLoc, nonloc::ConcreteInt>(offset, extent);  in getSimplifiedOffsets()
171   return std::pair<NonLoc, nonloc::ConcreteInt>(offset, extent);  in getSimplifiedOffsets()
182 compareValueToThreshold(ProgramStateRef State, NonLoc Value, NonLoc Threshold,  in compareValueToThreshold()
202           .getAs<NonLoc>();  in compareValueToThreshold()
235 static std::optional<int64_t> getConcreteValue(NonLoc SV) {  in getConcreteValue()
251 static Messages getPrecedesMsgs(const SubRegion *Region, NonLoc Offset) {  in getPrecedesMsgs()
262                                NonLoc Offset, NonLoc Extent, SVal Location) {  in getExceedsMsgs()
345   const std::optional<std::pair<const SubRegion *, NonLoc>> &RawOffset =  in performCheck()
379   if (auto KnownSize = Size.getAs<NonLoc>()) {  in performCheck()
431                                     NonLoc Offset, Messages Msgs) const {  in reportOOB()