Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 17 files:

Smatch caller information:

fs/hfs/extent.c hfs_file_truncate() -> inode_set_bytes()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
BUF_SIZE 0 inode (-1)-s32max
BUF_SIZE 0 inode (-1)-s32max
CAPPED_DATA 0 inode->i_size 1
DATA_SOURCE 0 inode $0
NOSPEC 0 inode->i_size
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 inode->i_mode 0-u16max
USER_DATA 0 inode->i_size 0-s64max[c]
NO_OVERFLOW_SIMPLE 0 inode->i_blkbits
NO_OVERFLOW_SIMPLE 0 inode->i_bytes
NO_OVERFLOW_SIMPLE 0 inode->i_ino
NO_OVERFLOW_SIMPLE 0 inode->i_linklen
NO_OVERFLOW_SIMPLE 0 inode->i_sb->s_blocksize
NO_OVERFLOW_SIMPLE 0 inode->i_sb->s_blocksize_bits
HALF_LOCKED2 &(sb->s_fs_info)->ext_tree->tree_lock
HALF_LOCKED2 0 &inode->i_rwsem

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

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

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

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
BUF_SIZE 0 inode 1160
DATA_SOURCE 0 inode r AFS_VNODE_TO_I
BIT_INFO 0 inode->i_flags 0x2,0xffffffffffffffff
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/file.c afs_set_i_size() -> inode_set_bytes()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
BUF_SIZE 0 inode 1160
CAPPED_DATA 1 bytes 1
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &vnode->cb_lock.lock
LOCK2 0 &inode->i_lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct inode)->i_lock
TYPE_LOCK (struct seqlock)->lock

fs/ntfs3/index.c indx_create_allocate() -> inode_set_bytes()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
CAPPED_DATA 1 bytes 1
DATA_SOURCE 1 bytes r ntfs_up_cluster
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ni->ni_lock

fs/btrfs/delayed-inode.c btrfs_fill_inode() -> inode_set_bytes()

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 &delayed_node->mutex
TYPE_LOCK (struct btrfs_delayed_node)->mutex

fs/btrfs/inode.c btrfs_read_locked_inode() -> inode_set_bytes()

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

fs/btrfs/inode.c btrfs_symlink() -> inode_set_bytes()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 0 inode->i_blocks 0
PARAM_VALUE 0 inode->i_bytes 0
PARAM_VALUE 1 bytes 0-1010101
BUF_SIZE 0 inode->i_mapping->a_ops 144
BUF_SIZE 0 inode->i_op 256
CAPPED_DATA 1 bytes 1
DATA_SOURCE 0 inode r new_inode
DATA_SOURCE 1 bytes r __fortify_strlen
CONSTRAINT 1 bytes <4015
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
UNITS 1 bytes unit_byte

drivers/dma-buf/dma-buf.c dma_buf_getfile() -> inode_set_bytes()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
CAPPED_DATA 0 inode->i_sb->s_time_max 1
DATA_SOURCE 0 inode r alloc_anon_inode
DATA_SOURCE 1 bytes $0
BIT_INFO 0 inode->i_flags 0x80200,0xffffffffffffffff
NOSPEC 0 inode->i_size
NOSPEC 1 bytes
NOSPEC 1 bytes
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 inode->i_size s64min-s64max
USER_DATA 1 bytes s64min-s64max
UNITS 1 bytes unit_byte
HALF_LOCKED2 &dev->object_name_lock
HALF_LOCKED2 &file_priv->prime.lock
HALF_LOCKED2 &mdev_state->ops_lock
HALF_LOCKED2 &prime->mutex
HALF_LOCKED2 _T->lock

fs/ntfs3/attrib.c attr_collapse_range() -> inode_set_bytes()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 bytes unit_byte
LOCK2 &inode->i_rwsem
LOCK2 &ni->base->ni_lock
LOCK2 &ni->file.run_lock
HALF_LOCKED2 &mapping->invalidate_lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct inode)->i_rwsem
TYPE_LOCK (struct ntfs_inode)->file.run_lock
TYPE_LOCK (struct ntfs_inode)->ni_lock

fs/ntfs3/attrib.c attr_punch_hole() -> inode_set_bytes()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 bytes unit_byte
LOCK2 &inode->i_rwsem
LOCK2 &ni->base->ni_lock
LOCK2 &ni->file.run_lock
HALF_LOCKED2 &mapping->invalidate_lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct inode)->i_rwsem
TYPE_LOCK (struct ntfs_inode)->file.run_lock
TYPE_LOCK (struct ntfs_inode)->ni_lock

