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_dir2_node.c xfs_dir2_node_addname_int() -> xfs_dir2_data_use_free()

Type Parameter Key Value
PARAM_VALUE 0 args 4096-ptr_max
PARAM_VALUE 0 args->dp 4096-ptr_max
PARAM_VALUE 0 args->dp->i_itemp->ili_dirty_flags 0-4294967295
PARAM_VALUE 0 args->dp->i_mount 4096-ptr_max
PARAM_VALUE 0 args->dp->i_mount->m_ddev_targp->bt_hash.tbl->dep_map->name 0-255
PARAM_VALUE 0 args->geo 4096-ptr_max
PARAM_VALUE 0 args->op_flags 12-13
PARAM_VALUE 0 args->trans->t_items.prev->next 4096-ptr_max
PARAM_VALUE 0 args->trans->t_items.prev->next->next 4096-ptr_max
PARAM_VALUE 0 args->whichfork 0
PARAM_VALUE 1 bp 4096-ptr_max
PARAM_VALUE 1 bp->b_flags 0-4294967295
PARAM_VALUE 1 bp->b_lru_ref.counter 0-4
PARAM_VALUE 2 dup 4096-ptr_max
PARAM_VALUE 5 needlogp 8666740116418355200
PARAM_VALUE 5 *needlogp 0
PARAM_VALUE 6 needscanp 6795753495775035392
PARAM_VALUE 6 *needscanp 0
BUF_SIZE 0 args->name s32min-(-1),1-s32max
DATA_SOURCE 0 args $0
DATA_SOURCE 4 len r xfs_dir2_data_entsize
STR_LEN 0 args->trans (-1),5,8
PARAM_COMPARE 2 dup <= $3
PARAM_COMPARE 3 offset >= $2
BIT_INFO 0 args->op_flags 0x8,0xffffffffffffffff
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 args->trans->t_blk_res
NO_OVERFLOW_SIMPLE 1 bp->b_map_count
UNITS 2 dup unit_byte
UNITS 3 offset unit_byte
UNITS 4 len unit_byte

fs/xfs/libxfs/xfs_dir2_leaf.c xfs_dir2_leaf_addname() -> xfs_dir2_data_use_free()

Type Parameter Key Value
PARAM_VALUE 0 args 4096-ptr_max
PARAM_VALUE 0 args->dp 4096-ptr_max
PARAM_VALUE 0 args->dp->i_mount 4096-ptr_max
PARAM_VALUE 0 args->dp->i_mount->m_ddev_targp->bt_hash.tbl->dep_map->name 0-255
PARAM_VALUE 0 args->geo 4096-ptr_max
PARAM_VALUE 0 args->op_flags 12-13
PARAM_VALUE 0 args->trans->t_items.prev->next 4096-ptr_max
PARAM_VALUE 0 args->trans->t_items.prev->next->next 4096-ptr_max
PARAM_VALUE 0 args->whichfork 0
PARAM_VALUE 1 bp 4096-ptr_max
PARAM_VALUE 1 bp->b_flags 0-4294967295
PARAM_VALUE 1 bp->b_lru_ref.counter 0-4
PARAM_VALUE 2 dup 4096-ptr_max
PARAM_VALUE 5 needlogp 1316680923020328960
PARAM_VALUE 5 *needlogp 0
PARAM_VALUE 6 needscanp 4520874265424846848
PARAM_VALUE 6 *needscanp 0
BUF_SIZE 0 args (-1),144
BUF_SIZE 0 args (-1),144
BUF_SIZE 0 args->name s32min-(-1),1-s32max
DATA_SOURCE 0 args $0
DATA_SOURCE 4 len r xfs_dir2_data_entsize
STR_LEN 0 args->trans (-1),5,8
BIT_INFO 0 args->op_flags 0x8,0xe
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 args->trans->t_blk_res
NO_OVERFLOW_SIMPLE 1 bp->b_map_count
UNITS 2 dup unit_byte
UNITS 3 offset unit_byte

fs/xfs/libxfs/xfs_dir2_block.c xfs_dir2_block_addname() -> xfs_dir2_data_use_free()

