urbit/ares
1
1
Fork 0
mirror of https://github.com/urbit/ares.git synced 2024-11-26 09:57:56 +03:00
Code Issues Packages Projects Releases Wiki Activity

pma: _node_get bounds checking

Browse Source
This commit is contained in:
barter-simsum 2024-03-13 15:24:20 -04:00
parent b6cf968083
commit 2577875c3b
1 changed files with 10 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

21
rust/ares_pma/c-src/btree.c
View File

@ -286,15 +286,15 @@ static_assert(sizeof(BT_meta) <= BT_DAT_MAXBYTES);
#define BLK_BASE_LEN5_b ((size_t)BLK_BASE_LEN4_b * 4) #define BLK_BASE_LEN5_b ((size_t)BLK_BASE_LEN4_b * 4)
#define BLK_BASE_LEN6_b ((size_t)BLK_BASE_LEN5_b * 4) #define BLK_BASE_LEN6_b ((size_t)BLK_BASE_LEN5_b * 4)
#define BLK_BASE_LEN7_b ((size_t)BLK_BASE_LEN6_b * 4) #define BLK_BASE_LEN7_b ((size_t)BLK_BASE_LEN6_b * 4)
#define BLK_BASE_LEN_TOTAL ( \ #define BLK_BASE_LEN_TOTAL ( \
BT_META_SECTION_WIDTH + \ BT_META_SECTION_WIDTH + \
BLK_BASE_LEN0_b + \ BLK_BASE_LEN0_b + \
BLK_BASE_LEN1_b + \ BLK_BASE_LEN1_b + \
BLK_BASE_LEN2_b + \ BLK_BASE_LEN2_b + \
BLK_BASE_LEN3_b + \ BLK_BASE_LEN3_b + \
BLK_BASE_LEN4_b + \ BLK_BASE_LEN4_b + \
BLK_BASE_LEN5_b + \ BLK_BASE_LEN5_b + \
BLK_BASE_LEN6_b + \ BLK_BASE_LEN6_b + \
BLK_BASE_LEN7_b) BLK_BASE_LEN7_b)
static const size_t BLK_BASE_LENS_b[BT_NUMPARTS] = { static const size_t BLK_BASE_LENS_b[BT_NUMPARTS] = {
@ -382,9 +382,8 @@ struct BT_findpath {
static BT_page * static BT_page *
_node_get(BT_state *state, pgno_t pgno) _node_get(BT_state *state, pgno_t pgno)
{ {
/* TODO: wrap in DEBUG macro a looping assert to confirm the given pgno is
contained within a node partition */
assert(pgno >= BT_NUMMETAS); assert(pgno >= BT_NUMMETAS);
assert(pgno < B2PAGES(BLK_BASE_LEN_TOTAL));
return FO2PA(state->map, pgno); return FO2PA(state->map, pgno);
} }