Open Menu /

Documented in 1 files:

Defined in 1 files as a function:

Referenced in 9 files:

Smatch caller information:

fs/ufs/super.c inode_set_iversion() -> inode_set_iversion_raw()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 1 val 2
DATA_SOURCE 0 inode $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &sb->s_fs_info->bitmap_lock
HALF_LOCKED2 &sb->s_fs_info->hpfs_mutex
HALF_LOCKED2 &sb->s_root->d_lockref.lock
HALF_LOCKED2 &sb->s_umount

fs/afs/inode.c afs_apply_status() -> inode_set_iversion_raw()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
BUF_SIZE 0 inode 1160
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &vnode->cb_lock.lock
TYPE_LOCK (struct seqlock)->lock

fs/afs/inode.c afs_inode_init_from_status() -> inode_set_iversion_raw()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &vnode->cb_lock.lock
HALF_LOCKED2 &dvnode->rmdir_lock
HALF_LOCKED2 &target->i_rwsem
TYPE_LOCK (struct seqlock)->lock

fs/nfs/inode.c nfs_fhget() -> inode_set_iversion_raw()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 1 val 0
BUF_SIZE 0 inode (-1),1-s32max
BUF_SIZE 0 inode (-1),1-s32max
BUF_SIZE 0 inode->i_data.a_ops (-1),144
BUF_SIZE 0 inode->i_fop (-1)-0,272
BUF_SIZE 0 inode->i_op (-1),256
CAPPED_DATA 0 inode 1
DATA_SOURCE 0 inode r iget5_locked
BIT_INFO 0 inode->i_flags 0x82,0xffffffffffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 inode->__i_nlink 1-u32max
USER_DATA 0 inode->i_blocks 0-18014398509481983,18428729675200069632-u64max
USER_DATA 0 inode->i_bytes 0-511[c]
USER_DATA 0 inode->i_mode 0-u16max
USER_DATA 0 inode->i_rdev 0-u32max[c]
NO_OVERFLOW_SIMPLE 0 inode->i_bytes

fs/nfs/inode.c nfs_fhget() -> inode_set_iversion_raw()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
BUF_SIZE 0 inode (-1),1-s32max
BUF_SIZE 0 inode (-1),1-s32max
BUF_SIZE 0 inode->i_data.a_ops (-1),144
BUF_SIZE 0 inode->i_fop (-1)-0,272
BUF_SIZE 0 inode->i_op (-1),256
CAPPED_DATA 0 inode 1
DATA_SOURCE 0 inode r iget5_locked
BIT_INFO 0 inode->i_flags 0x82,0xffffffffffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 inode->i_bytes 0-511[c]
USER_DATA 0 inode->i_mode 0-u16max
USER_DATA 0 inode->i_rdev 0-u32max[c]
USER_DATA 1 val 0-4611686021648613375[c]
NO_OVERFLOW_SIMPLE 0 inode->i_bytes

fs/nfs/inode.c nfs_update_inode() -> inode_set_iversion_raw()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
BUF_SIZE 0 inode (-1),1-s32max
BUF_SIZE 0 inode (-1),1-s32max
DATA_SOURCE 0 inode $0
STR_LEN 0 inode (-1),1-24,26-27,29,31-34,63,99,115,254-255
STR_LEN 0 inode (-1),1-24,26-27,29,31-34,63,99,115,254-255
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 inode->i_ino 0-u64max
USER_DATA 0 inode->i_rdev 0-u32max[c]
NO_OVERFLOW_SIMPLE 0 inode->i_blkbits
NO_OVERFLOW_SIMPLE 0 inode->i_data.host->i_size
NO_OVERFLOW_SIMPLE 0 inode->i_linklen
NO_OVERFLOW_SIMPLE 0 inode->i_mapping->host->i_size
NO_OVERFLOW_SIMPLE 0 inode->i_sb->s_blocksize
NO_OVERFLOW_SIMPLE 0 inode->i_sb->s_blocksize_bits
LOCK2 0 &inode->i_lock
HALF_LOCKED2 0 &inode->i_rwsem
TYPE_LOCK (struct inode)->i_lock

