xfs_dir3_data_check identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a prototype:

fs/xfs/libxfs/xfs_dir2_priv.h, line 73 (as a prototype)

Defined in 1 files as a macro:

fs/xfs/libxfs/xfs_dir2_priv.h, line 75 (as a macro)

Defined in 1 files as a function:

fs/xfs/libxfs/xfs_dir2_data.c, line 296 (as a function)

Referenced in 4 files:

Smatch caller information:

fs/xfs/libxfs/xfs_dir2_node.c xfs_dir2_leafn_lookup_for_entry() -> xfs_dir3_data_check()

Type	Parameter	Key	Value
PARAM_VALUE	0	dp	4096-ptr_max
PARAM_VALUE	0	dp->i_mount	4096-ptr_max
PARAM_VALUE	1	bp->b_lru_ref.counter	s32min-s32max
PARAM_VALUE	1	bp->b_sema.first_waiter->up	0-1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	1	bp->b_map_count
UNITS	0	dp	unit_byte

fs/xfs/libxfs/xfs_dir2_node.c xfs_dir2_leafn_remove() -> xfs_dir3_data_check()

Type	Parameter	Key	Value
PARAM_VALUE	0	dp	4096-ptr_max
PARAM_VALUE	0	dp->i_mount	4096-ptr_max
PARAM_VALUE	1	bp	4096-ptr_max
PARAM_VALUE	1	bp->b_addr	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
CAPPED_DATA	1	bp->b_log_item->bli_format_count	1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS	0	dp	unit_byte

fs/xfs/xfs_dir2_readdir.c xfs_dir2_block_getdents() -> xfs_dir3_data_check()

Type	Parameter	Key	Value
PARAM_VALUE	0	dp	4096-ptr_max
PARAM_VALUE	0	dp->i_lock.dep_map->name	0-255
PARAM_VALUE	0	dp->i_lock.first_waiter->handoff_set	0-1
PARAM_VALUE	0	dp->i_lock.first_waiter->type	0-1
PARAM_VALUE	0	dp->i_mount	4096-ptr_max
PARAM_VALUE	0	dp->i_mount->m_ddev_targp->bt_hash.tbl->dep_map->name	0-255
PARAM_VALUE	0	dp->i_mount->m_dir_geo	4096-ptr_max
PARAM_VALUE	1	bp	0,4096-ptr_max
PARAM_VALUE	1	bp->b_lru_ref.counter	0-4
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	1	bp->b_map_count
UNITS	0	dp	unit_byte
HALF_LOCKED2		&dir_fp->readdir_lock
HALF_LOCKED2		&inode->i_rwsem
HALF_LOCKED2		&pool->lock
TYPE_LOCK		(struct inode)->i_rwsem

fs/xfs/xfs_dir2_readdir.c xfs_dir2_leaf_getdents() -> xfs_dir3_data_check()

Type	Parameter	Key	Value
PARAM_VALUE	0	dp	4096-ptr_max
PARAM_VALUE	0	dp->i_lock.first_waiter->handoff_set	0-1
PARAM_VALUE	0	dp->i_lock.first_waiter->type	0-1
PARAM_VALUE	1	bp	4096-ptr_max
PARAM_VALUE	1	bp->b_lru_ref.counter	0-4
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	1	bp->b_map_count
UNITS	0	dp	unit_byte
HALF_LOCKED2		&dir_fp->readdir_lock
HALF_LOCKED2		&inode->i_rwsem
HALF_LOCKED2		&pool->lock
TYPE_LOCK		(struct inode)->i_rwsem

fs/xfs/libxfs/xfs_dir2_leaf.c xfs_dir2_block_to_leaf() -> xfs_dir3_data_check()

Type	Parameter	Key	Value
PARAM_VALUE	0	dp	4096-ptr_max
PARAM_VALUE	0	dp->i_mount	4096-ptr_max
PARAM_VALUE	1	bp	4096-ptr_max
PARAM_VALUE	1	bp->b_lru_ref.counter	0-4
DATA_SOURCE	1	bp	$1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	1	bp->b_map_count
UNITS	0	dp	unit_byte

fs/xfs/libxfs/xfs_dir2_leaf.c xfs_dir2_block_to_leaf() -> xfs_dir3_data_check()

Type	Parameter	Key	Value
PARAM_VALUE	0	dp	4096-ptr_max
PARAM_VALUE	0	dp->i_mount	4096-ptr_max
PARAM_VALUE	1	bp	4096-ptr_max
PARAM_VALUE	1	bp->b_addr	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	1	bp->b_mount	4096-ptr_max
PARAM_VALUE	1	bp->b_ops	5744654065408303104
BUF_SIZE	1	bp->b_ops	40
CAPPED_DATA	1	bp->b_log_item->bli_format_count	1
DATA_SOURCE	1	bp	$1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	1	bp->b_map_count
UNITS	0	dp	unit_byte

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

Type	Parameter	Key	Value
PARAM_VALUE	0	dp	4096-ptr_max
PARAM_VALUE	0	dp->i_mount	4096-ptr_max
PARAM_VALUE	0	dp->i_mount->m_ddev_targp->bt_hash.tbl->dep_map->name	0-255
PARAM_VALUE	1	bp	4096-ptr_max
PARAM_VALUE	1	bp->b_addr	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	1	bp->b_mount	4096-ptr_max
CAPPED_DATA	1	bp->b_log_item->bli_format_count	1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	1	bp->b_map_count
UNITS	0	dp	unit_byte