fs/hfs/btree.c hfs_bmap_reserve() -> inode_set_bytes()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &(sb->s_fs_info)->cat_tree->tree_lock

fs/orangefs/orangefs-utils.c orangefs_inode_getattr() -> inode_set_bytes()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 1 bytes 4096
BUF_SIZE 0 inode (-1)-s32max
BUF_SIZE 0 inode (-1)-s32max
DATA_SOURCE 0 inode $0
NOSPEC 0 inode->i_mode
PREEMPT_ADD <- disables preempt
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_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
UNITS 1 bytes unit_byte
LOCK2 0 &inode->i_lock
HALF_LOCKED2 0 &inode->i_rwsem
TYPE_LOCK (struct inode)->i_lock

fs/hfsplus/extents.c hfsplus_file_truncate() -> inode_set_bytes()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
BUF_SIZE 0 inode (-1)-s32max
BUF_SIZE 0 inode (-1)-s32max
CAPPED_DATA 0 inode 1
CAPPED_DATA 0 inode->i_size 1
DATA_SOURCE 0 inode $0
NOSPEC 0 inode->i_size
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 inode->i_mode 0-u16max
USER_DATA 0 inode->i_sb->s_flags 0-u64max[c]
USER_DATA 0 inode->i_size s64min-s64max[c]
NO_OVERFLOW_SIMPLE 0 inode->i_blkbits
NO_OVERFLOW_SIMPLE 0 inode->i_bytes
NO_OVERFLOW_SIMPLE 0 inode->i_ino
NO_OVERFLOW_SIMPLE 0 inode->i_linklen
NO_OVERFLOW_SIMPLE 0 inode->i_sb->s_blocksize
NO_OVERFLOW_SIMPLE 0 inode->i_sb->s_blocksize_bits
HALF_LOCKED2 &fd.tree->tree_lock
HALF_LOCKED2 0 &inode->i_rwsem

fs/hfsplus/inode.c hfsplus_inode_read_fork() -> inode_set_bytes()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
CAPPED_DATA 0 inode->i_sb 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_mapping->host->i_bytes
NO_OVERFLOW_SIMPLE 0 inode->i_sb->s_blocksize
NO_OVERFLOW_SIMPLE 0 inode->i_sb->s_blocksize_bits

fs/ntfs3/inode.c ntfs_init_ads_node() -> inode_set_bytes()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 1 bytes 0-4294967295
BUF_SIZE 0 inode (-1)-s32max
BUF_SIZE 0 inode (-1)-s32max
CAPPED_DATA 0 inode 1
DATA_SOURCE 0 inode $0
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 inode->i_mapping->host->i_bytes
UNITS 1 bytes unit_byte

fs/ntfs3/inode.c ntfs_init_ads_node() -> inode_set_bytes()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
BUF_SIZE 0 inode (-1)-s32max
BUF_SIZE 0 inode (-1)-s32max
CAPPED_DATA 0 inode 1
DATA_SOURCE 0 inode $0
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 inode->i_mapping->host->i_bytes

fs/hfs/inode.c hfs_inode_read_fork() -> inode_set_bytes()

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_sb (-1),2880
CAPPED_DATA 0 inode->i_sb 1
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_nlink 1-u32max
USER_DATA 0 inode->i_ino 3-4[c]
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_bytes
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

fs/hfsplus/xattr.c hfsplus_create_attributes_file() -> inode_set_bytes()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
CAPPED_DATA 0 inode->i_sb 1
CAPPED_DATA 0 inode->i_sb->s_fs_info->total_blocks 1
DATA_SOURCE 0 inode r hfsplus_iget
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
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 1-u32max
USER_DATA 0 inode->i_sb->s_flags 0-u64max[c]
NO_OVERFLOW_SIMPLE 0 inode->i_blkbits
NO_OVERFLOW_SIMPLE 0 inode->i_bytes
NO_OVERFLOW_SIMPLE 0 inode->i_sb->s_blocksize
NO_OVERFLOW_SIMPLE 0 inode->i_sb->s_blocksize_bits
HALF_LOCKED2 &inode->i_rwsem

fs/hfsplus/btree.c hfsplus_bmap_reserve() -> inode_set_bytes()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
CAPPED_DATA 0 inode->i_sb->s_fs_info->total_blocks 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &sbi->vh_mutex