2026-10-27 20:45:53 +00:00
1 changed files with 2 additions and 0 deletions
@@ -2307,6 +2307,8 @@ bool checkMaxBetweenExclusiveImpl(Node3 *n, int begin, int end,
  assert(!(begin == -1 && end == 256));

  auto *self = static_cast<Node3 *>(n);
+  assume(1 <= self->numChildren);
+  assume(self->numChildren <= 3);

  ++begin;