199                                             NonLoc left,
200                                             NonLoc right) const;
382   Optional<NonLoc> Length = LengthVal.getAs<NonLoc>();  in CheckBufferAccess()
387   NonLoc One = svalBuilder.makeIntVal(1, sizeTy).castAs<NonLoc>();  in CheckBufferAccess()
388   NonLoc LastOffset = svalBuilder  in CheckBufferAccess()
389       .evalBinOpNN(state, BO_Sub, *Length, One, sizeTy).castAs<NonLoc>();  in CheckBufferAccess()
497   Optional<NonLoc> Length = LengthVal.getAs<NonLoc>();  in CheckOverlap()
560                                                      NonLoc left,  in checkAdditionOverflow()
561                                                      NonLoc right) const {  in checkAdditionOverflow()
575   NonLoc maxVal = svalBuilder.makeIntVal(maxValInt);  in checkAdditionOverflow()
589   if (Optional<NonLoc> maxMinusRightNL = maxMinusRight.getAs<NonLoc>()) {  in checkAdditionOverflow()
692     if (Optional<NonLoc> strLn = strLength.getAs<NonLoc>()) {  in getCStringLengthForRegion()
699       NonLoc maxLength = svalBuilder.makeIntVal(*maxLengthInt);  in getCStringLengthForRegion()
848   Optional<NonLoc> Length = LengthVal.getAs<NonLoc>();  in IsFirstBufInBound()
853   NonLoc One = svalBuilder.makeIntVal(1, sizeTy).castAs<NonLoc>();  in IsFirstBufInBound()
854   NonLoc LastOffset =  in IsFirstBufInBound()
856           .castAs<NonLoc>();  in IsFirstBufInBound()
1055       if (Optional<NonLoc> lenValNonLoc = sizeVal.getAs<NonLoc>()) {  in evalCopyCommon()
1299     Optional<NonLoc> strLengthNL = strLength.getAs<NonLoc>();  in evalstrLengthCommon()
1300     Optional<NonLoc> maxlenValNL = maxlenVal.getAs<NonLoc>();  in evalstrLengthCommon()
1327       NonLoc resultNL = result.castAs<NonLoc>();  in evalstrLengthCommon()
1464     Optional<NonLoc> strLengthNL = strLength.getAs<NonLoc>();  in evalStrcpyCommon()
1465     Optional<NonLoc> lenValNL = lenVal.getAs<NonLoc>();  in evalStrcpyCommon()
1504         if (Optional<NonLoc> dstStrLengthNL = dstStrLength.getAs<NonLoc>()) {  in evalStrcpyCommon()
1535         NonLoc one = svalBuilder.makeIntVal(1, sizeTy).castAs<NonLoc>();  in evalStrcpyCommon()
1553       if (Optional<NonLoc> amountCopiedNL = amountCopied.getAs<NonLoc>()) {  in evalStrcpyCommon()
1603     Optional<NonLoc> srcStrLengthNL = amountCopied.getAs<NonLoc>();  in evalStrcpyCommon()
1604     Optional<NonLoc> dstStrLengthNL = dstStrLength.getAs<NonLoc>();  in evalStrcpyCommon()
1625       if (Optional<NonLoc> finalStrLengthNL = finalStrLength.getAs<NonLoc>()) {  in evalStrcpyCommon()
1673       if (Optional<NonLoc> maxLastNL = maxLastElementIndex.getAs<NonLoc>()) {  in evalStrcpyCommon()
1684     if (Optional<NonLoc> knownStrLength = finalStrLength.getAs<NonLoc>()) {  in evalStrcpyCommon()