262                                             NonLoc left,
263                                             NonLoc right) const;
404   Optional<NonLoc> Length = LengthVal.getAs<NonLoc>();  in CheckBufferAccess()
409   NonLoc One = svalBuilder.makeIntVal(1, SizeTy).castAs<NonLoc>();  in CheckBufferAccess()
413   NonLoc LastOffset = Offset.castAs<NonLoc>();  in CheckBufferAccess()
504   Optional<NonLoc> Length = LengthVal.getAs<NonLoc>();  in CheckOverlap()
644                                                      NonLoc left,  in checkAdditionOverflow()
645                                                      NonLoc right) const {  in checkAdditionOverflow()
659   NonLoc maxVal = svalBuilder.makeIntVal(maxValInt);  in checkAdditionOverflow()
673   if (Optional<NonLoc> maxMinusRightNL = maxMinusRight.getAs<NonLoc>()) {  in checkAdditionOverflow()
759     if (Optional<NonLoc> strLn = strLength.getAs<NonLoc>()) {  in getCStringLengthForRegion()
766       NonLoc maxLength = svalBuilder.makeIntVal(*maxLengthInt);  in getCStringLengthForRegion()
890   Optional<NonLoc> Length = LengthVal.getAs<NonLoc>();  in IsFirstBufInBound()
895   NonLoc One = svalBuilder.makeIntVal(1, sizeTy).castAs<NonLoc>();  in IsFirstBufInBound()
899   NonLoc LastOffset = Offset.castAs<NonLoc>();  in IsFirstBufInBound()
1051   Optional<NonLoc> SizeNL = SizeVal.getAs<NonLoc>();  in memsetAux()
1416     Optional<NonLoc> strLengthNL = strLength.getAs<NonLoc>();  in evalstrLengthCommon()
1417     Optional<NonLoc> maxlenValNL = maxlenVal.getAs<NonLoc>();  in evalstrLengthCommon()
1444       NonLoc resultNL = result.castAs<NonLoc>();  in evalstrLengthCommon()
1565   Optional<NonLoc> strLengthNL = strLength.getAs<NonLoc>();  in evalStrcpyCommon()
1569   Optional<NonLoc> dstStrLengthNL = dstStrLength.getAs<NonLoc>();  in evalStrcpyCommon()
1607     Optional<NonLoc> lenValNL = lenVal.getAs<NonLoc>();  in evalStrcpyCommon()
1644         if (!freeSpace.getAs<NonLoc>())  in evalStrcpyCommon()
1649         Optional<NonLoc> freeSpaceNL = freeSpace.getAs<NonLoc>();  in evalStrcpyCommon()
1733         NonLoc one = svalBuilder.makeIntVal(1, sizeTy).castAs<NonLoc>();  in evalStrcpyCommon()
1774     Optional<NonLoc> amountCopiedNL = amountCopied.getAs<NonLoc>();  in evalStrcpyCommon()
1795       if (Optional<NonLoc> finalStrLengthNL = finalStrLength.getAs<NonLoc>()) {  in evalStrcpyCommon()
1852     if (Optional<NonLoc> maxLastNL = maxLastElementIndex.getAs<NonLoc>()) {  in evalStrcpyCommon()
1862     if (Optional<NonLoc> knownStrLength = finalStrLength.getAs<NonLoc>()) {  in evalStrcpyCommon()