diff options
Diffstat (limited to 'innobase/include/page0page.ic')
| -rw-r--r-- | innobase/include/page0page.ic | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/innobase/include/page0page.ic b/innobase/include/page0page.ic index 6e33fe2ca5d..f84fe5a5606 100644 --- a/innobase/include/page0page.ic +++ b/innobase/include/page0page.ic @@ -512,6 +512,8 @@ page_dir_find_owner_slot( slot = page_dir_get_nth_slot(page, i); while (page_dir_slot_get_rec(slot) != rec) { + ut_a(i > 0); + i--; slot = page_dir_get_nth_slot(page, i); } |