ovl_check_origin_xattr identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

fs/overlayfs/overlayfs.h, line 559 (as a function)

Referenced in 2 files:

Smatch caller information:

fs/overlayfs/super.c ovl_get_indexdir() -> ovl_check_origin_xattr()

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	1
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.uuid	1
PARAM_VALUE	0	ofs->config.workdir	0
PARAM_VALUE	0	ofs->fs	4096-ptr_max
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	2-u32max
PARAM_VALUE	0	ofs->workbasedir	4096-ptr_max
PARAM_VALUE	0	ofs->workbasedir->d_inode->i_lock.rlock.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->type	0-1
PARAM_VALUE	0	ofs->workbasedir->d_inode->i_sb->s_cop->inode_info_offs	1632,1720,1808,2632,2648
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->workdir	4096-ptr_max
PARAM_VALUE	0	ofs->workdir->d_hash.pprev	0
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	0	ofs->xino_mode	(-1)-s32max
PARAM_VALUE	1	upperdentry	4096-ptr_max
PARAM_VALUE	1	upperdentry->d_alias->next->pprev	1-u64max
PARAM_VALUE	1	upperdentry->d_fsdata->active.counter	s32min-s32max
PARAM_VALUE	1	upperdentry->d_fsdata->d_flags	0-4294967295
PARAM_VALUE	1	upperdentry->d_fsdata->d_fsdata	0
PARAM_VALUE	1	upperdentry->d_fsdata->d_hash.pprev	0
PARAM_VALUE	1	upperdentry->d_fsdata->d_inode	0
PARAM_VALUE	1	upperdentry->d_fsdata->d_inode->__i_nlink	0-4294967295
PARAM_VALUE	1	upperdentry->d_fsdata->d_inode->i_atime_nsec	0-4294967295
PARAM_VALUE	1	upperdentry->d_fsdata->d_inode->i_blkbits	0-255
PARAM_VALUE	1	upperdentry->d_fsdata->d_inode->i_bytes	0-u16max
PARAM_VALUE	1	upperdentry->d_fsdata->d_inode->i_ctime_nsec	0-4294967295
PARAM_VALUE	1	upperdentry->d_fsdata->d_inode->i_dir_seq	0-4294967295
PARAM_VALUE	1	upperdentry->d_fsdata->d_inode->i_flags	0-4294967295
PARAM_VALUE	1	upperdentry->d_fsdata->d_inode->i_fsnotify_mask	0-4294967295
PARAM_VALUE	1	upperdentry->d_fsdata->d_inode->i_generation	0-4294967295
PARAM_VALUE	1	upperdentry->d_fsdata->d_inode->i_linklen	s32min-s32max
PARAM_VALUE	1	upperdentry->d_fsdata->d_inode->i_mode	0-u16max
PARAM_VALUE	1	upperdentry->d_fsdata->d_inode->i_mtime_nsec	0-4294967295
PARAM_VALUE	1	upperdentry->d_fsdata->d_inode->i_nlink	0-4294967295
PARAM_VALUE	1	upperdentry->d_fsdata->d_inode->i_opflags	0-u16max
PARAM_VALUE	1	upperdentry->d_fsdata->d_inode->i_rdev	0-4294967295
PARAM_VALUE	1	upperdentry->d_fsdata->d_inode->i_wb_frn_avg_time	0-u16max
PARAM_VALUE	1	upperdentry->d_fsdata->d_inode->i_wb_frn_history	0-u16max
PARAM_VALUE	1	upperdentry->d_fsdata->d_inode->i_wb_frn_winner	s32min-s32max
PARAM_VALUE	1	upperdentry->d_fsdata->d_inode->i_write_hint	0-4294967295
PARAM_VALUE	1	upperdentry->d_fsdata->d_lockref.count	s32min-s32max
PARAM_VALUE	1	upperdentry->d_fsdata->d_rcu.next	0
PARAM_VALUE	1	upperdentry->d_fsdata->data->ref.refs.counter	s32min-s32max
PARAM_VALUE	1	upperdentry->d_fsdata->head.first	0
PARAM_VALUE	1	upperdentry->d_fsdata->kref.refcount.refs.counter	s32min-s32max
PARAM_VALUE	1	upperdentry->d_fsdata->lease_shared_gen	0
PARAM_VALUE	1	upperdentry->d_fsdata->management_timer.flags	0-4294967295
PARAM_VALUE	1	upperdentry->d_fsdata->owner->refcnt.counter	0-s32max
PARAM_VALUE	1	upperdentry->d_fsdata->ref.refs.counter	s32min-s32max
PARAM_VALUE	1	upperdentry->d_fsdata->waiters	0
PARAM_VALUE	1	upperdentry->d_hash.pprev	0
PARAM_VALUE	1	upperdentry->d_inode->i_lock.rlock.dep_map->name	0-255
PARAM_VALUE	1	upperdentry->d_inode->i_mapping->i_mmap_rwsem.first_waiter->handoff_set	0-1
PARAM_VALUE	1	upperdentry->d_inode->i_mapping->i_mmap_rwsem.first_waiter->type	0-1
PARAM_VALUE	1	upperdentry->d_inode->i_rwsem.first_waiter->handoff_set	0-1
PARAM_VALUE	1	upperdentry->d_inode->i_rwsem.first_waiter->type	0-1
PARAM_VALUE	1	upperdentry->d_op->d_dname	0,4096-ptr_max
PARAM_VALUE	1	upperdentry->d_op->d_iput	0,4096-ptr_max
PARAM_VALUE	1	upperdentry->d_op->d_prune	0,4096-ptr_max
PARAM_VALUE	1	upperdentry->d_op->d_real	0,4096-ptr_max
PARAM_VALUE	1	upperdentry->d_parent->d_inode->i_rwsem.dep_map->name	0-255
PARAM_VALUE	1	upperdentry->d_parent->d_inode->i_rwsem.first_waiter->handoff_set	1
PARAM_VALUE	1	upperdentry->d_parent->d_inode->i_rwsem.first_waiter->type	0-1
PARAM_VALUE	1	upperdentry->d_parent->d_sb->__s_d_op->d_init	0,2385819921126617088,7057831443282669568,7824184004865302528
PARAM_VALUE	1	upperdentry->d_parent->d_sb->__s_d_op->d_iput	0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736
PARAM_VALUE	1	upperdentry->d_parent->d_sb->__s_d_op->d_manage	0,1859587847549206528
PARAM_VALUE	1	upperdentry->d_parent->d_sb->__s_d_op->d_prune	0,2225594340392566784,7225953709177749504
PARAM_VALUE	1	upperdentry->d_parent->d_sb->__s_d_op->d_real	0,4509355519306412032
PARAM_VALUE	1	upperdentry->d_sb->__s_d_op->d_automount	0,2908707185815040000,3401111987815645184,6746145930460459008,7190988915944083456,7386785427940065280,8018779550845526016
PARAM_VALUE	1	upperdentry->d_sb->__s_d_op->d_init	0,2385819921126617088,7057831443282669568,7824184004865302528
PARAM_VALUE	1	upperdentry->d_sb->__s_d_op->d_iput	0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736
PARAM_VALUE	1	upperdentry->d_sb->__s_d_op->d_manage	0,1859587847549206528
PARAM_VALUE	1	upperdentry->d_sb->__s_d_op->d_prune	0,2225594340392566784,7225953709177749504
PARAM_VALUE	1	upperdentry->d_sb->__s_d_op->d_real	0,4509355519306412032
PARAM_VALUE	1	upperdentry->d_sb->__s_d_op->d_unalias_trylock	0,6635409759016140800
PARAM_VALUE	1	upperdentry->d_sb->__s_d_op->d_unalias_unlock	0,6336447517789900800
PARAM_VALUE	1	upperdentry->d_sb->__s_d_op->d_weak_revalidate	0,1549882712720502784,5632434648052031488,5669063523602272256,7231033168839651328
PARAM_VALUE	1	upperdentry->d_sb->s_fs_info->lookup_lock.rlock.dep_map->name	0-255
PARAM_VALUE	1	upperdentry->d_sb->s_roots_lock.rlock.dep_map->name	0-255
PARAM_VALUE	1	upperdentry->d_sib->next->pprev	1-u64max
PARAM_VALUE	1	upperdentry->waiters	0
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
BUF_SIZE	1	upperdentry	(-1),1-s32max
BUF_SIZE	1	upperdentry	(-1),1-s32max
CAPPED_DATA	0	ofs->workbasedir	1
CAPPED_DATA	1	upperdentry	1
DATA_SOURCE	0	ofs	$1
DATA_SOURCE	1	upperdentry	r ovl_workdir_create
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-4294967295
USER_DATA	0	ofs->workdir_trap->i_blocks	s64min-s64max
USER_DATA	0	ofs->workdir_trap->i_bytes	0-511[c]
USER_DATA	0	ofs->workdir_trap->i_ino	s64min-s64max
USER_DATA	0	ofs->workdir_trap->i_rdev	0-u32max[c]
USER_DATA	1	upperdentry->d_inode->i_mode	0-u16max
USER_DATA	1	upperdentry->d_inode->i_size	(-9223372036854775807)-(-4),0-s64max
NO_OVERFLOW_SIMPLE	0	ofs->workbasedir_trap->i_size
NO_OVERFLOW_SIMPLE	0	ofs->workdir->dentry->d_inode->i_size
NO_OVERFLOW_SIMPLE	0	ofs->workdir->moved->d_inode->i_size
NO_OVERFLOW_SIMPLE	0	ofs->workdir_trap->i_bytes
NO_OVERFLOW_SIMPLE	0	ofs->workdir_trap->i_mapping->host->i_bytes
NO_OVERFLOW_SIMPLE	0	ofs->workdir_trap->i_size
UNITS	0	ofs	unit_byte
HALF_LOCKED2		&fc->uapi_mutex
HALF_LOCKED2		&sb->s_umount
HALF_LOCKED2	0	&ofs->workdir->d_lockref.lock

fs/overlayfs/namei.c ovl_fix_origin() -> ovl_check_origin_xattr()

Type	Parameter	Key	Value
DATA_SOURCE	0	ofs	$0
DATA_SOURCE	1	upperdentry	$3