Searched defs:lenVal (Results 1 – 1 of 1) sorted by relevance
1369 SVal lenVal = state->getSVal(lenExpr, LCtx); in evalStrcpyCommon() local1757 SVal lenVal = state->getSVal(lenExpr, LCtx); in evalStrcmpCommon() local