1484     Optional<NonLoc> strLengthNL = strLength.getAs<NonLoc>();  in evalstrLengthCommon()  local
1487     if (strLengthNL && maxlenValNL) {  in evalstrLengthCommon()
1493               .evalBinOpNN(state, BO_GT, *strLengthNL, *maxlenValNL, cmpTy)  in evalstrLengthCommon()
1501         result = *strLengthNL;  in evalstrLengthCommon()
1514       if (strLengthNL) {  in evalstrLengthCommon()
1516                                   state, BO_LE, resultNL, *strLengthNL, cmpTy)  in evalstrLengthCommon()
1633   Optional<NonLoc> strLengthNL = strLength.getAs<NonLoc>();  in evalStrcpyCommon()  local
1679     if (strLengthNL && lenValNL) {  in evalStrcpyCommon()
1689                 .evalBinOpNN(state, BO_GE, *strLengthNL, *lenValNL, cmpTy)  in evalStrcpyCommon()
1724             state, BO_LE, *strLengthNL, *freeSpaceNL, cmpTy);  in evalStrcpyCommon()
1837     if (appendK == ConcatFnKind::strlcat && dstStrLengthNL && strLengthNL) {  in evalStrcpyCommon()
1838       strlRetVal = svalBuilder.evalBinOpNN(state, BO_Add, *strLengthNL,  in evalStrcpyCommon()