1591     std::optional<NonLoc> strLengthNL = strLength.getAs<NonLoc>();  in evalstrLengthCommon()  local
1594     if (strLengthNL && maxlenValNL) {  in evalstrLengthCommon()
1600               .evalBinOpNN(state, BO_GT, *strLengthNL, *maxlenValNL, cmpTy)  in evalstrLengthCommon()
1608         result = *strLengthNL;  in evalstrLengthCommon()
1621       if (strLengthNL) {  in evalstrLengthCommon()
1623                                   state, BO_LE, resultNL, *strLengthNL, cmpTy)  in evalstrLengthCommon()
1747   std::optional<NonLoc> strLengthNL = strLength.getAs<NonLoc>();  in evalStrcpyCommon()  local
1794     if (strLengthNL && lenValNL) {  in evalStrcpyCommon()
1804                 .evalBinOpNN(state, BO_GE, *strLengthNL, *lenValNL, cmpTy)  in evalStrcpyCommon()
1839             state, BO_LE, *strLengthNL, *freeSpaceNL, cmpTy);  in evalStrcpyCommon()
1955     if (appendK == ConcatFnKind::strlcat && dstStrLengthNL && strLengthNL) {  in evalStrcpyCommon()
1956       strlRetVal = svalBuilder.evalBinOpNN(state, BO_Add, *strLengthNL,  in evalStrcpyCommon()