Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

fs/hfsplus/super.c hfsplus_fill_super() -> hfsplus_delete_cat()

Type Parameter Key Value
PARAM_VALUE 1 dir 4096-ptr_max
PARAM_VALUE 1 dir->i_data.a_ops->bmap 0,4096-ptr_max
PARAM_VALUE 1 dir->i_data.a_ops->direct_IO 0,4096-ptr_max
PARAM_VALUE 1 dir->i_data.a_ops->dirty_folio 0,4096-ptr_max
PARAM_VALUE 1 dir->i_data.a_ops->error_remove_folio 0,373303432983703552,3650281484867371008,6933238642996355072,7934844886813757440
PARAM_VALUE 1 dir->i_data.a_ops->free_folio 0,4096-ptr_max
PARAM_VALUE 1 dir->i_data.a_ops->invalidate_folio 0,4096-ptr_max
PARAM_VALUE 1 dir->i_data.a_ops->is_dirty_writeback 0,7518438349615988736,8867638692533350400
PARAM_VALUE 1 dir->i_data.a_ops->is_partially_uptodate 0,1933474595957665792,7182876493439184896
PARAM_VALUE 1 dir->i_data.a_ops->launder_folio 0,4096-ptr_max
PARAM_VALUE 1 dir->i_data.a_ops->migrate_folio 0,4096-ptr_max
PARAM_VALUE 1 dir->i_data.a_ops->read_folio 0,4096-ptr_max
PARAM_VALUE 1 dir->i_data.a_ops->readahead 0,4096-ptr_max
PARAM_VALUE 1 dir->i_data.a_ops->release_folio 0,4096-ptr_max
PARAM_VALUE 1 dir->i_data.a_ops->swap_activate 0,4096-ptr_max
PARAM_VALUE 1 dir->i_data.a_ops->swap_deactivate 0,1546359495696728064,3888069641387622400,7359158453655175168,8604917376913055744
PARAM_VALUE 1 dir->i_data.a_ops->swap_rw 0,4986685196838862848,8487923053812363264
PARAM_VALUE 1 dir->i_data.a_ops->write_begin 0,4096-ptr_max
PARAM_VALUE 1 dir->i_data.a_ops->write_end 0,4096-ptr_max
PARAM_VALUE 1 dir->i_data.a_ops->writepages 0,4096-ptr_max
PARAM_VALUE 1 dir->i_data.host->i_sb->s_export_op->encode_fh 0,2,1398972869330624512,1616549510479982592,2037984473558433792
PARAM_VALUE 1 dir->i_data.host->i_sb->s_export_op->fh_to_dentry 0,8684,447817974243774464,687732489194512384,742201802719268864
PARAM_VALUE 1 dir->i_data.host->i_sb->s_export_op->fh_to_parent 0,5297,148606482432692224,436469935444291584,467281172929331200
PARAM_VALUE 1 dir->i_data.host->i_sb->s_export_op->get_parent 0,8931,264940071972966400,291591359766798336,565128213429456896
PARAM_VALUE 1 dir->i_dentry.first 4096-ptr_max
PARAM_VALUE 1 dir->i_hash.pprev 1-u64max
PARAM_VALUE 1 dir->i_ino 0-u32max
PARAM_VALUE 1 dir->i_io_list.next 4096-ptr_max
PARAM_VALUE 1 dir->i_io_list.next->prev 4096-ptr_max
PARAM_VALUE 1 dir->i_io_list.prev 4096-ptr_max
PARAM_VALUE 1 dir->i_io_list.prev->next 4096-ptr_max
PARAM_VALUE 1 dir->i_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 dir->i_mapping->a_ops->error_remove_folio 0,373303432983703552,3650281484867371008,6933238642996355072,7934844886813757440
PARAM_VALUE 1 dir->i_mapping->a_ops->free_folio 0,87018317492477952,1576041750683152384,3223952723663937536,4787850423793061888
PARAM_VALUE 1 dir->i_mapping->a_ops->is_dirty_writeback 0,7518438349615988736,8867638692533350400
PARAM_VALUE 1 dir->i_mapping->a_ops->is_partially_uptodate 0,1933474595957665792,7182876493439184896
PARAM_VALUE 1 dir->i_mapping->a_ops->launder_folio 0,122107076755599360,327075084911996928,858079631894568960,7268098942548045824
PARAM_VALUE 1 dir->i_mapping->a_ops->swap_deactivate 0,1546359495696728064,3888069641387622400,7359158453655175168,8604917376913055744
PARAM_VALUE 1 dir->i_mapping->a_ops->swap_rw 0,4986685196838862848,8487923053812363264
PARAM_VALUE 1 dir->i_mapping->i_mmap_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 1 dir->i_mapping->i_mmap_rwsem.first_waiter->type 0-1
PARAM_VALUE 1 dir->i_op->atomic_open 0,4096-ptr_max
PARAM_VALUE 1 dir->i_op->create 0,4096-ptr_max
PARAM_VALUE 1 dir->i_op->fiemap 0,4096-ptr_max
PARAM_VALUE 1 dir->i_op->fileattr_get 0,4096-ptr_max
PARAM_VALUE 1 dir->i_op->fileattr_set 0,4096-ptr_max
PARAM_VALUE 1 dir->i_op->get_acl 0,4096-ptr_max
PARAM_VALUE 1 dir->i_op->get_inode_acl 0,4096-ptr_max
PARAM_VALUE 1 dir->i_op->get_link 0,4096-ptr_max
PARAM_VALUE 1 dir->i_op->get_offset_ctx 0,4096-ptr_max
PARAM_VALUE 1 dir->i_op->getattr 0,4096-ptr_max
PARAM_VALUE 1 dir->i_op->link 0,4096-ptr_max
PARAM_VALUE 1 dir->i_op->listxattr 0,4096-ptr_max
PARAM_VALUE 1 dir->i_op->lookup 0,4096-ptr_max
PARAM_VALUE 1 dir->i_op->mkdir 0,4096-ptr_max
PARAM_VALUE 1 dir->i_op->mknod 0,4096-ptr_max
PARAM_VALUE 1 dir->i_op->permission 0,4096-ptr_max
PARAM_VALUE 1 dir->i_op->readlink 0,1728600404483375104,2832489546165891072,2874824064778891264,3069732422725099520,4516337085607264256
PARAM_VALUE 1 dir->i_op->rename 0,4096-ptr_max
PARAM_VALUE 1 dir->i_op->rmdir 0,4096-ptr_max
PARAM_VALUE 1 dir->i_op->set_acl 0,4096-ptr_max
PARAM_VALUE 1 dir->i_op->setattr 0,4096-ptr_max
PARAM_VALUE 1 dir->i_op->symlink 0,4096-ptr_max
PARAM_VALUE 1 dir->i_op->sync_lazytime 0,4096-ptr_max
PARAM_VALUE 1 dir->i_op->tmpfile 0,4096-ptr_max
PARAM_VALUE 1 dir->i_op->unlink 0,4096-ptr_max
PARAM_VALUE 1 dir->i_op->update_time 0,4096-ptr_max
PARAM_VALUE 1 dir->i_sb 4096-ptr_max
PARAM_VALUE 1 dir->i_sb->__s_d_op 0,4096-ptr_max
PARAM_VALUE 1 dir->i_sb->s_export_op->encode_fh 0,2,1398972869330624512,1616549510479982592,2037984473558433792
PARAM_VALUE 1 dir->i_wb->dwork->timer->entry.pprev 4096-ptr_max
PARAM_VALUE 1 dir->i_wb->dwork.work.entry.next->prev 4096-ptr_max
PARAM_VALUE 1 dir->i_wb->list_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 dir->i_wb->work_lock.rlock.dep_map->name 0-255
PARAM_VALUE 2 str 7702565120447504384
PARAM_VALUE 2 str->len 29
PARAM_VALUE 2 str->name 1095936627915345920
CAPPED_DATA 1 dir 1
CAPPED_DATA 1 dir->i_sb 1
CAPPED_DATA 1 dir->i_sb->s_time_max 1
DATA_SOURCE 1 dir r hfsplus_iget
PARAM_COMPARE 1 dir->i_sb->s_time_max >= $1->i_sb->s_time_min
TERMINATED 2 str->name 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 dir->i_blocks 0-18014398509481983,18428729675200069632-u64max
USER_DATA 1 dir->i_bytes 0-511[c]
NO_OVERFLOW_SIMPLE 1 dir->i_blkbits
NO_OVERFLOW_SIMPLE 1 dir->i_bytes
NO_OVERFLOW_SIMPLE 1 dir->i_sb->s_blocksize
NO_OVERFLOW_SIMPLE 1 dir->i_sb->s_blocksize_bits
LOCK2 &sbi->vh_mutex
HALF_LOCKED2 &fc->uapi_mutex
TYPE_LOCK (struct hfsplus_sb_info)->vh_mutex

