ext4_find_dest_de identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a prototype:

fs/ext4/ext4.h, line 3007 (as a prototype)

Defined in 1 files as a function:

fs/ext4/namei.c, line 2037 (as a function)

Referenced in 2 files:

Smatch caller information:

fs/ext4/inline.c ext4_add_dirent_to_inline() -> ext4_find_dest_de()

Type	Parameter	Key	Value
PARAM_VALUE	0	dir	4096-ptr_max
PARAM_VALUE	0	dir->i_ino	2-u32max
PARAM_VALUE	0	dir->i_mapping->host->i_sb->s_export_op->encode_fh	0,2,1398972869330624512,1616549510479982592,2037984473558433792
PARAM_VALUE	0	dir->i_mapping->host->i_sb->s_export_op->fh_to_dentry	0,8684,447817974243774464,687732489194512384,742201802719268864
PARAM_VALUE	0	dir->i_mapping->host->i_sb->s_export_op->fh_to_parent	0,5297,148606482432692224,436469935444291584,467281172929331200
PARAM_VALUE	0	dir->i_mapping->host->i_sb->s_export_op->get_parent	0,8931,264940071972966400,291591359766798336,565128213429456896
PARAM_VALUE	0	dir->i_op->link	0,4096-ptr_max
PARAM_VALUE	0	dir->i_op->mknod	0,4096-ptr_max
PARAM_VALUE	0	dir->i_op->readlink	0,4096-ptr_max
PARAM_VALUE	0	dir->i_rwsem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	dir->i_rwsem.first_waiter->type	0-1
PARAM_VALUE	0	dir->i_sb	4096-ptr_max
PARAM_VALUE	0	dir->i_sb->s_cop->inode_info_offs	1632,1720,2632,2648
PARAM_VALUE	0	dir->i_sb->s_export_op->fh_to_dentry	0,8684,447817974243774464,687732489194512384,742201802719268864
PARAM_VALUE	0	dir->i_sb->s_fs_info->error_dirty	0-1
PARAM_VALUE	0	dir->i_sb->s_fs_info->nm_info->available_nids	0-4294967295
PARAM_VALUE	0	dir->i_sb->s_fs_info->nm_info->bitmap_size	s32min-s32max
PARAM_VALUE	0	dir->i_sb->s_fs_info->nm_info->dirty_nats_ratio	0-4294967295
PARAM_VALUE	0	dir->i_sb->s_fs_info->nm_info->max_nid	0-4294967295
PARAM_VALUE	0	dir->i_sb->s_fs_info->nm_info->max_rf_node_blocks	0-4294967295
PARAM_VALUE	0	dir->i_sb->s_fs_info->nm_info->nat_bits_blocks	0-4294967295
PARAM_VALUE	0	dir->i_sb->s_fs_info->nm_info->nat_blkaddr	0-4294967295
PARAM_VALUE	0	dir->i_sb->s_fs_info->nm_info->nat_blocks	0-4294967295
PARAM_VALUE	0	dir->i_sb->s_fs_info->nm_info->next_scan_nid	0-4294967295
PARAM_VALUE	0	dir->i_sb->s_fs_info->nm_info->ra_nid_pages	0-4294967295
PARAM_VALUE	0	dir->i_sb->s_fs_info->nm_info->ram_thresh	0-4294967295
PARAM_VALUE	0	dir->i_sb->s_fs_info->no_chk_data_crc	0-1
PARAM_VALUE	0	dir->i_sb->s_fs_info->ro_error	0-1
PARAM_VALUE	0	dir->i_sb->s_fs_info->s_freeclusters_counter.lock.owner	(-1)
PARAM_VALUE	0	dir->i_sb->s_fs_info->s_freeclusters_counter.lock.raw_lock.val.counter	s32min-s32max
PARAM_VALUE	0	dir->i_sb->s_fs_info->s_freeinodes_counter.lock.owner	(-1)
PARAM_VALUE	0	dir->i_sb->s_fs_info->s_freeinodes_counter.lock.raw_lock.val.counter	s32min-s32max
PARAM_VALUE	0	dir->i_sb->s_fs_info->sb->s_pending_errors.refs.counter	s32min-s32max
PARAM_VALUE	0	dir->i_sb->s_fs_info->stats->crc_errors	0-4294967295
PARAM_VALUE	0	dir->i_sb->s_fs_info->stats->magic_errors	0-4294967295
PARAM_VALUE	0	dir->i_sb->s_fs_info->stats->node_errors	0-4294967295
PARAM_VALUE	0	dir->i_sb->s_fs_info->tnc_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	dir->i_sb->s_fs_info->tnc_mutex.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	dir->i_sb->s_fs_info->tnc_mutex.first_waiter->task->blocked_lock.owner	(-1)
PARAM_VALUE	0	dir->i_sb->s_fs_info->tnc_mutex.first_waiter->task->blocked_lock.owner_cpu	4294967295
PARAM_VALUE	0	dir->i_sb->s_fs_info->tnc_mutex.first_waiter->task->usage.refs.counter	s32min-s32max
PARAM_VALUE	0	dir->i_sb->s_fs_info->tnc_mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	dir->i_sb->s_fs_info->vfs_sb->s_blocksize_bits	0-255
PARAM_VALUE	1	bh	4096-ptr_max
PARAM_VALUE	3	buf_size	(-60)-(-1),1-65475
PARAM_VALUE	4	fname	8151289369426542592
PARAM_VALUE	4	fname->cf_name.len	0-254,4294967274
PARAM_VALUE	4	fname->disk_name.len	0
PARAM_VALUE	4	fname->disk_name.name	0
PARAM_VALUE	4	fname->hinfo.hash	0,2-4294967293,u32max
PARAM_VALUE	4	fname->hinfo.hash_version	0,6
PARAM_VALUE	4	fname->usr_fname	4096-ptr_max
PARAM_VALUE	5	dest_de	1042126679467671552
CAPPED_DATA	0	dir->i_ino	1
DATA_SOURCE	0	dir	$2
DATA_SOURCE	2	buf	$5
DATA_SOURCE	3	buf_size	$6
DATA_SOURCE	4	fname	$1
MEM_ZERO	4	fname
RX_PATH
TASK_NOT_RUNNING
USER_DATA	0	dir->i_size	(-9223372036854775807)-(-4),0-s64max
UNITS	3	buf_size	unit_byte

