Searched refs:sizeVal (Results 1 – 1 of 1) sorted by relevance
916 SVal sizeVal = state->getSVal(Size, LCtx); in evalCopyCommon() local921 assumeZero(C, state, sizeVal, sizeTy); in evalCopyCommon()970 if (Optional<NonLoc> lenValNonLoc = sizeVal.getAs<NonLoc>()) { in evalCopyCommon()1073 SVal sizeVal = state->getSVal(Size, LCtx); in evalMemcmp() local1078 assumeZero(C, state, sizeVal, sizeTy); in evalMemcmp()