1214     Optional<NonLoc> strLengthNL = strLength.getAs<NonLoc>();  in evalstrLengthCommon()  local
1217     if (strLengthNL && maxlenValNL) {  in evalstrLengthCommon()
1223               .evalBinOpNN(state, BO_GT, *strLengthNL, *maxlenValNL, cmpTy)  in evalstrLengthCommon()
1231         result = *strLengthNL;  in evalstrLengthCommon()
1244       if (strLengthNL) {  in evalstrLengthCommon()
1246                                   state, BO_LE, resultNL, *strLengthNL, cmpTy)  in evalstrLengthCommon()
1379     Optional<NonLoc> strLengthNL = strLength.getAs<NonLoc>();  in evalStrcpyCommon()  local
1384     if (strLengthNL && lenValNL) {  in evalStrcpyCommon()
1391           svalBuilder.evalBinOpNN(state, BO_GE, *strLengthNL, *lenValNL, cmpTy)  in evalStrcpyCommon()
1481         if (strLengthNL) {  in evalStrcpyCommon()
1485                                                            *strLengthNL,  in evalStrcpyCommon()