fs/hfsplus/inode.c hfsplus_file_release() -> hfsplus_delete_cat()

Type Parameter Key Value
PARAM_VALUE 2 str 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 cnid
LOCK2 &inode->i_rwsem
TYPE_LOCK (struct inode)->i_rwsem

fs/hfsplus/dir.c hfsplus_mknod() -> hfsplus_delete_cat()

Type Parameter Key Value
PARAM_VALUE 1 dir 4096-ptr_max
PARAM_VALUE 1 dir->i_ino 0-u32max
PARAM_VALUE 1 dir->i_io_list.next 4096-ptr_max
PARAM_VALUE 1 dir->i_io_list.next->prev 4096-ptr_max
PARAM_VALUE 1 dir->i_io_list.prev 4096-ptr_max
PARAM_VALUE 1 dir->i_io_list.prev->next 4096-ptr_max
PARAM_VALUE 1 dir->i_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 dir->i_op 4096-ptr_max
PARAM_VALUE 1 dir->i_op->atomic_open 0,4096-ptr_max
PARAM_VALUE 1 dir->i_op->create 0,4096-ptr_max
PARAM_VALUE 1 dir->i_op->mkdir 0,4096-ptr_max
PARAM_VALUE 1 dir->i_op->mknod 0,4096-ptr_max
PARAM_VALUE 1 dir->i_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 1 dir->i_rwsem.first_waiter->type 0-1
PARAM_VALUE 1 dir->i_sb 4096-ptr_max
PARAM_VALUE 1 dir->i_sb->s_cop->inode_info_offs 1632,1720,1808,2632,2648
PARAM_VALUE 1 dir->i_sb->s_fs_info->file_count 0-4294967295
PARAM_VALUE 1 dir->i_sb->s_fs_info->folder_count 0-4294967295
PARAM_VALUE 1 dir->i_sb->s_fs_info->next_cnid 0-4294967295
PARAM_VALUE 1 dir->i_sb->s_fs_info->sync_work.cpu s32min-s32max
PARAM_VALUE 1 dir->i_sb->s_fs_info->work_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 dir->i_sb->s_fs_info->work_queued 1
PARAM_VALUE 1 dir->i_sb->s_op 4096-ptr_max
PARAM_VALUE 1 dir->i_wb->dwork->timer->entry.pprev 4096-ptr_max
PARAM_VALUE 1 dir->i_wb->dwork.work.entry.next->prev 4096-ptr_max
PARAM_VALUE 1 dir->i_wb->list_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 dir->i_wb->work_lock.rlock.dep_map->name 0-255
PARAM_VALUE 2 str 4096-ptr_max
CAPPED_DATA 1 dir->i_sb->s_time_max 1
DATA_SOURCE 1 dir $1
PARAM_COMPARE 1 dir->i_sb->s_time_max >= $1->i_sb->s_time_min
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 dir->i_mode 0-u16max
LOCK2 &sbi->vh_mutex
HALF_LOCKED2 1 &dir->i_rwsem
TYPE_LOCK (struct hfsplus_sb_info)->vh_mutex