fs/nfs/inode.c nfs_update_inode() -> inode_set_iversion_raw()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
BUF_SIZE 0 inode (-1),1-s32max
BUF_SIZE 0 inode (-1),1-s32max
DATA_SOURCE 0 inode $0
STR_LEN 0 inode (-1),1-24,26-27,29,31-34,63,99,115,254-255
STR_LEN 0 inode (-1),1-24,26-27,29,31-34,63,99,115,254-255
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 inode->i_ino 0-u64max
USER_DATA 0 inode->i_rdev 0-u32max[c]
USER_DATA 1 val 0-4611686021648613375[c]
NO_OVERFLOW_SIMPLE 0 inode->i_blkbits
NO_OVERFLOW_SIMPLE 0 inode->i_data.host->i_size
NO_OVERFLOW_SIMPLE 0 inode->i_linklen
NO_OVERFLOW_SIMPLE 0 inode->i_mapping->host->i_size
NO_OVERFLOW_SIMPLE 0 inode->i_sb->s_blocksize
NO_OVERFLOW_SIMPLE 0 inode->i_sb->s_blocksize_bits
LOCK2 0 &inode->i_lock
HALF_LOCKED2 0 &inode->i_rwsem
TYPE_LOCK (struct inode)->i_lock

fs/nfs/inode.c nfs_wcc_update_inode() -> inode_set_iversion_raw()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
BUF_SIZE 0 inode (-1),1-s32max
BUF_SIZE 0 inode (-1),1-s32max
DATA_SOURCE 0 inode $0
STR_LEN 0 inode (-1),1-24,26-27,29,31-34,63,99,115,254-255
STR_LEN 0 inode (-1),1-24,26-27,29,31-34,63,99,115,254-255
NOSPEC 0 inode->i_mode
NOSPEC 0 inode->i_size
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 inode->__i_nlink 1-u32max
USER_DATA 0 inode->i_blocks 0-18014398509481983,18428729675200069632-u64max
USER_DATA 0 inode->i_bytes 0-511[c]
USER_DATA 0 inode->i_ino 0-u64max
USER_DATA 0 inode->i_mode 0-u16max
USER_DATA 0 inode->i_rdev 0-u32max[c]
USER_DATA 0 inode->i_size (-9223372036854775807)-(-4),0-s64max
USER_DATA 1 val 0-4611686021648613375[c]
NO_OVERFLOW_SIMPLE 0 inode->i_blkbits
NO_OVERFLOW_SIMPLE 0 inode->i_data.host->i_size
NO_OVERFLOW_SIMPLE 0 inode->i_linklen
NO_OVERFLOW_SIMPLE 0 inode->i_mapping->host->i_size
NO_OVERFLOW_SIMPLE 0 inode->i_sb->s_blocksize
NO_OVERFLOW_SIMPLE 0 inode->i_sb->s_blocksize_bits
LOCK2 0 &inode->i_lock
HALF_LOCKED2 0 &inode->i_rwsem
TYPE_LOCK (struct inode)->i_lock

fs/btrfs/delayed-inode.c inode_set_iversion_queried() -> inode_set_iversion_raw()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 1 val 1,3-u64max
BUF_SIZE 0 inode 1160
DATA_SOURCE 0 inode $0
BIT_INFO 1 val 0x1,0xffffffffffffffff
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &delayed_node->mutex
TYPE_LOCK (struct btrfs_delayed_node)->mutex

fs/btrfs/inode.c inode_set_iversion_queried() -> inode_set_iversion_raw()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 1 val 1,3-u64max
BUF_SIZE 0 inode 1160
DATA_SOURCE 0 inode $0
BIT_INFO 1 val 0x1,0xffffffffffffffff
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/ocfs2/inode.c inode_set_iversion() -> inode_set_iversion_raw()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 1 val 2
BUF_SIZE 0 inode (-1),1-s32max
BUF_SIZE 0 inode (-1),1-s32max
DATA_SOURCE 0 inode $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 inode->__i_nlink 1-u32max
USER_DATA 0 inode->i_blocks 0-18014398509481983,18428729675200069632-u64max
USER_DATA 0 inode->i_bytes 0-511[c]
USER_DATA 0 inode->i_ino 0-u64max
USER_DATA 0 inode->i_mode 0-u16max[c]
USER_DATA 0 inode->i_rdev 0-u32max[c]
USER_DATA 0 inode->i_sb->s_flags 0-2147553280[c]
NO_OVERFLOW_SIMPLE 0 inode->i_blkbits
NO_OVERFLOW_SIMPLE 0 inode->i_mapping->host->i_size
NO_OVERFLOW_SIMPLE 0 inode->i_sb->s_blocksize
NO_OVERFLOW_SIMPLE 0 inode->i_sb->s_blocksize_bits
NO_OVERFLOW_SIMPLE 0 inode->i_size

fs/ext4/inode.c ext4_inode_set_iversion_queried() -> inode_set_iversion_raw()

Type Parameter Key Value
DATA_SOURCE 0 inode $0
DATA_SOURCE 1 val $1
NOCHECK_CALL

