Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/xfs/libxfs/xfs_bmap.c xfs_bmap_adjacent() -> xfs_bmap_adjacent_valid()

Type Parameter Key Value
PARAM_VALUE 0 ap 7078978139519856640,7228274775691866112
PARAM_VALUE 0 ap->ip 4096-ptr_max
PARAM_VALUE 0 ap->ip->i_mount 4096-ptr_max
DATA_SOURCE 0 ap $0
STR_LEN 0 ap->tp (-1)-1024
BIT_INFO 0 ap->flags 0x0,0x7fffffff
NOSPEC 0 ap->got.br_blockcount
NOSPEC 0 ap->got.br_startoff
NOSPEC 0 ap->length
NOSPEC 0 ap->minlen
NOSPEC 0 ap->offset
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 ap->aeof 0-1
USER_DATA 0 ap->got.br_blockcount 0-2097151[c]
USER_DATA 0 ap->got.br_startoff 0-s32max[c]
USER_DATA 0 ap->length 0-2097151,4292870145-u32max
USER_DATA 0 ap->minlen 0-2097151[c]
USER_DATA 0 ap->offset 0-2149580798[c]
USER_DATA 0 ap->prev.br_blockcount 0-2097151[c]
USER_DATA 0 ap->prev.br_startoff 0-s32max[c]
NO_OVERFLOW_SIMPLE 0 ap->cur->bc_ino.ip->i_delayed_blks
NO_OVERFLOW_SIMPLE 0 ap->cur->bc_ino.ip->i_nblocks
NO_OVERFLOW_SIMPLE 0 ap->cur->bc_tp->t_blk_res
NO_OVERFLOW_SIMPLE 0 ap->cur->bc_tp->t_rtx_res_used
NO_OVERFLOW_SIMPLE 0 ap->ip->i_delayed_blks
NO_OVERFLOW_SIMPLE 0 ap->ip->i_nblocks
NO_OVERFLOW_SIMPLE 0 ap->total
NO_OVERFLOW_SIMPLE 0 ap->tp->t_blk_res
UNITS 2 y unit_array_size

fs/xfs/libxfs/xfs_bmap.c xfs_bmap_adjacent() -> xfs_bmap_adjacent_valid()

Type Parameter Key Value
PARAM_VALUE 0 ap 7078978139519856640,7228274775691866112
PARAM_VALUE 0 ap->ip 4096-ptr_max
PARAM_VALUE 0 ap->ip->i_mount 4096-ptr_max
DATA_SOURCE 0 ap $0
STR_LEN 0 ap->tp (-1)-1024
BIT_INFO 0 ap->flags 0x0,0x7fffffff
NOSPEC 0 ap->got.br_blockcount
NOSPEC 0 ap->got.br_startoff
NOSPEC 0 ap->length
NOSPEC 0 ap->minlen
NOSPEC 0 ap->offset
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 ap->aeof 0-1
USER_DATA 0 ap->got.br_blockcount 0-2097151[c]
USER_DATA 0 ap->got.br_startoff 0-s32max[c]
USER_DATA 0 ap->length 0-2097151,4292870145-u32max
USER_DATA 0 ap->minlen 0-2097151[c]
USER_DATA 0 ap->offset 0-2149580798[c]
USER_DATA 0 ap->prev.br_blockcount 0-2097151[c]
USER_DATA 0 ap->prev.br_startoff 0-s32max[c]
NO_OVERFLOW_SIMPLE 0 ap->cur->bc_ino.ip->i_delayed_blks
NO_OVERFLOW_SIMPLE 0 ap->cur->bc_ino.ip->i_nblocks
NO_OVERFLOW_SIMPLE 0 ap->cur->bc_tp->t_blk_res
NO_OVERFLOW_SIMPLE 0 ap->cur->bc_tp->t_rtx_res_used
NO_OVERFLOW_SIMPLE 0 ap->ip->i_delayed_blks
NO_OVERFLOW_SIMPLE 0 ap->ip->i_nblocks
NO_OVERFLOW_SIMPLE 0 ap->total
NO_OVERFLOW_SIMPLE 0 ap->tp->t_blk_res
UNITS 2 y unit_array_size

