ovl_create_volatile_dirty identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

fs/overlayfs/super.c, line 645 (as a function)

Referenced in 1 files:

fs/overlayfs/super.c, line 776

Smatch caller information:

fs/overlayfs/super.c ovl_make_workdir() -> ovl_create_volatile_dirty()

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_inode->i_sb->s_cop->inode_info_offs	1632,1720,1808,2632,2648
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_flags	4-u32max
PARAM_VALUE	0	ofs->workdir->d_hash.pprev	0
PARAM_VALUE	0	ofs->workdir->d_inode	4096-ptr_max
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	2624917664208203776
PARAM_VALUE	0	ofs->workdir->d_inode->i_rwsem.first_waiter->list.prev	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,1720,1808,2632,2648
PARAM_VALUE	0	ofs->workdir->d_parent->d_fsdata->active.counter	s32min-s32max
PARAM_VALUE	0	ofs->workdir->d_parent->d_fsdata->d_flags	0-4294967295
PARAM_VALUE	0	ofs->workdir->d_parent->d_fsdata->d_inode->__i_nlink	0-4294967295
PARAM_VALUE	0	ofs->workdir->d_parent->d_fsdata->d_inode->i_acl->a_refcount.refs.counter	s32min-s32max
PARAM_VALUE	0	ofs->workdir->d_parent->d_fsdata->d_inode->i_atime_nsec	0-4294967295
PARAM_VALUE	0	ofs->workdir->d_parent->d_fsdata->d_inode->i_blkbits	0-255
PARAM_VALUE	0	ofs->workdir->d_parent->d_fsdata->d_inode->i_bytes	0-u16max
PARAM_VALUE	0	ofs->workdir->d_parent->d_fsdata->d_inode->i_ctime_nsec	0-4294967295
PARAM_VALUE	0	ofs->workdir->d_parent->d_fsdata->d_inode->i_data.nr_thps.counter	s32min-s32max
PARAM_VALUE	0	ofs->workdir->d_parent->d_fsdata->d_inode->i_default_acl->a_refcount.refs.counter	s32min-s32max
PARAM_VALUE	0	ofs->workdir->d_parent->d_fsdata->d_inode->i_dir_seq	0-4294967295
PARAM_VALUE	0	ofs->workdir->d_parent->d_fsdata->d_inode->i_flags	0-4294967295
PARAM_VALUE	0	ofs->workdir->d_parent->d_fsdata->d_inode->i_fsnotify_mask	0-4294967295
PARAM_VALUE	0	ofs->workdir->d_parent->d_fsdata->d_inode->i_generation	0-4294967295
PARAM_VALUE	0	ofs->workdir->d_parent->d_fsdata->d_inode->i_linklen	s32min-s32max
PARAM_VALUE	0	ofs->workdir->d_parent->d_fsdata->d_inode->i_mode	0-u16max
PARAM_VALUE	0	ofs->workdir->d_parent->d_fsdata->d_inode->i_mtime_nsec	0-4294967295
PARAM_VALUE	0	ofs->workdir->d_parent->d_fsdata->d_inode->i_nlink	0-4294967295
PARAM_VALUE	0	ofs->workdir->d_parent->d_fsdata->d_inode->i_opflags	0-u16max
PARAM_VALUE	0	ofs->workdir->d_parent->d_fsdata->d_inode->i_private->id	0-4294967295
PARAM_VALUE	0	ofs->workdir->d_parent->d_fsdata->d_inode->i_private->rcu.flags	0-4294967295
PARAM_VALUE	0	ofs->workdir->d_parent->d_fsdata->d_inode->i_private->rcu.is_hard	0-1
PARAM_VALUE	0	ofs->workdir->d_parent->d_fsdata->d_inode->i_private->rcu.is_lazy	0-1
PARAM_VALUE	0	ofs->workdir->d_parent->d_fsdata->d_inode->i_private->rcu.is_queued	0-1
PARAM_VALUE	0	ofs->workdir->d_parent->d_fsdata->d_inode->i_private->rcu.is_soft	0-1
PARAM_VALUE	0	ofs->workdir->d_parent->d_fsdata->d_inode->i_private->work.flags	0-4294967295
PARAM_VALUE	0	ofs->workdir->d_parent->d_fsdata->d_inode->i_private->work.is_hard	0-1
PARAM_VALUE	0	ofs->workdir->d_parent->d_fsdata->d_inode->i_private->work.is_lazy	0-1
PARAM_VALUE	0	ofs->workdir->d_parent->d_fsdata->d_inode->i_private->work.is_queued	0-1
PARAM_VALUE	0	ofs->workdir->d_parent->d_fsdata->d_inode->i_private->work.is_soft	0-1
PARAM_VALUE	0	ofs->workdir->d_parent->d_fsdata->d_inode->i_rdev	0-4294967295
PARAM_VALUE	0	ofs->workdir->d_parent->d_fsdata->d_inode->i_security->flags	0-4294967295
PARAM_VALUE	0	ofs->workdir->d_parent->d_fsdata->d_inode->i_security->is_hard	0-1
PARAM_VALUE	0	ofs->workdir->d_parent->d_fsdata->d_inode->i_security->is_lazy	0-1
PARAM_VALUE	0	ofs->workdir->d_parent->d_fsdata->d_inode->i_security->is_queued	0-1
PARAM_VALUE	0	ofs->workdir->d_parent->d_fsdata->d_inode->i_security->is_soft	0-1
PARAM_VALUE	0	ofs->workdir->d_parent->d_fsdata->d_inode->i_wb->dwork.timer.is_hard	0-1
PARAM_VALUE	0	ofs->workdir->d_parent->d_fsdata->d_inode->i_wb->dwork.timer.is_lazy	0-1
PARAM_VALUE	0	ofs->workdir->d_parent->d_fsdata->d_inode->i_wb->dwork.timer.is_queued	0-1
PARAM_VALUE	0	ofs->workdir->d_parent->d_fsdata->d_inode->i_wb->dwork.timer.is_soft	0-1
PARAM_VALUE	0	ofs->workdir->d_parent->d_fsdata->d_inode->i_wb->dwork.work.flags	0-4294967295
PARAM_VALUE	0	ofs->workdir->d_parent->d_fsdata->d_inode->i_wb->dwork.work.is_hard	0-1
PARAM_VALUE	0	ofs->workdir->d_parent->d_fsdata->d_inode->i_wb->dwork.work.is_lazy	0-1
PARAM_VALUE	0	ofs->workdir->d_parent->d_fsdata->d_inode->i_wb->dwork.work.is_queued	0-1
PARAM_VALUE	0	ofs->workdir->d_parent->d_fsdata->d_inode->i_wb->dwork.work.is_soft	0-1
PARAM_VALUE	0	ofs->workdir->d_parent->d_fsdata->d_inode->i_wb_frn_avg_time	0-u16max
PARAM_VALUE	0	ofs->workdir->d_parent->d_fsdata->d_inode->i_wb_frn_history	0-u16max
PARAM_VALUE	0	ofs->workdir->d_parent->d_fsdata->d_inode->i_wb_frn_winner	s32min-s32max
PARAM_VALUE	0	ofs->workdir->d_parent->d_fsdata->d_inode->i_write_hint	0-4294967295
PARAM_VALUE	0	ofs->workdir->d_parent->d_fsdata->d_lockref.count	s32min-s32max
PARAM_VALUE	0	ofs->workdir->d_parent->d_fsdata->data->ref.refs.counter	s32min-s32max
PARAM_VALUE	0	ofs->workdir->d_parent->d_fsdata->kref.refcount.refs.counter	s32min-s32max
PARAM_VALUE	0	ofs->workdir->d_parent->d_fsdata->management_timer.flags	0-4294967295
PARAM_VALUE	0	ofs->workdir->d_parent->d_fsdata->management_timer.is_hard	0-1
PARAM_VALUE	0	ofs->workdir->d_parent->d_fsdata->management_timer.is_lazy	0-1
PARAM_VALUE	0	ofs->workdir->d_parent->d_fsdata->management_timer.is_queued	0-1
PARAM_VALUE	0	ofs->workdir->d_parent->d_fsdata->management_timer.is_soft	0-1
PARAM_VALUE	0	ofs->workdir->d_parent->d_fsdata->owner->refcnt.counter	0-s32max
PARAM_VALUE	0	ofs->workdir->d_parent->d_fsdata->ref.refs.counter	s32min-s32max
PARAM_VALUE	0	ofs->workdir->d_parent->d_hash.next->pprev	4096-ptr_max
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	0	*ofs->workdir->d_parent->d_alias.next->pprev	1-u64max
PARAM_VALUE	0	*ofs->workdir->d_parent->d_fsdata->d_fsdata	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	*ofs->workdir->d_parent->d_inode->i_hash.next->pprev	1-u64max
PARAM_VALUE	0	*ofs->workdir->d_parent->d_inode->i_sb->s_fs_info->nm_info->nat_root.xa_head	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	*ofs->workdir->d_parent->d_inode->i_wb->dwork.timer->entry.pprev	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
CAPPED_DATA	0	ofs->workdir	1
DATA_SOURCE	0	ofs	$1
FUZZY_MAX	0	ofs->config.redirect_mode	2
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
UNITS	0	ofs	unit_byte
HALF_LOCKED2		&fc->uapi_mutex
HALF_LOCKED2		&sb->s_umount