86 computeOffset(ProgramStateRef State, SValBuilder &SVB, SVal Location) {  in computeOffset()  argument
87   QualType T = SVB.getArrayIndexType();  in computeOffset()
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()
113     NonLoc Size = SVB.makeArrayIndex(  in computeOffset()
114         SVB.getContext().getTypeSizeInChars(ElemType).getQuantity());  in computeOffset()
183                         SValBuilder &SVB, bool CheckEquality = false) {  in compareValueToThreshold()  argument
185     std::tie(Value, Threshold) = getSimplifiedOffsets(Value, *ConcreteThreshold, SVB);  in compareValueToThreshold()
188     QualType T = Value.getType(SVB.getContext());  in compareValueToThreshold()
201       SVB.evalBinOpNN(State, OpKind, Value, Threshold, SVB.getConditionType())  in compareValueToThreshold()
343   SValBuilder &SVB = C.getSValBuilder();  in performCheck()  local
346       computeOffset(State, SVB, Location);  in performCheck()
364         State, ByteOffset, SVB.makeZeroArrayIndex(), SVB);  in performCheck()
378   DefinedOrUnknownSVal Size = getDynamicExtent(State, Reg, SVB);  in performCheck()
381         compareValueToThreshold(State, ByteOffset, *KnownSize, SVB);  in performCheck()
391                                       SVB, /*CheckEquality=*/true);  in performCheck()