Searched refs:maxlenVal (Results 1 – 1 of 1) sorted by relevance
1694 SVal maxlenVal = state->getSVal(maxlenExpr, LCtx); in evalstrLengthCommon() local1698 assumeZero(C, state, maxlenVal, maxlenExpr->getType()); in evalstrLengthCommon()1741 SVal maxlenVal = state->getSVal(maxlenExpr, LCtx); in evalstrLengthCommon() local1744 std::optional<NonLoc> maxlenValNL = maxlenVal.getAs<NonLoc>(); in evalstrLengthCommon()