ovl_path_is_whiteout identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a prototype:

fs/overlayfs/overlayfs.h, line 537 (as a prototype)

Defined in 1 files as a function:

fs/overlayfs/util.c, line 651 (as a function)

Referenced in 2 files:

Smatch caller information:

fs/overlayfs/dir.c ovl_upper_is_whiteout() -> ovl_path_is_whiteout()

Type	Parameter	Key	Value
PARAM_VALUE	0	ofs	4096-ptr_max
PARAM_VALUE	0	ofs->layers	4096-ptr_max
PARAM_VALUE	1	path	235133925711282176
PARAM_VALUE	1	path->dentry	4096-ptr_max
BUF_SIZE	0	ofs	1-s32max
BUF_SIZE	0	ofs	1-s32max
DATA_SOURCE	0	ofs	$0
RX_PATH
TASK_NOT_RUNNING
UNITS	0	ofs	unit_byte

fs/overlayfs/super.c ovl_upper_is_whiteout() -> ovl_path_is_whiteout()

Type	Parameter	Key	Value
PARAM_VALUE	0	ofs	4096-ptr_max
PARAM_VALUE	0	ofs->config.fsync_mode	1
PARAM_VALUE	0	ofs->config.index	0
PARAM_VALUE	0	ofs->config.lowerdirs	4096-ptr_max
PARAM_VALUE	0	ofs->config.metacopy	0
PARAM_VALUE	0	ofs->config.nfs_export	0
PARAM_VALUE	0	ofs->config.redirect_mode	2-3
PARAM_VALUE	0	ofs->config.upperdir	1-u64max
PARAM_VALUE	0	ofs->config.uuid	1
PARAM_VALUE	0	ofs->last_ino.counter	1
PARAM_VALUE	0	ofs->layers	4096-ptr_max
PARAM_VALUE	0	ofs->namelen	0-s64max
PARAM_VALUE	0	ofs->numlayer	1
PARAM_VALUE	0	ofs->upperdir_locked	1
PARAM_VALUE	0	ofs->workbasedir	4096-ptr_max
PARAM_VALUE	0	ofs->workbasedir->d_children->first->pprev	1-u64max
PARAM_VALUE	0	ofs->workbasedir->d_children.first	4096-ptr_max
PARAM_VALUE	0	ofs->workbasedir->d_inode	4096-ptr_max
PARAM_VALUE	0	ofs->workbasedir->d_inode->i_flctx->flc_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	ofs->workbasedir->d_inode->i_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	ofs->workbasedir->d_inode->i_rwsem.dep_map->name	0-255
PARAM_VALUE	0	ofs->workbasedir->d_inode->i_rwsem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	ofs->workbasedir->d_inode->i_rwsem.first_waiter->list.next	2624917664208203776
PARAM_VALUE	0	ofs->workbasedir->d_inode->i_rwsem.first_waiter->list.prev	2624917664208203776
PARAM_VALUE	0	ofs->workbasedir->d_inode->i_rwsem.first_waiter->type	0-1
PARAM_VALUE	0	ofs->workbasedir->d_inode->i_rwsem.osq.tail.counter	0-s32max
PARAM_VALUE	0	ofs->workbasedir->d_sb	4096-ptr_max
PARAM_VALUE	0	ofs->workbasedir->d_sb->s_fs_info->s_bmap_bits	0-4294967295
PARAM_VALUE	0	ofs->workbasedir->d_sb->s_fs_info->s_bmap_count	0-4294967295
PARAM_VALUE	0	ofs->workbasedir->d_sb->s_fs_info->s_data_blksize	0-4294967295
PARAM_VALUE	0	ofs->workbasedir->d_sb->s_fs_info->s_hashsize	s32min-s32max
PARAM_VALUE	0	ofs->workbasedir->d_sb->s_fs_info->s_last_bmap	0-4294967295
PARAM_VALUE	0	ofs->workbasedir->d_sb->s_fs_info->s_mode	0-u16max
PARAM_VALUE	0	ofs->workbasedir->d_sb->s_fs_info->s_partition_size	s32min-s32max
PARAM_VALUE	0	ofs->workbasedir->d_sb->s_fs_info->s_reserved	s32min-s32max
PARAM_VALUE	0	ofs->workbasedir->d_sb->s_fs_info->s_root_block	0-4294967295
PARAM_VALUE	0	ofs->workbasedir->d_sb->s_fs_info->work_queued	s32min-s32max
PARAM_VALUE	0	ofs->workbasedir_trap	4096-ptr_max
PARAM_VALUE	0	ofs->workbasedir_trap->i_flags	16
PARAM_VALUE	0	ofs->workbasedir_trap->i_mode	16384
PARAM_VALUE	0	ofs->workdir	4096-ptr_max
PARAM_VALUE	0	ofs->workdir->d_children->first->pprev	1-u64max
PARAM_VALUE	0	ofs->workdir->d_hash.pprev	0
PARAM_VALUE	0	ofs->workdir->d_inode->i_flctx->flc_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	ofs->workdir->d_inode->i_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	ofs->workdir->d_inode->i_rwsem.dep_map->name	0-255
PARAM_VALUE	0	ofs->workdir->d_inode->i_rwsem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	ofs->workdir->d_inode->i_rwsem.first_waiter->list.next	2212933610777083904,2624917664208203776
PARAM_VALUE	0	ofs->workdir->d_inode->i_rwsem.first_waiter->list.prev	2212933610777083904,2624917664208203776
PARAM_VALUE	0	ofs->workdir->d_inode->i_rwsem.first_waiter->type	0-1
PARAM_VALUE	0	ofs->workdir->d_inode->i_sb->s_cop->inode_info_offs	1632,1808,2632,2648
PARAM_VALUE	0	ofs->workdir->d_sb->s_fs_info->s_bmap_bits	0-4294967295
PARAM_VALUE	0	ofs->workdir->d_sb->s_fs_info->s_bmap_count	0-4294967295
PARAM_VALUE	0	ofs->workdir->d_sb->s_fs_info->s_data_blksize	0-4294967295
PARAM_VALUE	0	ofs->workdir->d_sb->s_fs_info->s_hashsize	s32min-s32max
PARAM_VALUE	0	ofs->workdir->d_sb->s_fs_info->s_last_bmap	0-4294967295
PARAM_VALUE	0	ofs->workdir->d_sb->s_fs_info->s_mode	0-u16max
PARAM_VALUE	0	ofs->workdir->d_sb->s_fs_info->s_partition_size	s32min-s32max
PARAM_VALUE	0	ofs->workdir->d_sb->s_fs_info->s_reserved	s32min-s32max
PARAM_VALUE	0	ofs->workdir->d_sb->s_fs_info->s_root_block	0-4294967295
PARAM_VALUE	0	ofs->workdir->d_sb->s_fs_info->work_queued	s32min-s32max
PARAM_VALUE	0	ofs->workdir->waiters	0
PARAM_VALUE	0	ofs->workdir_trap	4096-ptr_max
PARAM_VALUE	0	ofs->workdir_trap->i_flags	16
PARAM_VALUE	0	ofs->workdir_trap->i_mode	16384
PARAM_VALUE	0	ofs->workdir_trap->i_rwsem.first_waiter	0
PARAM_VALUE	1	path	577429184572743680
PARAM_VALUE	1	path->dentry	4096-ptr_max
BUF_SIZE	0	ofs	1-s32max
BUF_SIZE	0	ofs	1-s32max
BUF_SIZE	0	ofs->config.lowerdirs	8
BUF_SIZE	0	ofs->workdir	(-1),1-s32max
CAPPED_DATA	0	ofs->casefold	1
CAPPED_DATA	0	ofs->workbasedir	1
DATA_SOURCE	0	ofs	$0
RX_PATH
TASK_NOT_RUNNING
USER_DATA	0	ofs->workbasedir_trap->__i_nlink	1-u32max
USER_DATA	0	ofs->workbasedir_trap->i_blocks	0-u64max
USER_DATA	0	ofs->workbasedir_trap->i_bytes	0-511[c]
USER_DATA	0	ofs->workbasedir_trap->i_ino	0-u64max
USER_DATA	0	ofs->workbasedir_trap->i_rdev	0-u32max[c]
USER_DATA	0	ofs->workdir_trap->__i_nlink	1-u32max
USER_DATA	0	ofs->workdir_trap->i_blocks	0-u64max
USER_DATA	0	ofs->workdir_trap->i_bytes	0-511[c]
USER_DATA	0	ofs->workdir_trap->i_ino	0-u64max
USER_DATA	0	ofs->workdir_trap->i_rdev	0-u32max[c]
NO_OVERFLOW_SIMPLE	0	ofs->workbasedir_trap->i_bytes
NO_OVERFLOW_SIMPLE	0	ofs->workbasedir_trap->i_size
NO_OVERFLOW_SIMPLE	0	ofs->workdir_trap->i_size
UNITS	0	ofs	unit_byte
HALF_LOCKED2		&fc->uapi_mutex
HALF_LOCKED2		&sb->s_umount

