Lines Matching refs:s2Length
1711 SVal s2Length = getCStringLength(C, state, s2, s2Val);1712 if (s2Length.isUndef())