Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/omfs/dir.c omfs_delete_entry() -> omfs_scan_list()

Type Parameter Key Value
PARAM_VALUE 0 dir 4096-ptr_max
PARAM_VALUE 0 dir->i_ino 0-18446744073709551614
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_fs_info 4096-ptr_max
PARAM_VALUE 1 block 0-255
PARAM_VALUE 4 prev_block 6783415389677703168
BUF_SIZE 2 name s32min-(-2),1-s32max
BUF_SIZE 2 name s32min-(-2),1-s32max
CAPPED_DATA 0 dir->i_ino 1
CAPPED_DATA 3 namelen 1
PARAM_COMPARE 0 dir->i_ino < $0->i_sb->s_fs_info->s_num_blocks
RX_PATH
TASK_NOT_RUNNING
UNITS 2 name unit_byte
UNITS 3 namelen unit_byte
HALF_LOCKED2 &target->i_rwsem

fs/omfs/dir.c omfs_find_entry() -> omfs_scan_list()

Type Parameter Key Value
PARAM_VALUE 0 dir 4096-ptr_max
PARAM_VALUE 0 dir->i_ino 0-18446744073709551614
PARAM_VALUE 0 dir->i_op 4096-ptr_max
PARAM_VALUE 0 dir->i_op->atomic_open 0,4096-ptr_max
PARAM_VALUE 0 dir->i_op->create 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_fs_info 4096-ptr_max
PARAM_VALUE 3 namelen 0-256
PARAM_VALUE 4 prev_block 262686458126340096
BUF_SIZE 2 name s32min-(-2),1-s32max
BUF_SIZE 2 name s32min-(-2),1-s32max
CAPPED_DATA 0 dir->i_ino 1
CAPPED_DATA 3 namelen 1
DATA_SOURCE 0 dir $0
DATA_SOURCE 2 name $1
DATA_SOURCE 3 namelen $2
PARAM_COMPARE 0 dir->i_ino < $0->i_sb->s_fs_info->s_num_blocks
BIT_INFO 0 dir->i_flags 0x0,0xffffffef
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 dir->i_mode 0-u16max
USER_DATA 0 dir->i_size (-9223372036854775807)-(-4),0-s64max
UNITS 2 name unit_byte
UNITS 3 namelen unit_byte
HALF_LOCKED2 0 &dir->i_rwsem