Type Parameter Key Value
PARAM_VALUE 0 args 4096-ptr_max
PARAM_VALUE 0 args->dp 4096-ptr_max
PARAM_VALUE 0 args->dp->i_mount 4096-ptr_max
PARAM_VALUE 0 args->dp->i_mount->m_ddev_targp->bt_hash.tbl->dep_map->name 0-255
PARAM_VALUE 0 args->dp->i_mount->m_dir_geo 4096-ptr_max
PARAM_VALUE 0 args->geo 4096-ptr_max
PARAM_VALUE 0 args->op_flags 12-13
PARAM_VALUE 0 args->trans->t_items.prev 4096-ptr_max
PARAM_VALUE 0 args->trans->t_items.prev->next 4096-ptr_max
PARAM_VALUE 0 args->trans->t_items.prev->next->next 4096-ptr_max
PARAM_VALUE 0 args->whichfork 0
PARAM_VALUE 1 bp 4096-ptr_max
PARAM_VALUE 1 bp->b_lru_ref.counter 0-4
PARAM_VALUE 2 dup 4096-ptr_max
PARAM_VALUE 4 len 8
PARAM_VALUE 5 needlogp 4307223082705981440
PARAM_VALUE 5 *needlogp 0
PARAM_VALUE 6 needscanp 5010365190660268032
PARAM_VALUE 6 *needscanp 0
BUF_SIZE 0 args (-1),144
BUF_SIZE 0 args (-1),144
BUF_SIZE 0 args->name s32min-(-1),1-s32max
DATA_SOURCE 0 args $0
STR_LEN 0 args->trans (-1),5,8
BIT_INFO 0 args->op_flags 0x8,0xe
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 args->trans->t_blk_res
NO_OVERFLOW_SIMPLE 1 bp->b_map_count
UNITS 3 offset unit_byte
UNITS 4 len unit_byte

fs/xfs/libxfs/xfs_dir2_block.c xfs_dir2_block_addname() -> xfs_dir2_data_use_free()

Type Parameter Key Value
PARAM_VALUE 0 args 4096-ptr_max
PARAM_VALUE 0 args->dp 4096-ptr_max
PARAM_VALUE 0 args->dp->i_mount 4096-ptr_max
PARAM_VALUE 0 args->dp->i_mount->m_ddev_targp->bt_hash.tbl->dep_map->name 0-255
PARAM_VALUE 0 args->dp->i_mount->m_dir_geo 4096-ptr_max
PARAM_VALUE 0 args->geo 4096-ptr_max
PARAM_VALUE 0 args->op_flags 12-13
PARAM_VALUE 0 args->trans->t_items.prev 4096-ptr_max
PARAM_VALUE 0 args->trans->t_items.prev->next 4096-ptr_max
PARAM_VALUE 0 args->trans->t_items.prev->next->next 4096-ptr_max
PARAM_VALUE 0 args->trans->t_mountp 4096-ptr_max
PARAM_VALUE 0 args->trans->t_mountp->m_dir_geo 4096-ptr_max
PARAM_VALUE 0 args->whichfork 0
PARAM_VALUE 1 bp 4096-ptr_max
PARAM_VALUE 1 bp->b_flags 0,32-u32max
PARAM_VALUE 1 bp->b_log_item 4096-ptr_max
PARAM_VALUE 1 bp->b_log_item->bli_flags 0,2-u32max
PARAM_VALUE 1 bp->b_lru_ref.counter 0-4
PARAM_VALUE 2 dup 1-u64max
PARAM_VALUE 5 needlogp 4307223082705981440
PARAM_VALUE 5 *needlogp 0-1
PARAM_VALUE 6 needscanp 5010365190660268032
PARAM_VALUE 6 *needscanp 0
BUF_SIZE 0 args (-1),144
BUF_SIZE 0 args (-1),144
BUF_SIZE 0 args->name s32min-(-1),1-s32max
CAPPED_DATA 1 bp->b_log_item->bli_format_count 1
DATA_SOURCE 0 args $0
DATA_SOURCE 4 len r xfs_dir2_data_entsize
STR_LEN 0 args->trans (-1),5,8
BIT_INFO 0 args->op_flags 0x8,0xffffffffffffffff
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 args->trans->t_blk_res
NO_OVERFLOW_SIMPLE 1 bp->b_map_count
UNITS 4 len unit_byte

fs/xfs/libxfs/xfs_dir2_block.c xfs_dir2_leaf_to_block() -> xfs_dir2_data_use_free()

