1295     Optional<NonLoc> strLengthNL = strLength.getAs<NonLoc>();  in evalstrLengthCommon()  local
1298     if (strLengthNL && maxlenValNL) {  in evalstrLengthCommon()
1304               .evalBinOpNN(state, BO_GT, *strLengthNL, *maxlenValNL, cmpTy)  in evalstrLengthCommon()
1312         result = *strLengthNL;  in evalstrLengthCommon()
1325       if (strLengthNL) {  in evalstrLengthCommon()
1327                                   state, BO_LE, resultNL, *strLengthNL, cmpTy)  in evalstrLengthCommon()
1460     Optional<NonLoc> strLengthNL = strLength.getAs<NonLoc>();  in evalStrcpyCommon()  local
1465     if (strLengthNL && lenValNL) {  in evalStrcpyCommon()
1472           svalBuilder.evalBinOpNN(state, BO_GE, *strLengthNL, *lenValNL, cmpTy)  in evalStrcpyCommon()
1562         if (strLengthNL) {  in evalStrcpyCommon()
1566                                                            *strLengthNL,  in evalStrcpyCommon()