aljaz/turso
1
0
Fork 0
mirror of https://github.com/aljazceru/turso.git synced 2026-01-02 16:04:20 +01:00
Code Issues Packages Projects Releases Wiki Activity

Merge 'btree: add some assertions related to #2106' from Jussi Saurio

Browse Source 
Closes #2107
This commit is contained in:
Pekka Enberg
2025-07-16 11:17:23 +03:00
parent 99d61aad3c 6e5b407505
commit 192d1efc7f
1 changed files with 22 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

22
core/storage/btree.rs
View File

@@ -1557,6 +1557,13 @@ impl BTreeCursor {
unreachable!("unexpected cell type: {:?}", matching_cell);
};
turso_assert!(
page.get().id != *left_child_page as usize,
"corrupt: current page and left child page of cell {} are both {}",
leftmost_matching_cell,
page.get().id
);
let mem_page = self.read_page(*left_child_page as usize)?;
self.stack.push(mem_page);
self.seek_state = CursorSeekState::MovingBetweenPages {
@@ -5442,6 +5449,21 @@ impl PageStack {
current = self.current_page.get(),
new_page_id = page.get().get().id,
);
'validate: {
let current = self.current_page.get();
if current == -1 {
break 'validate;
}
let stack = self.stack.borrow();
let current_top = stack[current as usize].as_ref();
if let Some(current_top) = current_top {
turso_assert!(
current_top.get().get().id != page.get().get().id,
"about to push page {} twice",
page.get().get().id
);
}
}
self.increment_current();
let current = self.current_page.get();
assert!(