Function pb_promote_and_flush

internal/cbm/sqlite_writer.c:1243–1261

Promote the last cell from current page to separator, un-add it, and flush.

// Promote the last cell from current page to separator, un-add it, and flush.
static bool pb_promote_and_flush(PageBuilder *pb, uint8_t **cells, int *cell_lens, int prev_idx) {
    if (!pb_ensure_leaf_cap(pb)) {
        return false;
    }
    pb->leaves[pb->leaf_count].max_key = 0;
    pb->leaves[pb->leaf_count].sep_cell = (uint8_t *)malloc(cell_lens[prev_idx]);
    memcpy(pb->leaves[pb->leaf_count].sep_cell, cells[prev_idx], cell_lens[prev_idx]);
    pb->leaves[pb->leaf_count].sep_cell_len = cell_lens[prev_idx];

    // Un-add the last cell — it's promoted to the interior separator.
    // SQLite index B-tree interior cells are counted by integrity_check,
    // so this cell exists in the interior page instead of the leaf.
    pb->cell_count--;
    pb->content_offset += cell_lens[prev_idx];
    pb->ptr_offset -= CELL_PTR_SIZE;

    pb_flush_leaf(pb);
    return true;
}

// Write an empty index leaf page.
static uint32_t write_empty_index_leaf(FILE *fp, uint32_t *next_page) {