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