fs/hfsplus/dir.c hfsplus_rmdir() -> hfsplus_delete_cat()

Type Parameter Key Value
PARAM_VALUE 1 dir 4096-ptr_max
PARAM_VALUE 1 dir->i_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 dir->i_op->rmdir 0,4096-ptr_max
PARAM_VALUE 1 dir->i_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 1 dir->i_rwsem.first_waiter->type 0-1
PARAM_VALUE 1 dir->i_sb 4096-ptr_max
PARAM_VALUE 1 dir->i_sb->s_cop->inode_info_offs 1632,1720,1808,2632,2648
PARAM_VALUE 2 str 4096-ptr_max
CAPPED_DATA 1 dir 1
DATA_SOURCE 1 dir $0
RX_PATH
TASK_NOT_RUNNING
LOCK2 &sbi->vh_mutex
HALF_LOCKED2 &dentry->d_inode->i_rwsem
HALF_LOCKED2 1 &dir->i_rwsem
TYPE_LOCK (struct hfsplus_sb_info)->vh_mutex

fs/hfsplus/dir.c hfsplus_symlink() -> hfsplus_delete_cat()

Type Parameter Key Value
PARAM_VALUE 1 dir 4096-ptr_max
PARAM_VALUE 1 dir->i_flctx->flc_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 dir->i_ino 0-u32max
PARAM_VALUE 1 dir->i_io_list.next 4096-ptr_max
PARAM_VALUE 1 dir->i_io_list.next->prev 4096-ptr_max
PARAM_VALUE 1 dir->i_io_list.prev 4096-ptr_max
PARAM_VALUE 1 dir->i_io_list.prev->next 4096-ptr_max
PARAM_VALUE 1 dir->i_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 dir->i_op 4096-ptr_max
PARAM_VALUE 1 dir->i_op->symlink 4096-ptr_max
PARAM_VALUE 1 dir->i_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 1 dir->i_rwsem.first_waiter->type 0-1
PARAM_VALUE 1 dir->i_sb 4096-ptr_max
PARAM_VALUE 1 dir->i_sb->s_cop->inode_info_offs 1632,1720,1808,2632,2648
PARAM_VALUE 1 dir->i_sb->s_fs_info->file_count 0-4294967295
PARAM_VALUE 1 dir->i_sb->s_fs_info->folder_count 0-4294967295
PARAM_VALUE 1 dir->i_sb->s_fs_info->next_cnid 0-4294967295
PARAM_VALUE 1 dir->i_sb->s_fs_info->sync_work.cpu s32min-s32max
PARAM_VALUE 1 dir->i_sb->s_fs_info->work_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 dir->i_sb->s_fs_info->work_queued 1
PARAM_VALUE 1 dir->i_sb->s_op 4096-ptr_max
PARAM_VALUE 1 dir->i_wb->dwork->timer->entry.pprev 4096-ptr_max
PARAM_VALUE 1 dir->i_wb->dwork.work.entry.next->prev 4096-ptr_max
PARAM_VALUE 1 dir->i_wb->list_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 dir->i_wb->work_lock.rlock.dep_map->name 0-255
PARAM_VALUE 2 str 4096-ptr_max
CAPPED_DATA 1 dir->i_sb->s_time_max 1
CAPPED_DATA 1 dir->i_sb->s_user_ns->gid_map.nr_extents 1
CAPPED_DATA 1 dir->i_sb->s_user_ns->uid_map.nr_extents 1
DATA_SOURCE 1 dir $1
PARAM_COMPARE 1 dir->i_sb->s_time_max >= $1->i_sb->s_time_min
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 dir->i_mode 0-u16max
LOCK2 &sbi->vh_mutex
TYPE_LOCK (struct hfsplus_sb_info)->vh_mutex

