ovl_check_empty_dir 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 777 (as a prototype)

Defined in 1 files as a function:

fs/overlayfs/readdir.c, line 1076 (as a function)

Referenced in 1 files:

fs/overlayfs/dir.c
- line 945
- line 1156

Smatch caller information:

fs/overlayfs/dir.c ovl_do_remove() -> ovl_check_empty_dir()

Type	Parameter	Key	Value
PARAM_VALUE	0	dentry	4096-ptr_max
PARAM_VALUE	0	dentry->d_inode	4096-ptr_max
PARAM_VALUE	0	dentry->d_inode->i_mapping->host->i_sb->s_cop->inode_info_offs	1632,1720,2632,2648
PARAM_VALUE	0	dentry->d_inode->i_mapping->i_mmap_rwsem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	dentry->d_inode->i_mapping->i_mmap_rwsem.first_waiter->type	0-1
PARAM_VALUE	0	dentry->d_inode->i_rwsem.dep_map->name	0-255
PARAM_VALUE	0	dentry->d_inode->i_rwsem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	dentry->d_inode->i_rwsem.first_waiter->list.next	2624917664208203776
PARAM_VALUE	0	dentry->d_inode->i_rwsem.first_waiter->list.prev	2624917664208203776
PARAM_VALUE	0	dentry->d_inode->i_rwsem.first_waiter->type	0-1
PARAM_VALUE	0	dentry->d_inode->i_rwsem.osq.tail.counter	0-s32max
PARAM_VALUE	0	dentry->d_inode->i_sb->s_cop->inode_info_offs	1632,1808,2632,2648,2704,2712
PARAM_VALUE	0	dentry->d_inode->i_wb->dwork.wq->dfl_pwq	0-s64max
PARAM_VALUE	0	dentry->d_inode->i_wb->dwork.wq->saved_max_active	s32min-s32max
PARAM_VALUE	0	dentry->d_inode->i_wb->dwork.wq->saved_min_active	s32min-s32max
PARAM_VALUE	0	dentry->d_op->d_dname	0,4096-ptr_max
PARAM_VALUE	0	dentry->d_op->d_iput	0,4096-ptr_max
PARAM_VALUE	0	dentry->d_op->d_prune	0,4096-ptr_max
PARAM_VALUE	0	dentry->d_op->d_real	0,4096-ptr_max
PARAM_VALUE	0	dentry->d_parent	4096-ptr_max
PARAM_VALUE	0	dentry->d_parent->d_inode->i_rwsem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	dentry->d_parent->d_inode->i_rwsem.first_waiter->type	0-1
PARAM_VALUE	0	dentry->d_parent->d_sb->__s_d_op->d_automount	0,2908707185815040000,3401111987815645184,6746145930460459008,7190988915944083456,7386785427940065280,8018779550845526016
PARAM_VALUE	0	dentry->d_parent->d_sb->__s_d_op->d_init	0,2385819921126617088,7057831443282669568,7824184004865302528
PARAM_VALUE	0	dentry->d_parent->d_sb->__s_d_op->d_iput	0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736
PARAM_VALUE	0	dentry->d_parent->d_sb->__s_d_op->d_manage	0,1859587847549206528
PARAM_VALUE	0	dentry->d_parent->d_sb->__s_d_op->d_prune	0,2225594340392566784,7225953709177749504
PARAM_VALUE	0	dentry->d_parent->d_sb->__s_d_op->d_real	0,4509355519306412032
PARAM_VALUE	0	dentry->d_parent->d_sb->__s_d_op->d_unalias_trylock	0,6635409759016140800
PARAM_VALUE	0	dentry->d_parent->d_sb->__s_d_op->d_unalias_unlock	0,6336447517789900800
PARAM_VALUE	0	dentry->d_parent->d_sb->__s_d_op->d_weak_revalidate	0,1549882712720502784,5632434648052031488,5669063523602272256,7231033168839651328
PARAM_VALUE	0	dentry->d_sb->__s_d_op->d_automount	0,2908707185815040000,3401111987815645184,6746145930460459008,7190988915944083456,7386785427940065280,8018779550845526016
PARAM_VALUE	0	dentry->d_sb->__s_d_op->d_dname	0,716233247738060800,2056107418359259136,2102941272419614720,3721061892745007104,5585410052597575680,6720345164634435584,7931586599356526592
PARAM_VALUE	0	dentry->d_sb->__s_d_op->d_init	0,2385819921126617088,7057831443282669568,7824184004865302528
PARAM_VALUE	0	dentry->d_sb->__s_d_op->d_iput	0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736
PARAM_VALUE	0	dentry->d_sb->__s_d_op->d_manage	0,1859587847549206528
PARAM_VALUE	0	dentry->d_sb->__s_d_op->d_prune	0,2225594340392566784,7225953709177749504
PARAM_VALUE	0	dentry->d_sb->__s_d_op->d_real	0,4509355519306412032
PARAM_VALUE	0	dentry->d_sb->__s_d_op->d_unalias_trylock	0,6635409759016140800
PARAM_VALUE	0	dentry->d_sb->__s_d_op->d_unalias_unlock	0,6336447517789900800
PARAM_VALUE	0	dentry->d_sb->__s_d_op->d_weak_revalidate	0,5632434648052031488,5669063523602272256,7231033168839651328
PARAM_VALUE	0	dentry->d_sb->s_export_op->flags	0,127
PARAM_VALUE	1	list	2946338116376350720
PARAM_VALUE	1	list->next	2946338116376350720
PARAM_VALUE	1	list->prev	2946338116376350720
BUF_SIZE	0	dentry	(-1),1-s32max
BUF_SIZE	0	dentry	(-1),1-s32max
CAPPED_DATA	0	dentry	1
CAPPED_DATA	0	dentry->d_parent->d_inode	1
DATA_SOURCE	0	dentry	$0
BIT_INFO	0	dentry->d_inode->i_flags	0x0,0xfffdffff
RX_PATH
TASK_NOT_RUNNING
USER_DATA	0	dentry->d_inode->i_mode	0-u16max
USER_DATA	0	dentry->d_inode->i_size	(-9223372036854775807)-(-4),0-s64max
NO_OVERFLOW_SIMPLE	0	dentry->moved->d_inode->i_size
LOCK2	0	&dentry->d_inode->i_rwsem
HALF_LOCKED2		&dentry->d_inode->i_rwsem
HALF_LOCKED2		&dir->d_inode->i_rwsem
HALF_LOCKED2		&dir->i_rwsem
HALF_LOCKED2	0	&dentry->d_lockref.lock
HALF_LOCKED2	0	&dentry->d_sb->s_vfs_rename_mutex
TYPE_LOCK		(struct inode)->i_rwsem

fs/overlayfs/dir.c ovl_rename_start() -> ovl_check_empty_dir()

Type	Parameter	Key	Value
PARAM_VALUE	0	dentry	4096-ptr_max
PARAM_VALUE	0	dentry->d_sb	4096-ptr_max
PARAM_VALUE	1	list	6027515394299723776
PARAM_VALUE	1	list->next	6027515394299723776
PARAM_VALUE	1	list->prev	6027515394299723776
DATA_SOURCE	1	list	$1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2		&source->i_rwsem
HALF_LOCKED2		&target->i_rwsem