315                                             NonLoc left,
316                                             NonLoc right) const;
400   NonLoc Idx = ER->getIndex();  in CheckLocation()
410     NonLoc WideSize =  in CheckLocation()
414             .castAs<NonLoc>();  in CheckLocation()
418     Idx = Offset.castAs<NonLoc>();  in CheckLocation()
492   std::optional<NonLoc> Length = LengthVal.getAs<NonLoc>();  in CheckBufferAccess()
497   NonLoc One = svalBuilder.makeIntVal(1, SizeTy).castAs<NonLoc>();  in CheckBufferAccess()
501   NonLoc LastOffset = Offset.castAs<NonLoc>();  in CheckBufferAccess()
595   std::optional<NonLoc> Length = LengthVal.getAs<NonLoc>();  in CheckOverlap()
758                                                      NonLoc left,  in checkAdditionOverflow()
759                                                      NonLoc right) const {  in checkAdditionOverflow()
773   NonLoc maxVal = svalBuilder.makeIntVal(maxValInt);  in checkAdditionOverflow()
787   if (std::optional<NonLoc> maxMinusRightNL = maxMinusRight.getAs<NonLoc>()) {  in checkAdditionOverflow()
873     if (std::optional<NonLoc> strLn = strLength.getAs<NonLoc>()) {  in getCStringLengthForRegion()
880       NonLoc maxLength = svalBuilder.makeIntVal(*maxLengthInt);  in getCStringLengthForRegion()
1016   std::optional<NonLoc> Length = LengthVal.getAs<NonLoc>();  in isFirstBufInBound()
1021   NonLoc One = SB.makeIntVal(1, LengthTy).castAs<NonLoc>();  in isFirstBufInBound()
1025   NonLoc LastOffset = Offset.castAs<NonLoc>();  in isFirstBufInBound()
1216   std::optional<NonLoc> SizeNL = SizeVal.getAs<NonLoc>();  in memsetAux()
1591     std::optional<NonLoc> strLengthNL = strLength.getAs<NonLoc>();  in evalstrLengthCommon()
1592     std::optional<NonLoc> maxlenValNL = maxlenVal.getAs<NonLoc>();  in evalstrLengthCommon()
1619       NonLoc resultNL = result.castAs<NonLoc>();  in evalstrLengthCommon()
1747   std::optional<NonLoc> strLengthNL = strLength.getAs<NonLoc>();  in evalStrcpyCommon()
1751   std::optional<NonLoc> dstStrLengthNL = dstStrLength.getAs<NonLoc>();  in evalStrcpyCommon()
1790     std::optional<NonLoc> lenValNL = lenVal.getAs<NonLoc>();  in evalStrcpyCommon()
1827         if (!isa<NonLoc>(freeSpace))  in evalStrcpyCommon()
1832         std::optional<NonLoc> freeSpaceNL = freeSpace.getAs<NonLoc>();  in evalStrcpyCommon()
1919         NonLoc one = svalBuilder.makeIntVal(1, sizeTy).castAs<NonLoc>();  in evalStrcpyCommon()
1960     std::optional<NonLoc> amountCopiedNL = amountCopied.getAs<NonLoc>();  in evalStrcpyCommon()
1982       if (std::optional<NonLoc> finalStrLengthNL =  in evalStrcpyCommon()
1983               finalStrLength.getAs<NonLoc>()) {  in evalStrcpyCommon()
2040     if (std::optional<NonLoc> maxLastNL = maxLastElementIndex.getAs<NonLoc>()) {  in evalStrcpyCommon()
2055     if (std::optional<NonLoc> knownStrLength = finalStrLength.getAs<NonLoc>()) {  in evalStrcpyCommon()