Searched defs:maxlenVal (Results 1 – 1 of 1) sorted by relevance
1245 SVal maxlenVal = state->getSVal(maxlenExpr, LCtx); in evalstrLengthCommon() local1293 SVal maxlenVal = state->getSVal(maxlenExpr, LCtx); in evalstrLengthCommon() local