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