Searched defs:lenVal (Results 1 – 2 of 2) sorted by relevance
1459 SVal lenVal = state->getSVal(lenExpr, LCtx); in evalStrcpyCommon() local1850 SVal lenVal = state->getSVal(lenExpr, LCtx); in evalStrcmpCommon() local
1601 SVal lenVal = state->getSVal(lenExpr.Expression, LCtx); in evalStrcpyCommon() local2017 SVal lenVal = state->getSVal(lenExpr, LCtx); in evalStrcmpCommon() local