Searched refs:stateZeroSize (Results 1 – 1 of 1) sorted by relevance
1202 std::tie(stateZeroSize, stateNonZeroSize) = in evalCopyCommon()1210 if (stateZeroSize && !stateNonZeroSize) { in evalCopyCommon()1211 stateZeroSize = stateZeroSize->BindExpr(CE, LCtx, destVal); in evalCopyCommon()1212 C.addTransition(stateZeroSize); in evalCopyCommon()1361 std::tie(stateZeroSize, stateNonZeroSize) = in evalMemcmp()1366 if (stateZeroSize) { in evalMemcmp()1367 State = stateZeroSize; in evalMemcmp()1438 std::tie(stateZeroSize, stateNonZeroSize) = in evalstrLengthCommon()1443 if (stateZeroSize) { in evalstrLengthCommon()1445 stateZeroSize = stateZeroSize->BindExpr(CE, LCtx, zero); in evalstrLengthCommon()[all …]