fs/xfs/libxfs/xfs_bmap.c xfs_bmap_adjacent() -> xfs_bmap_adjacent_valid()

Type Parameter Key Value
PARAM_VALUE 0 ap 7078978139519856640,7228274775691866112
PARAM_VALUE 0 ap->ip 4096-ptr_max
PARAM_VALUE 0 ap->ip->i_mount 4096-ptr_max
PARAM_VALUE 1 x 1-u64max
DATA_SOURCE 0 ap $0
STR_LEN 0 ap->tp (-1)-1024
PARAM_COMPARE 2 y <= $1
BIT_INFO 0 ap->flags 0x0,0x7fffffff
NOSPEC 0 ap->got.br_blockcount
NOSPEC 0 ap->got.br_startoff
NOSPEC 0 ap->length
NOSPEC 0 ap->minlen
NOSPEC 0 ap->offset
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 ap->aeof 0-1
USER_DATA 0 ap->got.br_blockcount 0-2097151[c]
USER_DATA 0 ap->got.br_startoff 0-s32max[c]
USER_DATA 0 ap->length 0-2097151,4292870145-u32max
USER_DATA 0 ap->minlen 0-2097151[c]
USER_DATA 0 ap->offset 0-2149580798[c]
USER_DATA 0 ap->prev.br_blockcount 0-2097151[c]
USER_DATA 0 ap->prev.br_startoff 0-s32max[c]
NO_OVERFLOW_SIMPLE 0 ap->cur->bc_ino.ip->i_delayed_blks
NO_OVERFLOW_SIMPLE 0 ap->cur->bc_ino.ip->i_nblocks
NO_OVERFLOW_SIMPLE 0 ap->cur->bc_tp->t_blk_res
NO_OVERFLOW_SIMPLE 0 ap->cur->bc_tp->t_rtx_res_used
NO_OVERFLOW_SIMPLE 0 ap->ip->i_delayed_blks
NO_OVERFLOW_SIMPLE 0 ap->ip->i_nblocks
NO_OVERFLOW_SIMPLE 0 ap->total
NO_OVERFLOW_SIMPLE 0 ap->tp->t_blk_res
UNITS 2 y unit_array_size

fs/xfs/libxfs/xfs_bmap.c xfs_bmap_adjacent() -> xfs_bmap_adjacent_valid()

Type Parameter Key Value
PARAM_VALUE 0 ap 7078978139519856640,7228274775691866112
PARAM_VALUE 0 ap->ip 4096-ptr_max
PARAM_VALUE 0 ap->ip->i_mount 4096-ptr_max
CAPPED_DATA 1 x 1
DATA_SOURCE 0 ap $0
STR_LEN 0 ap->tp (-1)-1024
BIT_INFO 0 ap->flags 0x0,0x7fffffff
NOSPEC 0 ap->got.br_blockcount
NOSPEC 0 ap->got.br_startoff
NOSPEC 0 ap->length
NOSPEC 0 ap->minlen
NOSPEC 0 ap->offset
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 ap->aeof 0-1
USER_DATA 0 ap->got.br_blockcount 0-2097151[c]
USER_DATA 0 ap->got.br_startoff 0-s32max[c]
USER_DATA 0 ap->length 0-2097151,4292870145-u32max
USER_DATA 0 ap->minlen 0-2097151[c]
USER_DATA 0 ap->offset 0-2149580798[c]
USER_DATA 0 ap->prev.br_blockcount 0-2097151[c]
USER_DATA 0 ap->prev.br_startoff 0-s32max[c]
NO_OVERFLOW_SIMPLE 0 ap->cur->bc_ino.ip->i_delayed_blks
NO_OVERFLOW_SIMPLE 0 ap->cur->bc_ino.ip->i_nblocks
NO_OVERFLOW_SIMPLE 0 ap->cur->bc_tp->t_blk_res
NO_OVERFLOW_SIMPLE 0 ap->cur->bc_tp->t_rtx_res_used
NO_OVERFLOW_SIMPLE 0 ap->ip->i_delayed_blks
NO_OVERFLOW_SIMPLE 0 ap->ip->i_nblocks
NO_OVERFLOW_SIMPLE 0 ap->total
NO_OVERFLOW_SIMPLE 0 ap->tp->t_blk_res
UNITS 2 y unit_array_size

