812   OffsetSpan ORT = computeValue(V);  in computeImpl()  local
816     return ORT;  in computeImpl()
822     if (ORT.knownBefore() &&  in computeImpl()
823         !::CheckedZextOrTrunc(ORT.Before, InitialIntTyBits))  in computeImpl()
824       ORT.Before = APInt();  in computeImpl()
825     if (ORT.knownAfter() && !::CheckedZextOrTrunc(ORT.After, InitialIntTyBits))  in computeImpl()
826       ORT.After = APInt();  in computeImpl()
829   if (ORT.knownBefore()) {  in computeImpl()
831     ORT.Before = ORT.Before.sadd_ov(Offset, Overflow);  in computeImpl()
833       ORT.Before = APInt();  in computeImpl()
835   if (ORT.knownAfter()) {  in computeImpl()
837     ORT.After = ORT.After.ssub_ov(Offset, Overflow);  in computeImpl()
839       ORT.After = APInt();  in computeImpl()
843   if (ORT.knownBefore() && ORT.Before.isNegative()) {  in computeImpl()
855   return ORT;  in computeImpl()