Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

fs/xfs/libxfs/xfs_btree.c __xfs_btree_updkeys() -> xfs_btree_high_key_addr()

Type Parameter Key Value
PARAM_VALUE 0 cur 4096-ptr_max
PARAM_VALUE 0 cur->bc_ops 4096-ptr_max
PARAM_VALUE 0 cur->bc_ops->geom_flags 0-3
PARAM_VALUE 0 cur->bc_ops->key_len 4,8,40
PARAM_VALUE 0 cur->bc_ops->ptr_len 4,8
PARAM_VALUE 1 n 0-u16max
BUF_SIZE 0 cur (-1)-s32max
BUF_SIZE 0 cur (-1)-s32max
BUF_SIZE 0 cur->bc_mem.xfbtree (-1),56
BUF_SIZE 0 cur->bc_tp (-1),1-s32max
BUF_SIZE 2 block s32min-(-1),1-s32max
BUF_SIZE 2 block s32min-(-1),1-s32max
DATA_SOURCE 0 cur $0
DATA_SOURCE 2 block r xfs_btree_get_block
STR_LEN 0 cur->bc_tp (-1)-1024
BIT_INFO 0 cur->bc_ops->geom_flags 0x1,0xffffffffffffffff
NOSPEC 0 cur->bc_ino.ip->i_disk_size
NOSPEC 0 cur->bc_rec.b.br_blockcount
NOSPEC 0 cur->bc_rec.b.br_startoff
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 cur->bc_ino.ip->i_disk_size (-9223372036854775807)-s64max[c]
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_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE 0 cur->bc_cache->object_size
NO_OVERFLOW_SIMPLE 0 cur->bc_cache->sheaf_capacity
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_rec.a.ar_startblock
NO_OVERFLOW_SIMPLE 0 cur->bc_rec.r.rm_blockcount
NO_OVERFLOW_SIMPLE 0 cur->bc_rec.r.rm_offset
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
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
UNITS 1 n unit_array_size

fs/xfs/libxfs/xfs_btree.c xfs_btree_get_node_keys() -> xfs_btree_high_key_addr()

Type Parameter Key Value
PARAM_VALUE 0 cur 4096-ptr_max
PARAM_VALUE 0 cur->bc_ops 4096-ptr_max
PARAM_VALUE 0 cur->bc_ops->geom_flags 0-3
PARAM_VALUE 0 cur->bc_ops->key_len 4,8,40
PARAM_VALUE 0 cur->bc_ops->ptr_len 4,8
PARAM_VALUE 1 n 1
BUF_SIZE 0 cur (-1)-s32max
BUF_SIZE 0 cur (-1)-s32max
BUF_SIZE 0 cur->bc_mem.xfbtree (-1),56
BUF_SIZE 2 block s32min-(-1),1-s32max
BUF_SIZE 2 block s32min-(-1),1-s32max
DATA_SOURCE 0 cur $0
DATA_SOURCE 2 block $1
STR_LEN 0 cur->bc_tp (-1)-1024
BIT_INFO 0 cur->bc_ops->geom_flags 0x1,0xffffffffffffffff
NOSPEC 0 cur->bc_ino.ip->i_disk_size
NOSPEC 0 cur->bc_rec.b.br_blockcount
NOSPEC 0 cur->bc_rec.b.br_startoff
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 cur->bc_ino.ip->i_disk_size (-9223372036854775807)-s64max[c]
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_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE 0 cur->bc_cache->object_size
NO_OVERFLOW_SIMPLE 0 cur->bc_cache->sheaf_capacity
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_rec.a.ar_startblock
NO_OVERFLOW_SIMPLE 0 cur->bc_rec.r.rm_blockcount
NO_OVERFLOW_SIMPLE 0 cur->bc_rec.r.rm_offset
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
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.c xfs_btree_get_node_keys() -> xfs_btree_high_key_addr()

Type Parameter Key Value
PARAM_VALUE 0 cur 4096-ptr_max
PARAM_VALUE 0 cur->bc_ops 4096-ptr_max
PARAM_VALUE 0 cur->bc_ops->geom_flags 0-3
PARAM_VALUE 0 cur->bc_ops->key_len 4,8,40
PARAM_VALUE 0 cur->bc_ops->ptr_len 4,8
PARAM_VALUE 1 n 2-s32max
PARAM_VALUE 2 block 4096-ptr_max
BUF_SIZE 0 cur (-1)-s32max
BUF_SIZE 0 cur (-1)-s32max
BUF_SIZE 0 cur->bc_mem.xfbtree (-1),56
BUF_SIZE 2 block s32min-(-1),1-s32max
BUF_SIZE 2 block s32min-(-1),1-s32max
CAPPED_DATA 1 n 1
DATA_SOURCE 0 cur $0
DATA_SOURCE 2 block $1
STR_LEN 0 cur->bc_tp (-1)-1024
BIT_INFO 0 cur->bc_ops->geom_flags 0x1,0xffffffffffffffff
NOSPEC 0 cur->bc_ino.ip->i_disk_size
NOSPEC 0 cur->bc_rec.b.br_blockcount
NOSPEC 0 cur->bc_rec.b.br_startoff
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 cur->bc_ino.ip->i_disk_size (-9223372036854775807)-s64max[c]
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_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE 0 cur->bc_cache->object_size
NO_OVERFLOW_SIMPLE 0 cur->bc_cache->sheaf_capacity
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_rec.a.ar_startblock
NO_OVERFLOW_SIMPLE 0 cur->bc_rec.r.rm_blockcount
NO_OVERFLOW_SIMPLE 0 cur->bc_rec.r.rm_offset
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
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.c xfs_btree_overlapped_query_range() -> xfs_btree_high_key_addr()

