Searched defs:lenVal (Results 1 – 1 of 1) sorted by relevance
1784 SVal lenVal = state->getSVal(lenExpr.Expression, LCtx); evalStrcpyCommon() local 2219 SVal lenVal = state->getSVal(lenExpr, LCtx); evalStrcmpCommon() local