Open Menu /

Documented in 1 files:

Defined in 1 files as a function:

Referenced in 12 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 1 val 1
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_umount

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

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 1 val 1
BUF_SIZE 0 inode (-1)-s32max
BUF_SIZE 0 inode (-1)-s32max
CAPPED_DATA 0 inode 1
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-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_sb->s_blocksize
NO_OVERFLOW_SIMPLE 0 inode->i_sb->s_blocksize_bits

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

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 1 val 1
CAPPED_DATA 0 inode->i_ino 1
DATA_SOURCE 0 inode r new_inode
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/exfat/super.c exfat_fill_super() -> inode_set_iversion()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 1 val 1
BUF_SIZE 0 inode->i_sb (-1),2880
DATA_SOURCE 0 inode r new_inode
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/affs/super.c affs_alloc_inode() -> inode_set_iversion()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 1 val 1
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_umount

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

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 1 val 1
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_umount

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

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 1 val 1
CAPPED_DATA 0 inode->i_ino 1
DATA_SOURCE 0 inode r new_inode
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/fat/inode.c fat_fill_super() -> inode_set_iversion()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 1 val 1
BUF_SIZE 0 inode->i_sb (-1),2880
DATA_SOURCE 0 inode r new_inode
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/udf/super.c udf_alloc_inode() -> inode_set_iversion()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 1 val 1
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_umount

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

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 1 val 1
BUF_SIZE 0 inode 1160
DATA_SOURCE 0 inode r VFS_I
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/ext4/ioctl.c swap_inode_boot_loader() -> inode_set_iversion()

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

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

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 1 val 1
CAPPED_DATA 0 inode->i_sb->s_time_max 1
DATA_SOURCE 0 inode r new_inode
PARAM_COMPARE 0 inode->i_sb->s_time_max >= $0->i_sb->s_time_min
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/ext4/super.c ext4_alloc_inode() -> inode_set_iversion()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 1 val 1
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_umount