fs/xfs/libxfs/xfs_dir2_leaf.c xfs_dir2_leaf_removename() -> xfs_dir3_data_check()

Type	Parameter	Key	Value
PARAM_VALUE	0	dp	4096-ptr_max
PARAM_VALUE	0	dp->i_mount	4096-ptr_max
PARAM_VALUE	1	bp	4096-ptr_max
PARAM_VALUE	1	bp->b_lru_ref.counter	0-4
PARAM_VALUE	1	bp->b_sema.lock.owner_cpu	0-4294967295
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	1	bp->b_map_count
UNITS	0	dp	unit_byte

fs/xfs/libxfs/xfs_dir2_leaf.c xfs_dir2_leaf_removename() -> xfs_dir3_data_check()

Type	Parameter	Key	Value
PARAM_VALUE	0	dp	4096-ptr_max
PARAM_VALUE	0	dp->i_mount	4096-ptr_max
PARAM_VALUE	1	bp	4096-ptr_max
PARAM_VALUE	1	bp->b_addr	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	1	bp->b_mount	4096-ptr_max
PARAM_VALUE	1	bp->b_sema.lock.owner_cpu	0-4294967295
CAPPED_DATA	1	bp->b_log_item->bli_format_count	1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	1	bp->b_map_count
UNITS	0	dp	unit_byte

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

Type	Parameter	Key	Value
PARAM_VALUE	0	dp	4096-ptr_max
PARAM_VALUE	0	dp->i_mount	4096-ptr_max
PARAM_VALUE	0	dp->i_mount->m_ddev_targp->bt_hash.tbl->dep_map->name	0-255
PARAM_VALUE	0	dp->i_mount->m_dir_geo	4096-ptr_max
PARAM_VALUE	1	bp	4096-ptr_max
PARAM_VALUE	1	bp->b_addr	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	1	bp->b_mount	4096-ptr_max
CAPPED_DATA	1	bp->b_log_item->bli_format_count	1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	1	bp->b_map_count
UNITS	0	dp	unit_byte

fs/xfs/libxfs/xfs_dir2_block.c xfs_dir2_block_lookup() -> xfs_dir3_data_check()

Type	Parameter	Key	Value
PARAM_VALUE	0	dp	4096-ptr_max
PARAM_VALUE	0	dp->i_mount	4096-ptr_max
PARAM_VALUE	1	bp	4096-ptr_max
PARAM_VALUE	1	bp->b_lru_ref.counter	0-4
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	1	bp->b_map_count
UNITS	0	dp	unit_byte

fs/xfs/libxfs/xfs_dir2_block.c xfs_dir2_block_lookup_int() -> xfs_dir3_data_check()

Type	Parameter	Key	Value
PARAM_VALUE	0	dp	4096-ptr_max
PARAM_VALUE	0	dp->i_mount	4096-ptr_max
PARAM_VALUE	0	dp->i_mount->m_ddev_targp->bt_hash.tbl->dep_map->name	0-255
PARAM_VALUE	0	dp->i_mount->m_dir_geo	4096-ptr_max
PARAM_VALUE	1	bp	4096-ptr_max
PARAM_VALUE	1	bp->b_lru_ref.counter	0-4
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	1	bp->b_map_count
UNITS	0	dp	unit_byte

fs/xfs/libxfs/xfs_dir2_block.c xfs_dir2_block_removename() -> xfs_dir3_data_check()

Type	Parameter	Key	Value
PARAM_VALUE	0	dp	4096-ptr_max
PARAM_VALUE	0	dp->i_mount	4096-ptr_max
PARAM_VALUE	1	bp	4096-ptr_max
PARAM_VALUE	1	bp->b_addr	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
CAPPED_DATA	1	bp->b_log_item->bli_format_count	1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	1	bp->b_map_count
UNITS	0	dp	unit_byte

fs/xfs/libxfs/xfs_dir2_block.c xfs_dir2_block_replace() -> xfs_dir3_data_check()

Type	Parameter	Key	Value
PARAM_VALUE	0	dp	4096-ptr_max
PARAM_VALUE	0	dp->i_mount	4096-ptr_max
PARAM_VALUE	1	bp	4096-ptr_max
PARAM_VALUE	1	bp->b_addr	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	1	bp->b_mount	4096-ptr_max
CAPPED_DATA	1	bp->b_log_item->bli_format_count	1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	1	bp->b_map_count
UNITS	0	dp	unit_byte

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

Type	Parameter	Key	Value
PARAM_VALUE	0	dp	4096-ptr_max
PARAM_VALUE	0	dp->i_disk_size	0
PARAM_VALUE	0	dp->i_flags_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	dp->i_itemp	4096-ptr_max
PARAM_VALUE	0	dp->i_itemp->ili_dirty_flags	0-4294967295
PARAM_VALUE	0	dp->i_mount	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_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
CAPPED_DATA	1	bp->b_log_item->bli_format_count	1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	1	bp->b_map_count
UNITS	0	dp	unit_byte