Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/xfs/libxfs/xfs_btree.c __xfs_btree_split() -> xfs_btree_update_keys()

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
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 level $1
STR_LEN 0 cur->bc_tp (-1)-1024
BIT_INFO 0 cur->bc_ops->geom_flags 0x1,0xffffffff
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_delrec() -> xfs_btree_update_keys()

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->buf_ops->name 4096-ptr_max
PARAM_VALUE 0 cur->bc_ops->buf_ops->verify_read 4096-ptr_max
PARAM_VALUE 0 cur->bc_ops->buf_ops->verify_write 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->init_rec_from_cur 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
PARAM_VALUE 1 level 0-s32max
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
CAPPED_DATA 1 level 1
DATA_SOURCE 0 cur $0
DATA_SOURCE 1 level $1
STR_LEN 0 cur->bc_tp (-1)-1024
NOSPEC 0 cur->bc_ino.ip->i_disk_size
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_startblock 1-22518000284336124[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_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_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_insrec() -> xfs_btree_update_keys()

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->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
PARAM_VALUE 1 level 0-s32max
BUF_SIZE 0 cur (-1)-s32max
BUF_SIZE 0 cur (-1)-s32max
CAPPED_DATA 1 level 1
DATA_SOURCE 0 cur $0
DATA_SOURCE 1 level $1
FUZZY_MAX 1 level 1
STR_LEN 0 cur->bc_tp (-1)-1024
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

fs/xfs/libxfs/xfs_btree.c xfs_btree_lshift() -> xfs_btree_update_keys()

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->sick_mask 0,8,16,32,64,128,256,512
PARAM_VALUE 1 level 0-s32max
CAPPED_DATA 1 level 1
DATA_SOURCE 1 level $1
FUZZY_MAX 1 level 0
RX_PATH
TASK_NOT_RUNNING

fs/xfs/libxfs/xfs_btree.c xfs_btree_lshift() -> xfs_btree_update_keys()

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->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
PARAM_VALUE 1 level 0-s32max
BUF_SIZE 0 cur (-1)-s32max
BUF_SIZE 0 cur (-1)-s32max
CAPPED_DATA 0 cur->bc_tp 1
CAPPED_DATA 1 level 1
DATA_SOURCE 0 cur $0
DATA_SOURCE 1 level $1
FUZZY_MAX 1 level 0
STR_LEN 0 cur->bc_tp (-1)-1024
BIT_INFO 0 cur->bc_ops->geom_flags 0x0,0xffffffff
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() -> xfs_btree_update_keys()

Type Parameter Key Value
PARAM_VALUE 0 cur 4096-ptr_max
PARAM_VALUE 0 cur->bc_ag.agbp 0,4096-ptr_max
PARAM_VALUE 0 cur->bc_cache 4096-ptr_max
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
PARAM_VALUE 1 level 0-s32max
BUF_SIZE 0 cur (-1)-s32max
BUF_SIZE 0 cur (-1)-s32max
CAPPED_DATA 0 cur->bc_tp 1
CAPPED_DATA 1 level 1
DATA_SOURCE 0 cur $0
DATA_SOURCE 1 level $1
STR_LEN 0 cur->bc_tp (-1)-1024
BIT_INFO 0 cur->bc_ops->geom_flags 0x1,0xffffffff
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() -> xfs_btree_update_keys()

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->sick_mask 0,8,16,32,64,128,256,512
PARAM_VALUE 1 level 0-s32max
CAPPED_DATA 1 level 1
DATA_SOURCE 1 level $1
RX_PATH
TASK_NOT_RUNNING

fs/xfs/libxfs/xfs_btree.c xfs_btree_update() -> xfs_btree_update_keys()

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->buf_ops->name 4096-ptr_max
PARAM_VALUE 0 cur->bc_ops->buf_ops->verify_read 4096-ptr_max
PARAM_VALUE 0 cur->bc_ops->buf_ops->verify_write 4096-ptr_max
PARAM_VALUE 0 cur->bc_ops->init_key_from_rec 4096-ptr_max
PARAM_VALUE 0 cur->bc_ops->init_rec_from_cur 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
PARAM_VALUE 1 level 0
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
CAPPED_DATA 0 cur 1
DATA_SOURCE 0 cur $0
STR_LEN 0 cur->bc_tp (-1)-1024
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_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