Searched defs:sizeVal (Results 1 – 1 of 1) sorted by relevance
1222 SVal sizeVal = state->getSVal(Size.Expression, LCtx); in evalCopyCommon() local1383 SVal sizeVal = State->getSVal(Size.Expression, LCtx); in evalMemcmp() local