udf_fiiter_update_elen identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a prototype:

fs/udf/udfdecl.h, line 252 (as a prototype)

Defined in 1 files as a function:

fs/udf/directory.c, line 441 (as a function)

Referenced in 2 files:

Smatch caller information:

fs/udf/directory.c udf_fiiter_append_blk() -> udf_fiiter_update_elen()

Type	Parameter	Key	Value
PARAM_VALUE	0	iter	1008871186526154752,5535005633075798016,7273352063384498176,8932802155198771200
PARAM_VALUE	0	iter->dir	4096-ptr_max
PARAM_VALUE	0	iter->elen	0-1073741823
PARAM_VALUE	0	iter->epos.bh	0,4096-ptr_max
PARAM_VALUE	0	iter->namebuf	0,4096-ptr_max
CAPPED_DATA	1	new_elen	1
DATA_SOURCE	0	iter	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	iter->dir->i_mode	0-u16max
USER_DATA	0	iter->dir->i_size	(-9223372036854775807)-(-4),0-s64max
NO_OVERFLOW_SIMPLE	0	iter->epos.block.logicalBlockNum
NO_OVERFLOW_SIMPLE	0	iter->fi.icb.extLength
NO_OVERFLOW_SIMPLE	0	iter->pos

fs/udf/directory.c udf_fiiter_append_blk() -> udf_fiiter_update_elen()

