Searched refs:stateZeroSize (Results 1 – 1 of 1) sorted by relevance
1304 std::tie(stateZeroSize, stateNonZeroSize) = in evalCopyCommon()1312 if (stateZeroSize && !stateNonZeroSize) { in evalCopyCommon()1313 stateZeroSize = in evalCopyCommon()1315 C.addTransition(stateZeroSize); in evalCopyCommon()1465 std::tie(stateZeroSize, stateNonZeroSize) = in evalMemcmp()1470 if (stateZeroSize) { in evalMemcmp()1471 State = stateZeroSize; in evalMemcmp()1545 std::tie(stateZeroSize, stateNonZeroSize) = in evalstrLengthCommon()1550 if (stateZeroSize) { in evalstrLengthCommon()1552 stateZeroSize = stateZeroSize->BindExpr(Call.getOriginExpr(), LCtx, zero); in evalstrLengthCommon()[all …]