Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/xfs/libxfs/xfs_btree.c xfs_btree_insrec() -> (struct xfs_btree_ops)->keys_inorder()

Type Parameter Key Value
PARAM_VALUE 0 cur 4096-ptr_max
PARAM_VALUE 0 cur->bc_levels 4096-ptr_max
PARAM_VALUE 0 cur->bc_mp 4096-ptr_max
PARAM_VALUE 0 cur->bc_ops 4096-ptr_max
PARAM_VALUE 0 cur->bc_ops->ptr_len 4,8
PARAM_VALUE 0 cur->bc_ops->type 0-2
PARAM_VALUE 1 k1 5521992025427808256
BUF_SIZE 0 cur (-1)-s32max
BUF_SIZE 0 cur (-1)-s32max
BUF_SIZE 1 k1 40
DATA_SOURCE 0 cur $0
DATA_SOURCE 1 k1 $4
STR_LEN 0 cur->bc_tp (-1)-1024
CONTAINER 0 -176-16+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
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_cache->object_size
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 1 k1->alloc.ar_startblock
NO_OVERFLOW_SIMPLE 1 k1->rmap.rm_startblock

fs/xfs/libxfs/xfs_btree.c xfs_btree_insrec() -> (struct xfs_btree_ops)->keys_inorder()

Type Parameter Key Value
PARAM_VALUE 0 cur 4096-ptr_max
PARAM_VALUE 0 cur->bc_ino.ip->i_flags_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_levels 4096-ptr_max
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->ptr_len 4,8
PARAM_VALUE 0 cur->bc_ops->type 0-2
PARAM_VALUE 0 cur->bc_tp 4096-ptr_max
BUF_SIZE 0 cur (-1)-s32max
BUF_SIZE 0 cur (-1)-s32max
DATA_SOURCE 0 cur $0
DATA_SOURCE 1 k1 r xfs_btree_key_addr
STR_LEN 0 cur->bc_tp (-1)-1024
CONTAINER 0 -176-16+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
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_cache->object_size
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 1 k1->alloc.ar_startblock
NO_OVERFLOW_SIMPLE 1 k1->rmap.rm_startblock

fs/xfs/libxfs/xfs_btree.c xfs_btree_lshift() -> (struct xfs_btree_ops)->keys_inorder()

Type Parameter Key Value
PARAM_VALUE 0 cur 4096-ptr_max
PARAM_VALUE 0 cur->bc_ino.ip->i_flags_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_levels 4096-ptr_max
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->ptr_len 4,8
PARAM_VALUE 0 cur->bc_ops->sick_mask 0,8,16,32,64,128,256,512
PARAM_VALUE 0 cur->bc_ops->type 0-2
PARAM_VALUE 0 cur->bc_tp 4096-ptr_max
BUF_SIZE 0 cur (-1)-s32max
BUF_SIZE 0 cur (-1)-s32max
CAPPED_DATA 0 cur->bc_tp 1
DATA_SOURCE 0 cur $0
DATA_SOURCE 2 k2 r xfs_btree_key_addr
STR_LEN 0 cur->bc_tp (-1)-1024
CONTAINER 0 -176-16+0 $(-1)
NOSPEC 0 cur->bc_rec.b.br_blockcount
RX_PATH
TASK_NOT_RUNNING
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_rshift() -> (struct xfs_btree_ops)->keys_inorder()

Type Parameter Key Value
PARAM_VALUE 0 cur 4096-ptr_max
PARAM_VALUE 0 cur->bc_ino.ip->i_flags_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_levels 4096-ptr_max
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->ptr_len 4,8
PARAM_VALUE 0 cur->bc_ops->type 0-2
PARAM_VALUE 0 cur->bc_tp 4096-ptr_max
BUF_SIZE 0 cur (-1)-s32max
BUF_SIZE 0 cur (-1)-s32max
CAPPED_DATA 0 cur->bc_tp 1
DATA_SOURCE 0 cur $0
DATA_SOURCE 1 k1 r xfs_btree_key_addr
STR_LEN 0 cur->bc_tp (-1)-1024
CONTAINER 0 -176-16+0 $(-1)
NOSPEC 0 cur->bc_rec.b.br_blockcount
RX_PATH
TASK_NOT_RUNNING
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/scrub/btree.c xchk_btree_key() -> (struct xfs_btree_ops)->keys_inorder()

Type Parameter Key Value
PARAM_VALUE 0 cur 4096-ptr_max
PARAM_VALUE 0 cur->bc_levels 4096-ptr_max
PARAM_VALUE 0 cur->bc_ops 4096-ptr_max
PARAM_VALUE 0 cur->bc_ops->type 0-2
PARAM_VALUE 2 k2 4096-ptr_max
DATA_SOURCE 2 k2 r xfs_btree_key_addr
CONTAINER 0 -176-16+0 $(-1)