fs/ext4/inode.c inode_set_iversion_queried() -> inode_set_iversion_raw()

Type Parameter Key Value
PARAM_VALUE 1 val 1,3-u64max
DATA_SOURCE 0 inode $0
BIT_INFO 1 val 0x1,0xffffffffffffffff
NOCHECK_CALL

fs/exfat/inode.c inode_set_iversion() -> inode_set_iversion_raw()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 1 val 2
CAPPED_DATA 0 inode->i_ino 1
DATA_SOURCE 0 inode $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 inode->i_blkbits
NO_OVERFLOW_SIMPLE 0 inode->i_sb->s_blocksize
NO_OVERFLOW_SIMPLE 0 inode->i_sb->s_blocksize_bits

fs/ext4/xattr.c ext4_xattr_inode_set_ref() -> inode_set_iversion_raw()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 1 val 0-u32max
BUF_SIZE 0 inode->i_fop (-1),272
BUF_SIZE 0 inode->i_op (-1),256
DATA_SOURCE 0 inode $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 inode->i_size 1-65536[c][u]
NO_OVERFLOW_SIMPLE 0 inode->i_mapping->host->i_bytes
NO_OVERFLOW_SIMPLE 0 inode->i_mapping->host->i_size
HALF_LOCKED2 0 &inode->i_rwsem

fs/exfat/super.c inode_set_iversion() -> inode_set_iversion_raw()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 1 val 2
BUF_SIZE 0 inode->i_sb (-1),2880
DATA_SOURCE 0 inode $0
STR_LEN 0 inode->i_sb (-1),8
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 inode->i_sb->s_flags 0-u64max[c]
NO_OVERFLOW_SIMPLE 0 inode->i_blkbits
NO_OVERFLOW_SIMPLE 0 inode->i_sb->s_blocksize
NO_OVERFLOW_SIMPLE 0 inode->i_sb->s_blocksize_bits
HALF_LOCKED2 &fc->uapi_mutex

fs/ceph/inode.c ceph_set_ino_cb() -> inode_set_iversion_raw()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 1 val 0
BUF_SIZE 0 inode (-1),1-s32max
BUF_SIZE 0 inode (-1),1-s32max
BUF_SIZE 0 inode->i_sb (-1),80,2816,2880
DATA_SOURCE 0 inode $0
STR_LEN 0 inode->i_sb (-1),7-8
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 inode->i_mode 0-u16max[c]
USER_DATA 0 inode->i_sb->s_flags 0-u64max[c]
NO_OVERFLOW_SIMPLE 0 inode->i_blkbits
NO_OVERFLOW_SIMPLE 0 inode->i_mapping->host->i_bytes
NO_OVERFLOW_SIMPLE 0 inode->i_mapping->host->i_size
NO_OVERFLOW_SIMPLE 0 inode->i_sb->s_blocksize
NO_OVERFLOW_SIMPLE 0 inode->i_sb->s_blocksize_bits
NO_OVERFLOW_SIMPLE 0 inode->i_size
LOCK2 global &inode_hash_lock

fs/affs/super.c inode_set_iversion() -> inode_set_iversion_raw()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 1 val 2
DATA_SOURCE 0 inode $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &sb->s_fs_info->bitmap_lock
HALF_LOCKED2 &sb->s_fs_info->hpfs_mutex
HALF_LOCKED2 &sb->s_root->d_lockref.lock
HALF_LOCKED2 &sb->s_umount

fs/ext2/super.c inode_set_iversion() -> inode_set_iversion_raw()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 1 val 2
DATA_SOURCE 0 inode $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &sb->s_fs_info->bitmap_lock
HALF_LOCKED2 &sb->s_fs_info->hpfs_mutex
HALF_LOCKED2 &sb->s_root->d_lockref.lock
HALF_LOCKED2 &sb->s_umount

fs/xfs/libxfs/xfs_inode_buf.c inode_set_iversion_queried() -> inode_set_iversion_raw()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 1 val 1,3-u64max
BUF_SIZE 0 inode 1160
DATA_SOURCE 0 inode $0
BIT_INFO 1 val 0x1,0xffffffffffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/fat/inode.c inode_set_iversion() -> inode_set_iversion_raw()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 1 val 2
BUF_SIZE 0 inode->i_sb (-1),2880
DATA_SOURCE 0 inode $0
STR_LEN 0 inode->i_sb (-1),8
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 inode->i_sb->s_flags 0-u64max[c]
NO_OVERFLOW_SIMPLE 0 inode->i_blkbits
NO_OVERFLOW_SIMPLE 0 inode->i_sb->s_blocksize
NO_OVERFLOW_SIMPLE 0 inode->i_sb->s_blocksize_bits