Type	Parameter	Key	Value
PARAM_VALUE	0	iter	1008871186526154752,5535005633075798016,7273352063384498176,8932802155198771200
PARAM_VALUE	0	iter->dir	4096-ptr_max
PARAM_VALUE	0	iter->dir->i_mapping->host->i_sb->s_cop->empty_dir	0,86,661756434209751040,4392966320616476672,5234023279986843648,8614756098313990144
PARAM_VALUE	0	iter->dir->i_mapping->host->i_sb->s_cop->get_context	0,706,17350455714160640,4513809449498124288,5149251875611672576,7067778626864828416
PARAM_VALUE	0	iter->dir->i_mapping->host->i_sb->s_cop->inode_info_offs	1632,1720,1808,2632,2648
PARAM_VALUE	0	iter->dir->i_mapping->host->i_sb->s_cop->set_context	0,67,317457138841939968,3250154607523569664,5979066299606671360,6756104566897242112
PARAM_VALUE	0	iter->dir->i_mapping->i_mmap_rwsem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	iter->dir->i_mapping->i_mmap_rwsem.first_waiter->type	0-1
PARAM_VALUE	0	iter->dir->i_sb->s_fs_info->gc_task->signal->curr_target->futex_state	0-4294967295
PARAM_VALUE	0	iter->dir->i_sb->s_fs_info->gc_task->signal->curr_target->user_dumpable	0-1
PARAM_VALUE	0	iter->dir->i_sb->s_fs_info->nextblock->allocated_refs	0-4294967295
PARAM_VALUE	0	iter->dir->i_sb->s_fs_info->nextblock->bad_count	s32min-s32max
PARAM_VALUE	0	iter->dir->i_sb->s_fs_info->nextblock->dirty_size	0-4294967295
PARAM_VALUE	0	iter->dir->i_sb->s_fs_info->nextblock->free_size	0-4294967295
PARAM_VALUE	0	iter->dir->i_sb->s_fs_info->nextblock->offset	0-4294967295
PARAM_VALUE	0	iter->dir->i_sb->s_fs_info->nextblock->unchecked_size	0-4294967295
PARAM_VALUE	0	iter->dir->i_sb->s_fs_info->nextblock->used_size	0-4294967295
PARAM_VALUE	0	iter->dir->i_sb->s_fs_info->nextblock->wasted_size	0-4294967295
PARAM_VALUE	0	iter->dir->i_sb->s_fs_info->ns_segctor_sem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	iter->dir->i_sb->s_fs_info->ns_segctor_sem.first_waiter->list.next	2212933610777083904
PARAM_VALUE	0	iter->dir->i_sb->s_fs_info->ns_segctor_sem.first_waiter->list.prev	2212933610777083904
PARAM_VALUE	0	iter->dir->i_sb->s_fs_info->ns_segctor_sem.first_waiter->type	0-1
PARAM_VALUE	0	iter->dir->i_sb->s_fs_info->s_es->s_error_count	0-4294967295
PARAM_VALUE	0	iter->dir->i_sb->s_fs_info->s_es->s_first_error_time	0-4294967295
PARAM_VALUE	0	iter->dir->i_sb->s_fs_info->s_es->s_first_error_time_hi	0-255
PARAM_VALUE	0	iter->dir->i_sb->s_fs_info->s_es->s_free_blocks_count_lo	0-4294967295
PARAM_VALUE	0	iter->dir->i_sb->s_fs_info->s_es->s_last_error_time	0-4294967295
PARAM_VALUE	0	iter->dir->i_sb->s_fs_info->s_es->s_last_error_time_hi	0-255
PARAM_VALUE	0	iter->dir->i_sb->s_fs_info->s_es->s_wtime	0-4294967295
PARAM_VALUE	0	iter->dir->i_sb->s_fs_info->s_es->s_wtime_hi	0-255
PARAM_VALUE	0	iter->dir->i_sb->s_fs_info->s_vat_inode->i_wb->dwork.work.function	1626621062881370112
PARAM_VALUE	0	iter->dir->i_sb->s_fs_info->sd_jdesc->jd_log_bio->bi_end_io	6431644242391375872
PARAM_VALUE	0	iter->dir->i_sb->s_fs_info->sd_jdesc->jd_log_bio->bi_status	1-255
PARAM_VALUE	0	iter->dir->i_sb->s_fs_info->sd_log_flush_lock.first_waiter->handoff_set	0-1
PARAM_VALUE	0	iter->dir->i_sb->s_fs_info->sd_log_flush_lock.first_waiter->list.next	2212933610777083904,2624917664208203776
PARAM_VALUE	0	iter->dir->i_sb->s_fs_info->sd_log_flush_lock.first_waiter->list.prev	2212933610777083904,2624917664208203776
PARAM_VALUE	0	iter->dir->i_sb->s_fs_info->sd_log_flush_lock.first_waiter->type	0-1
PARAM_VALUE	0	iter->dir->i_sb->s_fs_info->summary->sum_buf->v32	0-4294967295
PARAM_VALUE	0	iter->dir->i_sb->s_fs_info->summary->sum_num	0-4294967295
PARAM_VALUE	0	iter->dir->i_sb->s_fs_info->summary->sum_padded	0-4294967295
PARAM_VALUE	0	iter->dir->i_sb->s_fs_info->summary->sum_size	0-4294967295
PARAM_VALUE	0	iter->dir->i_sb->s_fs_info->wbuf_dwork.wq->dfl_pwq	0-s64max
PARAM_VALUE	0	iter->dir->i_sb->s_fs_info->wbuf_dwork.wq->saved_max_active	s32min-s32max
PARAM_VALUE	0	iter->dir->i_sb->s_fs_info->wbuf_dwork.wq->saved_min_active	s32min-s32max
PARAM_VALUE	0	iter->dir->i_sb->s_fs_info->wbuf_inodes->ino	0-4294967295
PARAM_VALUE	0	iter->dir->i_sb->s_fs_info->xref_dead_list->ic	0-4294967295
PARAM_VALUE	0	iter->dir->i_sb->s_fs_info->xref_dead_list->xd	0-4294967295
PARAM_VALUE	0	iter->dir->i_wb->dwork.timer.is_hard	0-1
PARAM_VALUE	0	iter->dir->i_wb->dwork.timer.is_lazy	0-1
PARAM_VALUE	0	iter->dir->i_wb->dwork.timer.is_queued	0-1
PARAM_VALUE	0	iter->dir->i_wb->dwork.timer.is_soft	0-1
PARAM_VALUE	0	iter->dir->i_wb->dwork.work.flags	0-4294967295
PARAM_VALUE	0	iter->dir->i_wb->dwork.work.is_hard	0-1
PARAM_VALUE	0	iter->dir->i_wb->dwork.work.is_lazy	0-1
PARAM_VALUE	0	iter->dir->i_wb->dwork.work.is_queued	0-1
PARAM_VALUE	0	iter->dir->i_wb->dwork.work.is_soft	0-1
PARAM_VALUE	0	iter->dir->i_wb->dwork.wq->dfl_pwq	0-s64max
PARAM_VALUE	0	iter->dir->i_wb->dwork.wq->saved_max_active	s32min-s32max
PARAM_VALUE	0	iter->dir->i_wb->dwork.wq->saved_min_active	s32min-s32max
PARAM_VALUE	0	iter->epos.bh	0,4096-ptr_max
PARAM_VALUE	0	iter->namebuf	0,4096-ptr_max
PARAM_VALUE	1	new_elen	0-1073741823
DATA_SOURCE	0	iter	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	iter->dir->i_mode	0-u16max
USER_DATA	0	iter->dir->i_size	(-9223372036854775807)-(-4),0-s64max
NO_OVERFLOW_SIMPLE	0	iter->epos.block.logicalBlockNum
NO_OVERFLOW_SIMPLE	0	iter->fi.icb.extLength
NO_OVERFLOW_SIMPLE	0	iter->pos
UNITS	1	new_elen	unit_byte