fs/xfs/libxfs/xfs_bmap.c xfs_bmap_adjacent() -> xfs_bmap_adjacent_valid()

Type Parameter Key Value
PARAM_VALUE 0 ap 7078978139519856640,7228274775691866112
PARAM_VALUE 0 ap->ip 4096-ptr_max
PARAM_VALUE 0 ap->ip->i_mount 4096-ptr_max
DATA_SOURCE 0 ap $0
STR_LEN 0 ap->tp (-1)-1024
BIT_INFO 0 ap->flags 0x0,0x7fffffff
NOSPEC 0 ap->got.br_blockcount
NOSPEC 0 ap->got.br_startoff
NOSPEC 0 ap->length
NOSPEC 0 ap->minlen
NOSPEC 0 ap->offset
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 ap->aeof 0-1
USER_DATA 0 ap->got.br_blockcount 0-2097151[c]
USER_DATA 0 ap->got.br_startoff 0-s32max[c]
USER_DATA 0 ap->length 0-2097151,4292870145-u32max
USER_DATA 0 ap->minlen 0-2097151[c]
USER_DATA 0 ap->offset 0-2149580798[c]
USER_DATA 0 ap->prev.br_blockcount 0-2097151[c]
USER_DATA 0 ap->prev.br_startoff 0-s32max[c]
NO_OVERFLOW_SIMPLE 0 ap->cur->bc_ino.ip->i_delayed_blks
NO_OVERFLOW_SIMPLE 0 ap->cur->bc_ino.ip->i_nblocks
NO_OVERFLOW_SIMPLE 0 ap->cur->bc_tp->t_blk_res
NO_OVERFLOW_SIMPLE 0 ap->cur->bc_tp->t_rtx_res_used
NO_OVERFLOW_SIMPLE 0 ap->ip->i_delayed_blks
NO_OVERFLOW_SIMPLE 0 ap->ip->i_nblocks
NO_OVERFLOW_SIMPLE 0 ap->total
NO_OVERFLOW_SIMPLE 0 ap->tp->t_blk_res
UNITS 2 y unit_array_size

fs/xfs/libxfs/xfs_bmap.c xfs_bmap_adjacent() -> xfs_bmap_adjacent_valid()

Type Parameter Key Value
PARAM_VALUE 0 ap 7078978139519856640,7228274775691866112
PARAM_VALUE 0 ap->ip 4096-ptr_max
PARAM_VALUE 0 ap->ip->i_mount 4096-ptr_max
DATA_SOURCE 0 ap $0
STR_LEN 0 ap->tp (-1)-1024
BIT_INFO 0 ap->flags 0x0,0x7fffffff
NOSPEC 0 ap->got.br_blockcount
NOSPEC 0 ap->got.br_startoff
NOSPEC 0 ap->length
NOSPEC 0 ap->minlen
NOSPEC 0 ap->offset
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 ap->aeof 0-1
USER_DATA 0 ap->got.br_blockcount 0-2097151[c]
USER_DATA 0 ap->got.br_startoff 0-s32max[c]
USER_DATA 0 ap->length 0-2097151,4292870145-u32max
USER_DATA 0 ap->minlen 0-2097151[c]
USER_DATA 0 ap->offset 0-2149580798[c]
USER_DATA 0 ap->prev.br_blockcount 0-2097151[c]
USER_DATA 0 ap->prev.br_startoff 0-s32max[c]
NO_OVERFLOW_SIMPLE 0 ap->cur->bc_ino.ip->i_delayed_blks
NO_OVERFLOW_SIMPLE 0 ap->cur->bc_ino.ip->i_nblocks
NO_OVERFLOW_SIMPLE 0 ap->cur->bc_tp->t_blk_res
NO_OVERFLOW_SIMPLE 0 ap->cur->bc_tp->t_rtx_res_used
NO_OVERFLOW_SIMPLE 0 ap->ip->i_delayed_blks
NO_OVERFLOW_SIMPLE 0 ap->ip->i_nblocks
NO_OVERFLOW_SIMPLE 0 ap->total
NO_OVERFLOW_SIMPLE 0 ap->tp->t_blk_res
UNITS 2 y unit_array_size