fs/overlayfs/namei.c ovl_lookup_single() -> ovl_path_is_whiteout()

Type	Parameter	Key	Value
PARAM_VALUE	0	ofs	4096-ptr_max
PARAM_VALUE	1	path	8419746976520794112
PARAM_VALUE	1	path->dentry	4096-ptr_max
PARAM_VALUE	1	path->mnt	4096-ptr_max
BUF_SIZE	0	ofs	1-s32max
BUF_SIZE	0	ofs	1-s32max
CAPPED_DATA	0	ofs->casefold	1
UNITS	0	ofs	unit_byte

fs/overlayfs/namei.c ovl_lower_positive() -> ovl_path_is_whiteout()

Type	Parameter	Key	Value
PARAM_VALUE	0	ofs	4096-ptr_max
PARAM_VALUE	1	path	6449465005263097856
PARAM_VALUE	1	path->dentry	4096-ptr_max
PARAM_VALUE	1	path->mnt	4096-ptr_max
BUF_SIZE	0	ofs	1-s32max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2		&target->i_rwsem

fs/overlayfs/namei.c ovl_upper_is_whiteout() -> ovl_path_is_whiteout()

Type	Parameter	Key	Value
PARAM_VALUE	0	ofs	4096-ptr_max
PARAM_VALUE	0	ofs->layers	4096-ptr_max
PARAM_VALUE	0	ofs->whiteout->d_inode->i_rwsem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	ofs->whiteout->d_inode->i_rwsem.first_waiter->type	0-1
PARAM_VALUE	0	ofs->workbasedir->d_inode->i_rwsem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	ofs->workbasedir->d_inode->i_rwsem.first_waiter->type	0-1
PARAM_VALUE	0	ofs->workdir->d_inode->i_rwsem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	ofs->workdir->d_inode->i_rwsem.first_waiter->type	0-1
PARAM_VALUE	1	path	180084255840456704
PARAM_VALUE	1	path->dentry	4096-ptr_max
BUF_SIZE	0	ofs	(-1),1-s32max
BUF_SIZE	0	ofs	(-1),1-s32max
BUF_SIZE	0	ofs->config.lowerdirs	(-1),8
BUF_SIZE	0	ofs->workdir	(-1),1-s32max
DATA_SOURCE	0	ofs	$0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA	0	ofs->workbasedir_trap->__i_nlink	1-u32max
USER_DATA	0	ofs->workbasedir_trap->i_blocks	0-u64max
USER_DATA	0	ofs->workbasedir_trap->i_bytes	0-511[c]
USER_DATA	0	ofs->workbasedir_trap->i_ino	0-u64max
USER_DATA	0	ofs->workbasedir_trap->i_rdev	0-u32max[c]
USER_DATA	0	ofs->workdir_trap->__i_nlink	1-u32max
USER_DATA	0	ofs->workdir_trap->i_blocks	0-u64max
USER_DATA	0	ofs->workdir_trap->i_bytes	0-511[c]
USER_DATA	0	ofs->workdir_trap->i_ino	0-u64max
USER_DATA	0	ofs->workdir_trap->i_rdev	0-u32max[c]
NO_OVERFLOW_SIMPLE	0	ofs->workdir_trap->i_mapping->host->i_bytes
UNITS	0	ofs	unit_byte
HALF_LOCKED2		&upperdentry->d_lockref.lock
HALF_LOCKED2	0	&ofs->workdir->d_lockref.lock