fs/udf/super.c inode_set_iversion() -> inode_set_iversion_raw()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 1 val 2
DATA_SOURCE 0 inode $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &sb->s_fs_info->bitmap_lock
HALF_LOCKED2 &sb->s_fs_info->hpfs_mutex
HALF_LOCKED2 &sb->s_root->d_lockref.lock
HALF_LOCKED2 &sb->s_umount

fs/xfs/libxfs/xfs_inode_util.c inode_set_iversion() -> inode_set_iversion_raw()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 1 val 2
BUF_SIZE 0 inode 1160
DATA_SOURCE 0 inode $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 inode->i_mode 0-u16max[c]
USER_DATA 0 inode->i_rdev 0-u32max[c]

fs/nfs/nfs4proc.c nfs4_update_changeattr_locked() -> inode_set_iversion_raw()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
DATA_SOURCE 0 inode $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 inode->i_mode 0-u16max
USER_DATA 0 inode->i_size (-9223372036854775807)-(-4),0-s64max
LOCK2 0 &inode->i_lock
HALF_LOCKED2 0 &inode->i_rwsem
TYPE_LOCK (struct inode)->i_lock

fs/ext4/ioctl.c inode_set_iversion() -> inode_set_iversion_raw()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 1 val 2
CAPPED_DATA 0 inode 1
CAPPED_DATA 0 inode->i_data.i_pages.xa_head 1
DATA_SOURCE 0 inode $0
CAPABLE 0 21
NOCHECK_CALL
LOCK2 &inode->i_mapping->invalidate_lock
TYPE_LOCK (struct address_space)->invalidate_lock

fs/ntfs/namei.c inode_set_iversion() -> inode_set_iversion_raw()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 1 val 2
CAPPED_DATA 0 inode->i_sb->s_time_max 1
DATA_SOURCE 0 inode $0
BIT_INFO 0 inode->i_flags 0x0,0x1000
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 inode->i_mode 0-u16max
NO_OVERFLOW_SIMPLE 0 inode->i_blkbits
NO_OVERFLOW_SIMPLE 0 inode->i_sb->s_blocksize
NO_OVERFLOW_SIMPLE 0 inode->i_sb->s_blocksize_bits

fs/xfs/xfs_icache.c inode_set_iversion_queried() -> inode_set_iversion_raw()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 1 val 1,3-u64max
BUF_SIZE 0 inode 1160
DATA_SOURCE 0 inode $0
BIT_INFO 1 val 0x1,0xffffffffffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 inode->i_blkbits
NO_OVERFLOW_SIMPLE 0 inode->i_sb->s_blocksize
NO_OVERFLOW_SIMPLE 0 inode->i_sb->s_blocksize_bits

fs/afs/dir.c afs_rename_success() -> inode_set_iversion_raw()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &vnode->cb_lock.lock
HALF_LOCKED2 &dvnode->rmdir_lock
HALF_LOCKED2 &target->i_rwsem
TYPE_LOCK (struct seqlock)->lock

fs/afs/dir.c afs_rename_success() -> inode_set_iversion_raw()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &new_vnode->cb_lock.lock
HALF_LOCKED2 &dvnode->rmdir_lock
HALF_LOCKED2 &target->i_rwsem
TYPE_LOCK (struct seqlock)->lock

fs/afs/dir_edit.c afs_edit_dir_remove() -> inode_set_iversion_raw()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
CAPPED_DATA 1 val 1
CAPPED_DATA 1 val 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dvnode->rmdir_lock
HALF_LOCKED2 &target->i_rwsem
HALF_LOCKED2 &vnode->validate_lock
TYPE_LOCK (struct afs_vnode)->validate_lock

fs/afs/dir_edit.c afs_edit_dir_update() -> inode_set_iversion_raw()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dvnode->rmdir_lock
HALF_LOCKED2 &new_dvnode->validate_lock
HALF_LOCKED2 &new_dvnode->validate_lock
HALF_LOCKED2 &target->i_rwsem
HALF_LOCKED2 &vnode->validate_lock
TYPE_LOCK (struct afs_vnode)->validate_lock

fs/ext4/super.c inode_set_iversion() -> inode_set_iversion_raw()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 1 val 2
DATA_SOURCE 0 inode $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &sb->s_fs_info->bitmap_lock
HALF_LOCKED2 &sb->s_fs_info->hpfs_mutex
HALF_LOCKED2 &sb->s_root->d_lockref.lock
HALF_LOCKED2 &sb->s_umount