Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/xfs/libxfs/xfs_bmap.c xfs_bmap_check_leaf_extents() -> xfs_bmap_get_bp()

Type Parameter Key Value
PARAM_VALUE 0 cur 0,4096-ptr_max
DATA_SOURCE 0 cur $0
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_blockcount 0-2097151[c]
USER_DATA 0 cur->bc_rec.b.br_startoff 0-s32max[c]
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_bmap.c xfs_bmap_check_leaf_extents() -> xfs_bmap_get_bp()

Type Parameter Key Value
PARAM_VALUE 0 cur 0,4096-ptr_max
DATA_SOURCE 0 cur $0
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_blockcount 0-2097151[c]
USER_DATA 0 cur->bc_rec.b.br_startoff 0-s32max[c]
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