Type Parameter Key Value
PARAM_VALUE 0 args 4096-ptr_max
PARAM_VALUE 0 args->dp 4096-ptr_max
PARAM_VALUE 0 args->dp->i_disk_size s64min-4294967295
PARAM_VALUE 0 args->dp->i_mount 4096-ptr_max
PARAM_VALUE 0 args->dp->i_mount->m_ddev_targp->bt_file->f_inode->i_wb->dwork.wq->dfl_pwq 0-s64max
PARAM_VALUE 0 args->geo 4096-ptr_max
PARAM_VALUE 0 args->geo->blksize 1-u32max
PARAM_VALUE 0 args->trans 4096-ptr_max
PARAM_VALUE 0 args->trans->t_items.prev->next 4096-ptr_max
PARAM_VALUE 0 args->trans->t_items.prev->next->next 4096-ptr_max
PARAM_VALUE 1 bp 4096-ptr_max
PARAM_VALUE 1 bp->b_addr 4096-ptr_max
PARAM_VALUE 1 bp->b_addr->magic 1480864322,1480868403
PARAM_VALUE 1 bp->b_flags 0,32-u32max
PARAM_VALUE 1 bp->b_log_item 4096-ptr_max
PARAM_VALUE 1 bp->b_log_item->bli_flags 0,2-u32max
PARAM_VALUE 1 bp->b_lru_ref.counter 0-4
PARAM_VALUE 1 bp->b_mount 4096-ptr_max
PARAM_VALUE 1 bp->b_ops 8130666099431895040
PARAM_VALUE 1 bp->b_ops->name 6603148259962097664
PARAM_VALUE 1 bp->b_ops->verify_read 2149446122342985728
PARAM_VALUE 1 bp->b_ops->verify_struct 8490936555181666304
PARAM_VALUE 1 bp->b_ops->verify_write 5733266519559917568
PARAM_VALUE 2 dup 4096-ptr_max
PARAM_VALUE 2 dup->freetag u16max
PARAM_VALUE 4 len 0-u16max,2147483648-u32max
PARAM_VALUE 5 needlogp 9108756669831864320
PARAM_VALUE 5 *needlogp 1
PARAM_VALUE 6 needscanp 2449793391332028416
PARAM_VALUE 6 *needscanp 0
BUF_SIZE 0 args->name s32min-(-1),1-s32max
CAPPED_DATA 0 args->trans 1
CAPPED_DATA 4 len 1
DATA_SOURCE 0 args $0
DATA_SOURCE 1 bp $2 [m]
PARAM_COMPARE 2 dup->length >= $4
PARAM_COMPARE 4 len <= $2->length
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 args->rmtvaluelen
NO_OVERFLOW_SIMPLE 1 bp->b_map_count
UNITS 3 offset unit_byte
UNITS 4 len unit_byte

fs/xfs/libxfs/xfs_dir2_block.c xfs_dir2_sf_to_block() -> xfs_dir2_data_use_free()

