Merge remote-tracking branch 'origin/patch'

This commit is contained in:
Ryan Kurtz 2023-06-01 06:17:13 -04:00
commit d91a60f201
6 changed files with 421 additions and 327 deletions

View file

@ -294,6 +294,9 @@ public class DynamicHash {
buildOpUp(markop.get(opproc));
}
gatherUnmarkedVn();
for (; vnproc < markvn.size(); ++vnproc) {
buildVnUp(markvn.get(vnproc));
}
break;
case 6:
gatherUnmarkedOp();
@ -301,6 +304,9 @@ public class DynamicHash {
buildOpDown(markop.get(opproc));
}
gatherUnmarkedVn();
for (; vnproc < markvn.size(); ++vnproc) {
buildVnDown(markvn.get(vnproc));
}
break;
default:
break;