Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
fs/xfs/libxfs/xfs_btree.c __xfs_btree_split() -> xfs_btree_set_sibling()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cur | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ag.agbp->b_addr->agf_btreeblks | 0-4294967295 |
| PARAM_VALUE | 0 | cur->bc_ag.agbp->b_addr->agf_flcount | 0-4294967295 |
| PARAM_VALUE | 0 | cur->bc_ag.agbp->b_addr->agf_flfirst | 0-4294967295 |
| PARAM_VALUE | 0 | cur->bc_ag.agbp->b_addr->agf_refcount_blocks | 0-4294967295 |
| PARAM_VALUE | 0 | cur->bc_ag.agbp->b_addr->agf_rmap_blocks | 0-4294967295 |
| PARAM_VALUE | 0 | cur->bc_ag.agbp->b_addr->agi_fblocks | 0-4294967295 |
| PARAM_VALUE | 0 | cur->bc_ag.agbp->b_addr->agi_iblocks | 0-4294967295 |
| PARAM_VALUE | 0 | cur->bc_ag.agbp->b_flags | 0,32-u32max |
| PARAM_VALUE | 0 | cur->bc_ag.agbp->b_log_item->bli_flags | 0,2-u32max |
| PARAM_VALUE | 0 | cur->bc_group->xg_busy_extents->eb_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_itemp->ili_dirty_flags | 0-4294967295 |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_delalloc_blks.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_delalloc_blks.lock.owner | (-1) |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_delalloc_blks.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_delalloc_blks.lock.raw_lock.val.counter | 0-s32max |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_delalloc_rtextents.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_delalloc_rtextents.lock.owner | (-1) |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_delalloc_rtextents.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_delalloc_rtextents.lock.raw_lock.val.counter | 0-s32max |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_metafile_resv_avail | 0-9223372036854775807 |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_metafile_resv_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_metafile_resv_lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_metafile_resv_lock.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_metafile_resv_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_sb_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | cur->bc_mp | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->buf_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->get_maxrecs | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->init_key_from_rec | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->key_len | 4,8,40 |
| PARAM_VALUE | 0 | cur->bc_ops->ptr_len | 4,8 |
| PARAM_VALUE | 0 | cur->bc_ops->type | 0-2 |
| PARAM_VALUE | 0 | cur->bc_tp | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_tp->t_items.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_tp->t_items.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_tp->t_items.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_tp->t_mountp | 4096-ptr_max |
| PARAM_VALUE | 1 | block | 4096-ptr_max |
| PARAM_VALUE | 2 | ptr | 1112452135094079488 |
| PARAM_VALUE | 3 | lr | 16 |
| BUF_SIZE | 0 | cur | (-1)-s32max |
| BUF_SIZE | 0 | cur | (-1)-s32max |
| CAPPED_DATA | 0 | cur->bc_tp | 1 |
| DATA_SOURCE | 0 | cur | $0 |
| STR_LEN | 0 | cur->bc_tp | (-1)-1024 |
| NOSPEC | 0 | cur->bc_rec.b.br_blockcount | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | cur->bc_rec.b.br_blockcount | 0-18014398509481983,18446744069414584321-u64max[c] |
| USER_DATA | 0 | cur->bc_rec.b.br_startblock | 0-22518000284336124 |
| USER_DATA | 0 | cur->bc_rec.b.br_startoff | 0-18446744073709551614[c] |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_rec.a.ar_startblock | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_rec.r.rm_blockcount | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_rec.r.rm_startblock | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_rec.rc.rc_blockcount | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_rec.rc.rc_startblock |
fs/xfs/libxfs/xfs_btree.c __xfs_btree_split() -> xfs_btree_set_sibling()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cur | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ag.agbp->b_addr->agf_btreeblks | 0-4294967295 |
| PARAM_VALUE | 0 | cur->bc_ag.agbp->b_addr->agf_flcount | 0-4294967295 |
| PARAM_VALUE | 0 | cur->bc_ag.agbp->b_addr->agf_flfirst | 0-4294967295 |
| PARAM_VALUE | 0 | cur->bc_ag.agbp->b_addr->agf_refcount_blocks | 0-4294967295 |
| PARAM_VALUE | 0 | cur->bc_ag.agbp->b_addr->agf_rmap_blocks | 0-4294967295 |
| PARAM_VALUE | 0 | cur->bc_ag.agbp->b_addr->agi_fblocks | 0-4294967295 |
| PARAM_VALUE | 0 | cur->bc_ag.agbp->b_addr->agi_iblocks | 0-4294967295 |
| PARAM_VALUE | 0 | cur->bc_ag.agbp->b_flags | 0,32-u32max |
| PARAM_VALUE | 0 | cur->bc_ag.agbp->b_log_item->bli_flags | 0,2-u32max |
| PARAM_VALUE | 0 | cur->bc_group->xg_busy_extents->eb_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_itemp->ili_dirty_flags | 0-4294967295 |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_delalloc_blks.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_delalloc_blks.lock.owner | (-1) |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_delalloc_blks.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_delalloc_blks.lock.raw_lock.val.counter | 0-s32max |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_delalloc_rtextents.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_delalloc_rtextents.lock.owner | (-1) |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_delalloc_rtextents.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_delalloc_rtextents.lock.raw_lock.val.counter | 0-s32max |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_metafile_resv_avail | 0-9223372036854775807 |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_metafile_resv_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_metafile_resv_lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_metafile_resv_lock.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_metafile_resv_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_sb_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | cur->bc_mp | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->buf_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->get_maxrecs | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->init_key_from_rec | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->key_len | 4,8,40 |
| PARAM_VALUE | 0 | cur->bc_ops->ptr_len | 4,8 |
| PARAM_VALUE | 0 | cur->bc_ops->type | 0-2 |
| PARAM_VALUE | 0 | cur->bc_tp | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_tp->t_items.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_tp->t_items.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_tp->t_items.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_tp->t_mountp | 4096-ptr_max |
| PARAM_VALUE | 1 | block | 4096-ptr_max |
| PARAM_VALUE | 2 | ptr | 5707590227122434048 |
| PARAM_VALUE | 3 | lr | 8 |
| BUF_SIZE | 0 | cur | (-1)-s32max |
| BUF_SIZE | 0 | cur | (-1)-s32max |
| CAPPED_DATA | 0 | cur->bc_tp | 1 |
| DATA_SOURCE | 0 | cur | $0 |
| STR_LEN | 0 | cur->bc_tp | (-1)-1024 |
| NOSPEC | 0 | cur->bc_rec.b.br_blockcount | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | cur->bc_rec.b.br_blockcount | 0-18014398509481983,18446744069414584321-u64max[c] |
| USER_DATA | 0 | cur->bc_rec.b.br_startblock | 0-22518000284336124 |
| USER_DATA | 0 | cur->bc_rec.b.br_startoff | 0-18446744073709551614[c] |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_rec.a.ar_startblock | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_rec.r.rm_blockcount | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_rec.r.rm_startblock | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_rec.rc.rc_blockcount | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_rec.rc.rc_startblock |
fs/xfs/libxfs/xfs_btree.c __xfs_btree_split() -> xfs_btree_set_sibling()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cur | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ag.agbp->b_addr->agf_btreeblks | 0-4294967295 |
| PARAM_VALUE | 0 | cur->bc_ag.agbp->b_addr->agf_flcount | 0-4294967295 |
| PARAM_VALUE | 0 | cur->bc_ag.agbp->b_addr->agf_flfirst | 0-4294967295 |
| PARAM_VALUE | 0 | cur->bc_ag.agbp->b_addr->agf_refcount_blocks | 0-4294967295 |
| PARAM_VALUE | 0 | cur->bc_ag.agbp->b_addr->agf_rmap_blocks | 0-4294967295 |
| PARAM_VALUE | 0 | cur->bc_ag.agbp->b_addr->agi_fblocks | 0-4294967295 |
| PARAM_VALUE | 0 | cur->bc_ag.agbp->b_addr->agi_iblocks | 0-4294967295 |
| PARAM_VALUE | 0 | cur->bc_ag.agbp->b_flags | 0,32-u32max |
| PARAM_VALUE | 0 | cur->bc_ag.agbp->b_log_item->bli_flags | 0,2-u32max |
| PARAM_VALUE | 0 | cur->bc_group->xg_busy_extents->eb_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_itemp->ili_dirty_flags | 0-4294967295 |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_delalloc_blks.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_delalloc_blks.lock.owner | (-1) |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_delalloc_blks.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_delalloc_blks.lock.raw_lock.val.counter | 0-s32max |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_delalloc_rtextents.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_delalloc_rtextents.lock.owner | (-1) |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_delalloc_rtextents.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_delalloc_rtextents.lock.raw_lock.val.counter | 0-s32max |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_metafile_resv_avail | 0-9223372036854775807 |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_metafile_resv_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_metafile_resv_lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_metafile_resv_lock.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_metafile_resv_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_sb_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | cur->bc_mp | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->buf_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->get_maxrecs | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->init_key_from_rec | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->key_len | 4,8,40 |
| PARAM_VALUE | 0 | cur->bc_ops->ptr_len | 4,8 |
| PARAM_VALUE | 0 | cur->bc_ops->type | 0-2 |
| PARAM_VALUE | 0 | cur->bc_tp | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_tp->t_items.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_tp->t_items.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_tp->t_items.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_tp->t_mountp | 4096-ptr_max |
| PARAM_VALUE | 1 | block | 4096-ptr_max |
| PARAM_VALUE | 2 | ptr | 8335801975059021824 |
| PARAM_VALUE | 2 | ptr->s | 0-4294967294 |
| PARAM_VALUE | 3 | lr | 16 |
| BUF_SIZE | 0 | cur | (-1)-s32max |
| BUF_SIZE | 0 | cur | (-1)-s32max |
| BUF_SIZE | 1 | block | s32min-(-1),1-s32max |
| BUF_SIZE | 1 | block | s32min-(-1),1-s32max |
| CAPPED_DATA | 0 | cur->bc_tp | 1 |
| DATA_SOURCE | 0 | cur | $0 |
| DATA_SOURCE | 1 | block | r xfs_btree_get_block |
| STR_LEN | 0 | cur->bc_tp | (-1)-1024 |
| NOSPEC | 0 | cur->bc_rec.b.br_blockcount | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | cur->bc_rec.b.br_blockcount | 0-18014398509481983,18446744069414584321-u64max[c] |
| USER_DATA | 0 | cur->bc_rec.b.br_startblock | 0-22518000284336124 |
| USER_DATA | 0 | cur->bc_rec.b.br_startoff | 0-18446744073709551614[c] |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_rec.a.ar_startblock | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_rec.r.rm_blockcount | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_rec.r.rm_startblock | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_rec.rc.rc_blockcount | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_rec.rc.rc_startblock |
fs/xfs/libxfs/xfs_btree.c __xfs_btree_split() -> xfs_btree_set_sibling()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cur | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ag.agbp->b_addr->agf_btreeblks | 0-4294967295 |
| PARAM_VALUE | 0 | cur->bc_ag.agbp->b_addr->agf_flcount | 0-4294967295 |
| PARAM_VALUE | 0 | cur->bc_ag.agbp->b_addr->agf_flfirst | 0-4294967295 |
| PARAM_VALUE | 0 | cur->bc_ag.agbp->b_addr->agf_refcount_blocks | 0-4294967295 |
| PARAM_VALUE | 0 | cur->bc_ag.agbp->b_addr->agf_rmap_blocks | 0-4294967295 |
| PARAM_VALUE | 0 | cur->bc_ag.agbp->b_addr->agi_fblocks | 0-4294967295 |
| PARAM_VALUE | 0 | cur->bc_ag.agbp->b_addr->agi_iblocks | 0-4294967295 |
| PARAM_VALUE | 0 | cur->bc_ag.agbp->b_flags | 0,32-u32max |
| PARAM_VALUE | 0 | cur->bc_ag.agbp->b_log_item->bli_flags | 0,2-u32max |
| PARAM_VALUE | 0 | cur->bc_group->xg_busy_extents->eb_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_itemp->ili_dirty_flags | 0-4294967295 |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_delalloc_blks.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_delalloc_blks.lock.owner | (-1) |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_delalloc_blks.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_delalloc_blks.lock.raw_lock.val.counter | 0-s32max |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_delalloc_rtextents.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_delalloc_rtextents.lock.owner | (-1) |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_delalloc_rtextents.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_delalloc_rtextents.lock.raw_lock.val.counter | 0-s32max |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_metafile_resv_avail | 0-9223372036854775807 |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_metafile_resv_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_metafile_resv_lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_metafile_resv_lock.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_metafile_resv_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_sb_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | cur->bc_mp | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->buf_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->get_maxrecs | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->init_key_from_rec | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->key_len | 4,8,40 |
| PARAM_VALUE | 0 | cur->bc_ops->ptr_len | 4,8 |
| PARAM_VALUE | 0 | cur->bc_ops->type | 0-2 |
| PARAM_VALUE | 0 | cur->bc_tp | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_tp->t_items.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_tp->t_items.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_tp->t_mountp | 4096-ptr_max |
| PARAM_VALUE | 2 | ptr | 8335801975059021824 |
| PARAM_VALUE | 2 | ptr->s | 0-4294967294 |
| PARAM_VALUE | 3 | lr | 8 |
| BUF_SIZE | 0 | cur | (-1)-s32max |
| BUF_SIZE | 0 | cur | (-1)-s32max |
| CAPPED_DATA | 0 | cur->bc_tp | 1 |
| DATA_SOURCE | 0 | cur | $0 |
| STR_LEN | 0 | cur->bc_tp | (-1)-1024 |
| NOSPEC | 0 | cur->bc_rec.b.br_blockcount | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | cur->bc_rec.b.br_blockcount | 0-18014398509481983,18446744069414584321-u64max[c] |
| USER_DATA | 0 | cur->bc_rec.b.br_startblock | 0-22518000284336124 |
| USER_DATA | 0 | cur->bc_rec.b.br_startoff | 0-18446744073709551614[c] |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_rec.a.ar_startblock | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_rec.r.rm_blockcount | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_rec.r.rm_startblock | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_rec.rc.rc_blockcount | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_rec.rc.rc_startblock |
fs/xfs/libxfs/xfs_btree_staging.c xfs_btree_bload_prep_block() -> xfs_btree_set_sibling()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cur | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_cache | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_maxlevels | 1-255 |
| PARAM_VALUE | 0 | cur->bc_mp | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->get_maxrecs | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->get_minrecs | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->ptr_len | 4,8 |
| PARAM_VALUE | 0 | cur->bc_ops->type | 0-2 |
| PARAM_VALUE | 0 | cur->bc_tp | 0 |
| PARAM_VALUE | 0 | cur->bc_tp->t_items.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_tp->t_items.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_tp->t_mountp | 4096-ptr_max |
| PARAM_VALUE | 1 | block | 4096-ptr_max |
| PARAM_VALUE | 2 | ptr | 2804699661505773568 |
| PARAM_VALUE | 3 | lr | 16 |
| BUF_SIZE | 0 | cur | (-1)-s32max |
| BUF_SIZE | 0 | cur | (-1)-s32max |
| CAPPED_DATA | 0 | cur->bc_maxlevels | 1 |
| DATA_SOURCE | 0 | cur | $0 |
| BIT_INFO | 0 | cur->bc_flags | 0x0,0xffffffff |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_ag.agbp->b_map_count | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_ino.ip->i_delayed_blks | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_ino.ip->i_nblocks | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_tp->t_blk_res | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_tp->t_rtx_res | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_tp->t_rtx_res_used |
fs/xfs/libxfs/xfs_btree_staging.c xfs_btree_bload_prep_block() -> xfs_btree_set_sibling()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cur | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_cache | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_maxlevels | 1-255 |
| PARAM_VALUE | 0 | cur->bc_mp | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->buf_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->get_maxrecs | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->get_minrecs | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->ptr_len | 4,8 |
| PARAM_VALUE | 0 | cur->bc_ops->type | 0-2 |
| PARAM_VALUE | 0 | cur->bc_tp | 0 |
| PARAM_VALUE | 0 | cur->bc_tp->t_items.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_tp->t_items.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_tp->t_mountp | 4096-ptr_max |
| PARAM_VALUE | 2 | ptr | 7639398645770153984 |
| PARAM_VALUE | 3 | lr | 8 |
| BUF_SIZE | 0 | cur | (-1)-s32max |
| BUF_SIZE | 0 | cur | (-1)-s32max |
| CAPPED_DATA | 0 | cur->bc_maxlevels | 1 |
| DATA_SOURCE | 0 | cur | $0 |
| DATA_SOURCE | 2 | ptr | $5 |
| BIT_INFO | 0 | cur->bc_flags | 0x0,0xffffffff |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_ag.agbp->b_map_count | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_ino.ip->i_delayed_blks | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_ino.ip->i_nblocks | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_tp->t_blk_res | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_tp->t_rtx_res | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_tp->t_rtx_res_used |