Searched refs:sizeVal (Results 1 – 1 of 1) sorted by relevance
1001 SVal sizeVal = state->getSVal(Size, LCtx); in evalCopyCommon() local1006 assumeZero(C, state, sizeVal, sizeTy); in evalCopyCommon()1055 if (Optional<NonLoc> lenValNonLoc = sizeVal.getAs<NonLoc>()) { in evalCopyCommon()1163 SVal sizeVal = state->getSVal(Size, LCtx); in evalMemcmp() local1168 assumeZero(C, state, sizeVal, sizeTy); in evalMemcmp()