Type Parameter Key Value
PARAM_VALUE 0 cur 4096-ptr_max
PARAM_VALUE 0 cur->bc_ops 4096-ptr_max
PARAM_VALUE 0 cur->bc_ops->geom_flags 0-3
PARAM_VALUE 0 cur->bc_ops->key_len 4,8,40
PARAM_VALUE 0 cur->bc_ops->ptr_len 4,8
PARAM_VALUE 1 n 0-u16max
PARAM_VALUE 2 block 4096-ptr_max
BUF_SIZE 0 cur (-1)-s32max
BUF_SIZE 0 cur (-1)-s32max
BUF_SIZE 0 cur->bc_mem.xfbtree (-1),56
BUF_SIZE 0 cur->bc_tp (-1)-s32max
BUF_SIZE 2 block s32min-(-1),1-s32max
BUF_SIZE 2 block s32min-(-1),1-s32max
DATA_SOURCE 0 cur $0
DATA_SOURCE 2 block r xfs_btree_get_block
BIT_INFO 0 cur->bc_ops->geom_flags 0x1,0xffffffffffffffff
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE 0 cur->bc_cache->sheaf_capacity
NO_OVERFLOW_SIMPLE 0 cur->bc_rec.r.rm_startblock
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
UNITS 1 n unit_array_size

fs/xfs/scrub/rmap.c xchk_rmapbt_check_unwritten_in_keyflags() -> xfs_btree_high_key_addr()

Type Parameter Key Value
PARAM_VALUE 0 cur 4096-ptr_max
PARAM_VALUE 0 cur->bc_ops 4096-ptr_max
PARAM_VALUE 1 n 1-u16max
PARAM_VALUE 2 block 4096-ptr_max
BUF_SIZE 0 cur (-1)-s32max
BUF_SIZE 0 cur (-1)-s32max
BUF_SIZE 2 block s32min-(-1),1-s32max
BUF_SIZE 2 block s32min-(-1),1-s32max
CAPPED_DATA 1 n 1
DATA_SOURCE 2 block r xfs_btree_get_block
PARAM_COMPARE 1 n <= $2->bb_numrecs
PARAM_COMPARE 2 block->bb_numrecs >= $1
UNITS 1 n unit_array_size

fs/xfs/scrub/btree.c xchk_btree_block_check_keys() -> xfs_btree_high_key_addr()

Type Parameter Key Value
PARAM_VALUE 0 cur 4096-ptr_max
PARAM_VALUE 0 cur->bc_mp 4096-ptr_max
PARAM_VALUE 0 cur->bc_ops 4096-ptr_max
PARAM_VALUE 1 n 0-u16max
BUF_SIZE 0 cur (-1)-s32max
BUF_SIZE 0 cur (-1)-s32max
BUF_SIZE 2 block s32min-(-1),1-s32max
BUF_SIZE 2 block s32min-(-1),1-s32max
DATA_SOURCE 2 block r xfs_btree_get_block
BIT_INFO 0 cur->bc_ops->geom_flags 0x1,0xffffffff
UNITS 1 n unit_array_size

fs/xfs/scrub/btree.c xchk_btree_block_keys() -> xfs_btree_high_key_addr()

Type Parameter Key Value
PARAM_VALUE 0 cur 4096-ptr_max
PARAM_VALUE 0 cur->bc_ops 4096-ptr_max
PARAM_VALUE 1 n 0-u16max
BUF_SIZE 2 block s32min-(-1),1-s32max
BUF_SIZE 2 block s32min-(-1),1-s32max
DATA_SOURCE 2 block r xfs_btree_get_block
BIT_INFO 0 cur->bc_ops->geom_flags 0x1,0xffffffffffffffff
UNITS 1 n unit_array_size

fs/xfs/scrub/btree.c xchk_btree_key() -> xfs_btree_high_key_addr()

Type Parameter Key Value
PARAM_VALUE 0 cur 4096-ptr_max
PARAM_VALUE 0 cur->bc_ops 4096-ptr_max
PARAM_VALUE 0 cur->bc_ops->key_len 4,8,40
PARAM_VALUE 1 n 0-u16max
BUF_SIZE 2 block s32min-(-1),1-s32max
BUF_SIZE 2 block s32min-(-1),1-s32max
DATA_SOURCE 2 block r xfs_btree_get_block
BIT_INFO 0 cur->bc_ops->geom_flags 0x1,0xffffffff
UNITS 1 n unit_array_size

fs/xfs/scrub/btree.c xchk_btree_key() -> xfs_btree_high_key_addr()

Type Parameter Key Value
PARAM_VALUE 0 cur 4096-ptr_max
PARAM_VALUE 0 cur->bc_ops 4096-ptr_max
PARAM_VALUE 0 cur->bc_ops->key_len 4,8,40
PARAM_VALUE 1 n 0-u16max
BUF_SIZE 2 block s32min-(-1),1-s32max
BUF_SIZE 2 block s32min-(-1),1-s32max
DATA_SOURCE 2 block r xfs_btree_get_block
BIT_INFO 0 cur->bc_ops->geom_flags 0x1,0xffffffff
UNITS 1 n unit_array_size

fs/xfs/scrub/btree.c xchk_btree_rec() -> xfs_btree_high_key_addr()

Type Parameter Key Value
PARAM_VALUE 0 cur 4096-ptr_max
PARAM_VALUE 0 cur->bc_ops 4096-ptr_max
PARAM_VALUE 1 n 0-u16max
BUF_SIZE 2 block s32min-(-1),1-s32max
BUF_SIZE 2 block s32min-(-1),1-s32max
DATA_SOURCE 2 block r xfs_btree_get_block
BIT_INFO 0 cur->bc_ops->geom_flags 0x1,0xffffffff
UNITS 1 n unit_array_size