Searched refs:NewStrLen (Results 1 – 1 of 1) sorted by relevance
1410 SVal NewStrLen = svalBuilder.getMetadataSymbolVal( in memsetAux() local1417 State, BO_GE, NewStrLen, SizeVal, svalBuilder.getConditionType()); in memsetAux()1421 MR, NewStrLen); in memsetAux()