fs/udf/namei.c udf_fiiter_add_entry() -> udf_fiiter_update_elen()

Type	Parameter	Key	Value
PARAM_VALUE	0	iter	1008871186526154752,5535005633075798016,7273352063384498176,8932802155198771200
PARAM_VALUE	0	iter->dir	4096-ptr_max
PARAM_VALUE	0	iter->dir->i_io_list.next->prev	4096-ptr_max
PARAM_VALUE	0	iter->dir->i_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	iter->dir->i_mapping->host->i_sb->s_cop->empty_dir	0,86,661756434209751040,4392966320616476672,5234023279986843648
PARAM_VALUE	0	iter->dir->i_mapping->host->i_sb->s_cop->get_context	0,706,17350455714160640,4513809449498124288,5149251875611672576
PARAM_VALUE	0	iter->dir->i_mapping->host->i_sb->s_cop->inode_info_offs	1632,1720,1808,2632,2648
PARAM_VALUE	0	iter->dir->i_mapping->host->i_sb->s_cop->set_context	0,67,317457138841939968,3250154607523569664,5979066299606671360
PARAM_VALUE	0	iter->dir->i_mapping->i_mmap_rwsem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	iter->dir->i_mapping->i_mmap_rwsem.first_waiter->type	0-1
PARAM_VALUE	0	iter->dir->i_sb->s_cop->empty_dir	0,86,661756434209751040,4392966320616476672,5234023279986843648,8614756098313990144
PARAM_VALUE	0	iter->dir->i_sb->s_cop->get_context	0,706,17350455714160640,4513809449498124288,5149251875611672576,7067778626864828416
PARAM_VALUE	0	iter->dir->i_sb->s_cop->set_context	0,67,317457138841939968,3250154607523569664,5979066299606671360,6756104566897242112
PARAM_VALUE	0	iter->dir->i_sb->s_fs_info->gc_task->signal->curr_target->futex_state	0-4294967295
PARAM_VALUE	0	iter->dir->i_sb->s_fs_info->gc_task->signal->curr_target->user_dumpable	0-1
PARAM_VALUE	0	iter->dir->i_sb->s_fs_info->nextblock->allocated_refs	0-4294967295
PARAM_VALUE	0	iter->dir->i_sb->s_fs_info->nextblock->bad_count	s32min-s32max
PARAM_VALUE	0	iter->dir->i_sb->s_fs_info->nextblock->dirty_size	0-4294967295
PARAM_VALUE	0	iter->dir->i_sb->s_fs_info->nextblock->free_size	0-4294967295
PARAM_VALUE	0	iter->dir->i_sb->s_fs_info->nextblock->offset	0-4294967295
PARAM_VALUE	0	iter->dir->i_sb->s_fs_info->nextblock->unchecked_size	0-4294967295
PARAM_VALUE	0	iter->dir->i_sb->s_fs_info->nextblock->used_size	0-4294967295
PARAM_VALUE	0	iter->dir->i_sb->s_fs_info->nextblock->wasted_size	0-4294967295
PARAM_VALUE	0	iter->dir->i_sb->s_fs_info->ns_segctor_sem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	iter->dir->i_sb->s_fs_info->ns_segctor_sem.first_waiter->list.next	2212933610777083904
PARAM_VALUE	0	iter->dir->i_sb->s_fs_info->ns_segctor_sem.first_waiter->list.prev	2212933610777083904
PARAM_VALUE	0	iter->dir->i_sb->s_fs_info->ns_segctor_sem.first_waiter->type	0-1
PARAM_VALUE	0	iter->dir->i_sb->s_fs_info->s_alloc_mutex->first_waiter->task->blocked_lock.owner	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	iter->dir->i_sb->s_fs_info->s_alloc_mutex->wait_lock.owner	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	iter->dir->i_sb->s_fs_info->s_alloc_mutex.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	iter->dir->i_sb->s_fs_info->s_es->s_error_count	0-4294967295
PARAM_VALUE	0	iter->dir->i_sb->s_fs_info->s_es->s_first_error_time	0-4294967295
PARAM_VALUE	0	iter->dir->i_sb->s_fs_info->s_es->s_first_error_time_hi	0-255
PARAM_VALUE	0	iter->dir->i_sb->s_fs_info->s_es->s_free_blocks_count_lo	0-4294967295
PARAM_VALUE	0	iter->dir->i_sb->s_fs_info->s_es->s_last_error_time	0-4294967295
PARAM_VALUE	0	iter->dir->i_sb->s_fs_info->s_es->s_last_error_time_hi	0-255
PARAM_VALUE	0	iter->dir->i_sb->s_fs_info->s_es->s_wtime	0-4294967295
PARAM_VALUE	0	iter->dir->i_sb->s_fs_info->s_es->s_wtime_hi	0-255
PARAM_VALUE	0	iter->dir->i_sb->s_fs_info->sd_jdesc->jd_log_bio->bi_end_io	6431644242391375872
PARAM_VALUE	0	iter->dir->i_sb->s_fs_info->sd_jdesc->jd_log_bio->bi_status	1-255
PARAM_VALUE	0	iter->dir->i_sb->s_fs_info->sd_log_flush_lock.first_waiter->handoff_set	0-1
PARAM_VALUE	0	iter->dir->i_sb->s_fs_info->sd_log_flush_lock.first_waiter->list.next	2212933610777083904,2624917664208203776
PARAM_VALUE	0	iter->dir->i_sb->s_fs_info->sd_log_flush_lock.first_waiter->list.prev	2212933610777083904,2624917664208203776
PARAM_VALUE	0	iter->dir->i_sb->s_fs_info->sd_log_flush_lock.first_waiter->type	0-1
PARAM_VALUE	0	iter->dir->i_sb->s_fs_info->summary->sum_buf->v32	0-4294967295
PARAM_VALUE	0	iter->dir->i_sb->s_fs_info->summary->sum_num	0-4294967295
PARAM_VALUE	0	iter->dir->i_sb->s_fs_info->summary->sum_padded	0-4294967295
PARAM_VALUE	0	iter->dir->i_sb->s_fs_info->summary->sum_size	0-4294967295
PARAM_VALUE	0	iter->dir->i_sb->s_fs_info->wbuf_dwork.wq->dfl_pwq	0-s64max
PARAM_VALUE	0	iter->dir->i_sb->s_fs_info->wbuf_dwork.wq->saved_max_active	s32min-s32max
PARAM_VALUE	0	iter->dir->i_sb->s_fs_info->wbuf_dwork.wq->saved_min_active	s32min-s32max
PARAM_VALUE	0	iter->dir->i_sb->s_fs_info->wbuf_inodes->ino	0-4294967295
PARAM_VALUE	0	iter->dir->i_sb->s_fs_info->xref_dead_list->ic	0-4294967295
PARAM_VALUE	0	iter->dir->i_sb->s_fs_info->xref_dead_list->xd	0-4294967295
PARAM_VALUE	0	iter->dir->i_wb->dwork.work.flags	0-4294967295
PARAM_VALUE	0	iter->dir->i_wb->dwork.work.is_queued	0-1
PARAM_VALUE	0	iter->dir->i_wb->dwork.wq->dfl_pwq	0-s64max
PARAM_VALUE	0	iter->dir->i_wb->dwork.wq->saved_max_active	s32min-s32max
PARAM_VALUE	0	iter->dir->i_wb->dwork.wq->saved_min_active	s32min-s32max
PARAM_VALUE	0	iter->dir->i_wb->list_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	iter->epos.bh	0,4096-ptr_max
PARAM_VALUE	0	iter->epos.bh->b_assoc_buffers.next	4096-ptr_max
PARAM_VALUE	0	iter->epos.bh->b_assoc_buffers.next->prev	4096-ptr_max
PARAM_VALUE	0	iter->epos.bh->b_data->descCRC	0-u16max
PARAM_VALUE	0	iter->epos.bh->b_data->descCRCLength	0-u16max
PARAM_VALUE	0	iter->epos.bh->b_data->tagChecksum	0-255
PARAM_VALUE	0	iter->epos.bh->b_folio->mapping->host->i_io_list.next	4096-ptr_max
PARAM_VALUE	0	iter->epos.bh->b_folio->mapping->host->i_io_list.prev	4096-ptr_max
PARAM_VALUE	0	iter->epos.bh->b_folio->mapping->host->i_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	iter->epos.bh->b_folio->mapping->host->i_wb->list_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	iter->epos.bh->b_folio->mapping->host->i_wb->work_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	iter->fi.descCRC	0-u16max
PARAM_VALUE	0	iter->fi.descCRCLength	0
PARAM_VALUE	0	iter->fi.descTag.tagSerialNum	0
PARAM_VALUE	0	iter->fi.descVersion	2-3
PARAM_VALUE	0	iter->fi.fileCharacteristics	0
PARAM_VALUE	0	iter->fi.fileVersionNum	1
PARAM_VALUE	0	iter->fi.icb.extLength	0
PARAM_VALUE	0	iter->fi.lengthOfImpUse	0
PARAM_VALUE	0	iter->fi.tagChecksum	0-255
PARAM_VALUE	0	iter->fi.tagIdent	257-258
PARAM_VALUE	0	iter->fi.tagSerialNum	1
PARAM_VALUE	0	iter->name	0,4096-ptr_max
PARAM_VALUE	0	iter->namebuf	0,4096-ptr_max
BUF_SIZE	0	iter->name	255
DATA_SOURCE	0	iter	$2
MEM_ZERO	0	&iter->fi
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	iter->dir->i_bytes	0-65022[c]
USER_DATA	0	iter->dir->i_mode	0-u16max
USER_DATA	0	iter->dir->i_size	(-9223372036854775807)-(-4),0-s64max
NO_OVERFLOW_SIMPLE	0	iter->dir->i_blkbits
NO_OVERFLOW_SIMPLE	0	iter->epos.block.logicalBlockNum
NO_OVERFLOW_SIMPLE	0	iter->fi.icb.extLength
NO_OVERFLOW_SIMPLE	0	iter->pos
UNITS	1	new_elen	unit_byte