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