275                                             NonLoc left,
276                                             NonLoc right) const;
361   NonLoc Idx = ER->getIndex();  in CheckLocation()
371     NonLoc WideSize =  in CheckLocation()
375             .castAs<NonLoc>();  in CheckLocation()
379     Idx = Offset.castAs<NonLoc>();  in CheckLocation()
445   Optional<NonLoc> Length = LengthVal.getAs<NonLoc>();  in CheckBufferAccess()
450   NonLoc One = svalBuilder.makeIntVal(1, SizeTy).castAs<NonLoc>();  in CheckBufferAccess()
454   NonLoc LastOffset = Offset.castAs<NonLoc>();  in CheckBufferAccess()
550   Optional<NonLoc> Length = LengthVal.getAs<NonLoc>();  in CheckOverlap()
710                                                      NonLoc left,  in checkAdditionOverflow()
711                                                      NonLoc right) const {  in checkAdditionOverflow()
725   NonLoc maxVal = svalBuilder.makeIntVal(maxValInt);  in checkAdditionOverflow()
739   if (Optional<NonLoc> maxMinusRightNL = maxMinusRight.getAs<NonLoc>()) {  in checkAdditionOverflow()
825     if (Optional<NonLoc> strLn = strLength.getAs<NonLoc>()) {  in getCStringLengthForRegion()
832       NonLoc maxLength = svalBuilder.makeIntVal(*maxLengthInt);  in getCStringLengthForRegion()
956   Optional<NonLoc> Length = LengthVal.getAs<NonLoc>();  in IsFirstBufInBound()
961   NonLoc One = svalBuilder.makeIntVal(1, sizeTy).castAs<NonLoc>();  in IsFirstBufInBound()
965   NonLoc LastOffset = Offset.castAs<NonLoc>();  in IsFirstBufInBound()
1114   Optional<NonLoc> SizeNL = SizeVal.getAs<NonLoc>();  in memsetAux()
1484     Optional<NonLoc> strLengthNL = strLength.getAs<NonLoc>();  in evalstrLengthCommon()
1485     Optional<NonLoc> maxlenValNL = maxlenVal.getAs<NonLoc>();  in evalstrLengthCommon()
1512       NonLoc resultNL = result.castAs<NonLoc>();  in evalstrLengthCommon()
1633   Optional<NonLoc> strLengthNL = strLength.getAs<NonLoc>();  in evalStrcpyCommon()
1637   Optional<NonLoc> dstStrLengthNL = dstStrLength.getAs<NonLoc>();  in evalStrcpyCommon()
1675     Optional<NonLoc> lenValNL = lenVal.getAs<NonLoc>();  in evalStrcpyCommon()
1712         if (!isa<NonLoc>(freeSpace))  in evalStrcpyCommon()
1717         Optional<NonLoc> freeSpaceNL = freeSpace.getAs<NonLoc>();  in evalStrcpyCommon()
1801         NonLoc one = svalBuilder.makeIntVal(1, sizeTy).castAs<NonLoc>();  in evalStrcpyCommon()
1842     Optional<NonLoc> amountCopiedNL = amountCopied.getAs<NonLoc>();  in evalStrcpyCommon()
1863       if (Optional<NonLoc> finalStrLengthNL = finalStrLength.getAs<NonLoc>()) {  in evalStrcpyCommon()
1920     if (Optional<NonLoc> maxLastNL = maxLastElementIndex.getAs<NonLoc>()) {  in evalStrcpyCommon()
1930     if (Optional<NonLoc> knownStrLength = finalStrLength.getAs<NonLoc>()) {  in evalStrcpyCommon()