343                                             NonLoc left,
344                                             NonLoc right) const;
404 static std::optional<NonLoc> getIndex(ProgramStateRef State,  in getIndex()
419   NonLoc WideSize =  in getIndex()
422           .castAs<NonLoc>();  in getIndex()
427   return Offset.castAs<NonLoc>();  in getIndex()
462   const NonLoc Zero = SVB.makeZeroArrayIndex();  in checkInit()
486   NonLoc ElemSize =  in checkInit()
488           .castAs<NonLoc>();  in checkInit()
508   std::optional<NonLoc> Offset =  in checkInit()
509       SVB.evalBinOpNN(State, clang::BO_Div, Size.castAs<NonLoc>(), ElemSize,  in checkInit()
511           .getAs<NonLoc>();  in checkInit()
514   const NonLoc One = SVB.makeIntVal(1, IdxTy).castAs<NonLoc>();  in checkInit()
568   std::optional<NonLoc> Idx = getIndex(state, ER, CK);  in CheckLocation()
634   std::optional<NonLoc> Length = LengthVal.getAs<NonLoc>();  in CheckBufferAccess()
639   NonLoc One = svalBuilder.makeIntVal(1, SizeTy).castAs<NonLoc>();  in CheckBufferAccess()
643   NonLoc LastOffset = Offset.castAs<NonLoc>();  in CheckBufferAccess()
739   std::optional<NonLoc> Length = LengthVal.getAs<NonLoc>();  in CheckOverlap()
903                                                      NonLoc left,  in checkAdditionOverflow()
904                                                      NonLoc right) const {  in checkAdditionOverflow()
918   NonLoc maxVal = svalBuilder.makeIntVal(maxValInt);  in checkAdditionOverflow()
932   if (std::optional<NonLoc> maxMinusRightNL = maxMinusRight.getAs<NonLoc>()) {  in checkAdditionOverflow()
1018     if (std::optional<NonLoc> strLn = strLength.getAs<NonLoc>()) {  in getCStringLengthForRegion()
1025       NonLoc maxLength = svalBuilder.makeIntVal(*maxLengthInt);  in getCStringLengthForRegion()
1161   std::optional<NonLoc> Length = LengthVal.getAs<NonLoc>();  in isFirstBufInBound()
1166   NonLoc One = SB.makeIntVal(1, LengthTy).castAs<NonLoc>();  in isFirstBufInBound()
1170   NonLoc LastOffset = Offset.castAs<NonLoc>();  in isFirstBufInBound()
1361   std::optional<NonLoc> SizeNL = SizeVal.getAs<NonLoc>();  in memsetAux()
1739     std::optional<NonLoc> strLengthNL = strLength.getAs<NonLoc>();  in evalstrLengthCommon()
1740     std::optional<NonLoc> maxlenValNL = maxlenVal.getAs<NonLoc>();  in evalstrLengthCommon()
1767       NonLoc resultNL = result.castAs<NonLoc>();  in evalstrLengthCommon()
1895   std::optional<NonLoc> strLengthNL = strLength.getAs<NonLoc>();  in evalStrcpyCommon()
1899   std::optional<NonLoc> dstStrLengthNL = dstStrLength.getAs<NonLoc>();  in evalStrcpyCommon()
1938     std::optional<NonLoc> lenValNL = lenVal.getAs<NonLoc>();  in evalStrcpyCommon()
1975         if (!isa<NonLoc>(freeSpace))  in evalStrcpyCommon()
1980         std::optional<NonLoc> freeSpaceNL = freeSpace.getAs<NonLoc>();  in evalStrcpyCommon()
2067         NonLoc one = svalBuilder.makeIntVal(1, sizeTy).castAs<NonLoc>();  in evalStrcpyCommon()
2108     std::optional<NonLoc> amountCopiedNL = amountCopied.getAs<NonLoc>();  in evalStrcpyCommon()
2130       if (std::optional<NonLoc> finalStrLengthNL =  in evalStrcpyCommon()
2131               finalStrLength.getAs<NonLoc>()) {  in evalStrcpyCommon()
2188     if (std::optional<NonLoc> maxLastNL = maxLastElementIndex.getAs<NonLoc>()) {  in evalStrcpyCommon()
2203     if (std::optional<NonLoc> knownStrLength = finalStrLength.getAs<NonLoc>()) {  in evalStrcpyCommon()