fs/ext4/namei.c add_dirent_to_buf() -> ext4_find_dest_de()

Type	Parameter	Key	Value
PARAM_VALUE	0	dir	4096-ptr_max
PARAM_VALUE	0	dir->i_io_list.next->prev	4096-ptr_max
PARAM_VALUE	0	dir->i_io_list.prev->next	4096-ptr_max
PARAM_VALUE	0	dir->i_mapping->host->i_sb->s_export_op->encode_fh	0,2,1398972869330624512,1616549510479982592,2037984473558433792
PARAM_VALUE	0	dir->i_mapping->host->i_sb->s_export_op->fh_to_dentry	0,8684,447817974243774464,687732489194512384,742201802719268864,868497899885588480,1471448175530500096,2021658383390310400,2445877819203563520,2512819722689847296,2649270699546726400,2761259683714371584,2893332316235677696-s64max
PARAM_VALUE	0	dir->i_mapping->host->i_sb->s_export_op->fh_to_parent	0,5297,148606482432692224,436469935444291584,467281172929331200
PARAM_VALUE	0	dir->i_mapping->host->i_sb->s_export_op->get_parent	0,8931,264940071972966400,291591359766798336,565128213429456896
PARAM_VALUE	0	dir->i_mapping->i_mmap_rwsem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	dir->i_mapping->i_mmap_rwsem.first_waiter->type	0-1
PARAM_VALUE	0	dir->i_op->link	0,4096-ptr_max
PARAM_VALUE	0	dir->i_op->mknod	0,4096-ptr_max
PARAM_VALUE	0	dir->i_op->readlink	0,4096-ptr_max
PARAM_VALUE	0	dir->i_rwsem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	dir->i_rwsem.first_waiter->type	0-1
PARAM_VALUE	0	dir->i_sb	4096-ptr_max
PARAM_VALUE	0	dir->i_sb->s_bdev->bd_mapping->i_private_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	dir->i_sb->s_cop->inode_info_offs	1632,1720,1808,2632,2648
PARAM_VALUE	0	dir->i_sb->s_export_op->encode_fh	0,2,1398972869330624512,1616549510479982592,2037984473558433792,2776440803454029824,3228746867770966016,3502492669594062848,3526768263295340544,3559173554394271744,5000850239487131648,5583386343686406144,5817357685191483392-s64max
PARAM_VALUE	0	dir->i_sb->s_export_op->fh_to_dentry	0,8684,447817974243774464,687732489194512384,742201802719268864,868497899885588480,1471448175530500096,2021658383390310400,2445877819203563520,2512819722689847296,2649270699546726400,2761259683714371584,2893332316235677696-s64max
PARAM_VALUE	0	dir->i_sb->s_export_op->fh_to_parent	0,4672,148606482432692224,436469935444291584,457356038048772096,467281172929331200,529780027764285440,1092893949038768128,1556959531105513472,1608953577475584000,1649536479961075712,2404761408063094784,2970908329832960000-s64max
PARAM_VALUE	0	dir->i_sb->s_fs_info->s_bdev_wb_err	0-4294967295
PARAM_VALUE	0	dir->i_wb->dwork.timer.is_hard	0-1
PARAM_VALUE	0	dir->i_wb->dwork.timer.is_lazy	0-1
PARAM_VALUE	0	dir->i_wb->dwork.timer.is_queued	0-1
PARAM_VALUE	0	dir->i_wb->dwork.timer.is_soft	0-1
PARAM_VALUE	0	dir->i_wb->dwork.timer.node.node.next	0
PARAM_VALUE	0	dir->i_wb->dwork.timer.node.node.prev	0
PARAM_VALUE	0	dir->i_wb->dwork.work.entry.next->prev	4096-ptr_max
PARAM_VALUE	0	dir->i_wb->dwork.work.flags	0-4294967295
PARAM_VALUE	0	dir->i_wb->dwork.work.is_hard	0-1
PARAM_VALUE	0	dir->i_wb->dwork.work.is_lazy	0-1
PARAM_VALUE	0	dir->i_wb->dwork.work.is_queued	0-1
PARAM_VALUE	0	dir->i_wb->dwork.work.is_soft	0-1
PARAM_VALUE	1	bh	4096-ptr_max
PARAM_VALUE	1	bh->b_folio->mapping->host->i_sb->s_cop->empty_dir	0,86,4096-ptr_max
PARAM_VALUE	1	bh->b_folio->mapping->host->i_sb->s_cop->get_context	0,706,4096-ptr_max
PARAM_VALUE	1	bh->b_folio->mapping->host->i_sb->s_cop->set_context	0,67,4096-ptr_max
PARAM_VALUE	1	bh->b_folio->mapping->host->i_wb->dwork.wq->dfl_pwq	0-s64max
PARAM_VALUE	1	bh->b_folio->mapping->host->i_wb->dwork.wq->saved_max_active	s32min-s32max
PARAM_VALUE	1	bh->b_folio->mapping->host->i_wb->dwork.wq->saved_min_active	s32min-s32max
PARAM_VALUE	4	fname	8151289369426542592
PARAM_VALUE	4	fname->cf_name.len	0-254,4294967274
PARAM_VALUE	4	fname->disk_name.len	0
PARAM_VALUE	4	fname->disk_name.name	0
PARAM_VALUE	4	fname->hinfo.hash	0,2-4294967293,u32max
PARAM_VALUE	4	fname->hinfo.hash_version	0,6
PARAM_VALUE	4	fname->usr_fname	4096-ptr_max
PARAM_VALUE	5	*dest_de	0
BUF_SIZE	1	bh	(-1)-s32max
BUF_SIZE	1	bh	(-1)-s32max
CAPPED_DATA	0	dir	1
CAPPED_DATA	0	dir->i_sb	1
CAPPED_DATA	1	bh	1
CAPPED_DATA	4	fname->hinfo.hash	1
DATA_SOURCE	0	dir	$2
DATA_SOURCE	1	bh	$5
DATA_SOURCE	4	fname	$1
MEM_ZERO	4	fname
RX_PATH
TASK_NOT_RUNNING
USER_DATA	0	dir->i_size	(-9223372036854775807)-(-4),0-s64max
UNITS	1	bh	unit_byte
UNITS	2	buf	unit_byte
UNITS	3	buf_size	unit_byte