Type Parameter Key Value
PARAM_VALUE 0 args 4096-ptr_max
PARAM_VALUE 0 args->dp 4096-ptr_max
PARAM_VALUE 0 args->dp->i_disk_size (-9223372036854775807)-s64max
PARAM_VALUE 0 args->dp->i_flags_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 args->dp->i_itemp 4096-ptr_max
PARAM_VALUE 0 args->dp->i_itemp->ili_dirty_flags 0-4294967295
PARAM_VALUE 0 args->dp->i_mount 4096-ptr_max
PARAM_VALUE 0 args->dp->i_mount->m_ddev_targp->bt_hash.tbl->dep_map->name 0-255
PARAM_VALUE 0 args->geo 4096-ptr_max
PARAM_VALUE 0 args->trans 4096-ptr_max
PARAM_VALUE 0 args->trans->t_items.prev 4096-ptr_max
PARAM_VALUE 0 args->trans->t_items.prev->next 4096-ptr_max
PARAM_VALUE 0 args->trans->t_items.prev->next->next 4096-ptr_max
PARAM_VALUE 0 args->whichfork 0
PARAM_VALUE 1 bp 4096-ptr_max
PARAM_VALUE 1 bp->b_addr 4096-ptr_max
PARAM_VALUE 1 bp->b_addr->magic 1480864322,1480868403
PARAM_VALUE 1 bp->b_flags 0,32-4294967295
PARAM_VALUE 1 bp->b_log_item 4096-ptr_max
PARAM_VALUE 1 bp->b_ops 8130666099431895040
PARAM_VALUE 1 bp->b_ops->name 6603148259962097664
PARAM_VALUE 1 bp->b_ops->verify_read 2149446122342985728
PARAM_VALUE 1 bp->b_ops->verify_struct 8490936555181666304
PARAM_VALUE 1 bp->b_ops->verify_write 5733266519559917568
PARAM_VALUE 5 needlogp 6594094271077154816
PARAM_VALUE 5 *needlogp 0
PARAM_VALUE 6 needscanp 1053763584228651008
PARAM_VALUE 6 *needscanp 0
BUF_SIZE 0 args->name s32min-(-1),1-s32max
CAPPED_DATA 0 args->geo->fsbcount 1
CAPPED_DATA 0 args->trans 1
DATA_SOURCE 0 args $0
STR_LEN 0 args->trans (-1),5,8
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 args->trans->t_blk_res
NO_OVERFLOW_SIMPLE 1 bp->b_map_count
UNITS 2 dup unit_byte
UNITS 3 offset unit_byte
UNITS 4 len unit_byte

fs/xfs/libxfs/xfs_dir2_block.c xfs_dir2_sf_to_block() -> xfs_dir2_data_use_free()

Type Parameter Key Value
PARAM_VALUE 0 args 4096-ptr_max
PARAM_VALUE 0 args->dp 4096-ptr_max
PARAM_VALUE 0 args->dp->i_disk_size (-9223372036854775807)-s64max
PARAM_VALUE 0 args->dp->i_flags_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 args->dp->i_itemp 4096-ptr_max
PARAM_VALUE 0 args->dp->i_itemp->ili_dirty_flags 0-4294967295
PARAM_VALUE 0 args->dp->i_mount 4096-ptr_max
PARAM_VALUE 0 args->dp->i_mount->m_ddev_targp->bt_hash.tbl->dep_map->name 0-255
PARAM_VALUE 0 args->geo 4096-ptr_max
PARAM_VALUE 0 args->trans 4096-ptr_max
PARAM_VALUE 0 args->trans->t_items.prev 4096-ptr_max
PARAM_VALUE 0 args->trans->t_items.prev->next 4096-ptr_max
PARAM_VALUE 0 args->trans->t_items.prev->next->next 4096-ptr_max
PARAM_VALUE 0 args->whichfork 0
PARAM_VALUE 1 bp 4096-ptr_max
PARAM_VALUE 1 bp->b_addr 4096-ptr_max
PARAM_VALUE 1 bp->b_addr->magic 1480864322,1480868403
PARAM_VALUE 1 bp->b_flags 0,32-4294967295
PARAM_VALUE 1 bp->b_log_item 4096-ptr_max
PARAM_VALUE 1 bp->b_log_item->bli_flags 0,2-u32max
PARAM_VALUE 1 bp->b_ops 8130666099431895040
PARAM_VALUE 1 bp->b_ops->name 6603148259962097664
PARAM_VALUE 1 bp->b_ops->verify_read 2149446122342985728
PARAM_VALUE 1 bp->b_ops->verify_struct 8490936555181666304
PARAM_VALUE 1 bp->b_ops->verify_write 5733266519559917568
PARAM_VALUE 2 dup 4096-ptr_max
PARAM_VALUE 4 len 0-u16max
PARAM_VALUE 5 needlogp 6594094271077154816
PARAM_VALUE 5 *needlogp 0-1
PARAM_VALUE 6 needscanp 1053763584228651008
PARAM_VALUE 6 *needscanp 0-1
BUF_SIZE 0 args->name s32min-(-1),1-s32max
CAPPED_DATA 0 args->geo->fsbcount 1
CAPPED_DATA 0 args->trans 1
DATA_SOURCE 0 args $0
STR_LEN 0 args->trans (-1),5,8
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 args->trans->t_blk_res
NO_OVERFLOW_SIMPLE 1 bp->b_map_count
UNITS 2 dup unit_byte
UNITS 3 offset unit_byte
UNITS 4 len unit_byte