Lines Matching defs:strLengthNL
1744 std::optional<NonLoc> strLengthNL = strLength.getAs<NonLoc>();
1747 if (strLengthNL && maxlenValNL) {
1753 .evalBinOpNN(state, BO_GT, *strLengthNL, *maxlenValNL, cmpTy)
1761 result = *strLengthNL;
1774 if (strLengthNL) {
1776 state, BO_LE, resultNL, *strLengthNL, cmpTy)
1900 std::optional<NonLoc> strLengthNL = strLength.getAs<NonLoc>();
1947 if (strLengthNL && lenValNL) {
1957 .evalBinOpNN(state, BO_GE, *strLengthNL, *lenValNL, cmpTy)
1992 state, BO_LE, *strLengthNL, *freeSpaceNL, cmpTy);
2108 if (appendK == ConcatFnKind::strlcat && dstStrLengthNL && strLengthNL) {
2109 strlRetVal = svalBuilder.evalBinOpNN(state, BO_Add, *strLengthNL,