more checks

This commit is contained in:
Alexander Kuzmenkov 2021-07-29 16:21:24 +03:00
parent a37d7bc070
commit 7ba61f0bd8

View File

@ -367,6 +367,11 @@ void WindowTransform::advancePartitionEnd()
// is a pointer to the first row of the previous frame that must have been // is a pointer to the first row of the previous frame that must have been
// valid, or to the first row of the partition, and we make sure not to drop // valid, or to the first row of the partition, and we make sure not to drop
// its block. // its block.
assert(partition_start <= prev_frame_start);
// The frame start should be inside the prospective partition, except the
// case when it still has no rows.
assert(prev_frame_start < partition_end || partition_start == partition_end);
assert(first_block_number <= prev_frame_start.block);
const auto block_rows = blockRowsNumber(partition_end); const auto block_rows = blockRowsNumber(partition_end);
for (; partition_end.row < block_rows; ++partition_end.row) for (; partition_end.row < block_rows; ++partition_end.row)
{ {