215                                             NonLoc left,
216                                             NonLoc right) const;
368   Optional<NonLoc> Length = LengthVal.getAs<NonLoc>();  in CheckBufferAccess()
373   NonLoc One = svalBuilder.makeIntVal(1, sizeTy).castAs<NonLoc>();  in CheckBufferAccess()
377   NonLoc LastOffset = Offset.castAs<NonLoc>();  in CheckBufferAccess()
485   Optional<NonLoc> Length = LengthVal.getAs<NonLoc>();  in CheckOverlap()
623                                                      NonLoc left,  in checkAdditionOverflow()
624                                                      NonLoc right) const {  in checkAdditionOverflow()
638   NonLoc maxVal = svalBuilder.makeIntVal(maxValInt);  in checkAdditionOverflow()
652   if (Optional<NonLoc> maxMinusRightNL = maxMinusRight.getAs<NonLoc>()) {  in checkAdditionOverflow()
737     if (Optional<NonLoc> strLn = strLength.getAs<NonLoc>()) {  in getCStringLengthForRegion()
744       NonLoc maxLength = svalBuilder.makeIntVal(*maxLengthInt);  in getCStringLengthForRegion()
867   Optional<NonLoc> Length = LengthVal.getAs<NonLoc>();  in IsFirstBufInBound()
872   NonLoc One = svalBuilder.makeIntVal(1, sizeTy).castAs<NonLoc>();  in IsFirstBufInBound()
876   NonLoc LastOffset = Offset.castAs<NonLoc>();  in IsFirstBufInBound()
1025   Optional<NonLoc> SizeNL = SizeVal.getAs<NonLoc>();  in memsetAux()
1400     Optional<NonLoc> strLengthNL = strLength.getAs<NonLoc>();  in evalstrLengthCommon()
1401     Optional<NonLoc> maxlenValNL = maxlenVal.getAs<NonLoc>();  in evalstrLengthCommon()
1428       NonLoc resultNL = result.castAs<NonLoc>();  in evalstrLengthCommon()
1594     Optional<NonLoc> strLengthNL = strLength.getAs<NonLoc>();  in evalStrcpyCommon()
1595     Optional<NonLoc> lenValNL = lenVal.getAs<NonLoc>();  in evalStrcpyCommon()
1634         if (Optional<NonLoc> dstStrLengthNL = dstStrLength.getAs<NonLoc>()) {  in evalStrcpyCommon()
1669         NonLoc one = svalBuilder.makeIntVal(1, sizeTy).castAs<NonLoc>();  in evalStrcpyCommon()
1687       if (Optional<NonLoc> amountCopiedNL = amountCopied.getAs<NonLoc>()) {  in evalStrcpyCommon()
1737     Optional<NonLoc> srcStrLengthNL = amountCopied.getAs<NonLoc>();  in evalStrcpyCommon()
1738     Optional<NonLoc> dstStrLengthNL = dstStrLength.getAs<NonLoc>();  in evalStrcpyCommon()
1759       if (Optional<NonLoc> finalStrLengthNL = finalStrLength.getAs<NonLoc>()) {  in evalStrcpyCommon()
1813       if (Optional<NonLoc> maxLastNL = maxLastElementIndex.getAs<NonLoc>()) {  in evalStrcpyCommon()
1824     if (Optional<NonLoc> knownStrLength = finalStrLength.getAs<NonLoc>()) {  in evalStrcpyCommon()