fs/hfsplus/dir.c hfsplus_unlink() -> hfsplus_delete_cat()

Type Parameter Key Value
PARAM_VALUE 1 dir 4096-ptr_max
PARAM_VALUE 1 dir->i_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 dir->i_op->unlink 0,4096-ptr_max
PARAM_VALUE 1 dir->i_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 1 dir->i_rwsem.first_waiter->type 0-1
PARAM_VALUE 1 dir->i_sb 4096-ptr_max
PARAM_VALUE 1 dir->i_sb->s_cop->inode_info_offs 1632,1720,1808,2632,2648
PARAM_VALUE 2 str 4096-ptr_max
CAPPED_DATA 1 dir 1
DATA_SOURCE 1 dir $0
RX_PATH
TASK_NOT_RUNNING
LOCK2 &sbi->vh_mutex
HALF_LOCKED2 &target->i_rwsem
HALF_LOCKED2 1 &dir->i_rwsem
TYPE_LOCK (struct hfsplus_sb_info)->vh_mutex

fs/hfsplus/dir.c hfsplus_unlink() -> hfsplus_delete_cat()

Type Parameter Key Value
PARAM_VALUE 2 str 0
RX_PATH
TASK_NOT_RUNNING
LOCK2 &sbi->vh_mutex
HALF_LOCKED2 &target->i_rwsem
TYPE_LOCK (struct hfsplus_sb_info)->vh_mutex