Defined in 1 files as a function:

Referenced in 5 files:

Smatch caller information:

fs/btrfs/tree-log.c replay_one_name() -> btrfs_i_size_write()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
DATA_SOURCE 0 inode r btrfs_iget_logging
NOCHECK_CALL

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

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

fs/btrfs/inode.c __btrfs_unlink_inode() -> btrfs_i_size_write()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
DATA_SOURCE 0 inode $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 inode->vfs_inode.i_mapping->host->i_size
NO_OVERFLOW_SIMPLE 0 inode->vfs_inode.i_size
HALF_LOCKED2 &target->i_rwsem

fs/btrfs/inode.c btrfs_add_link() -> btrfs_i_size_write()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
DATA_SOURCE 0 inode $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 inode->vfs_inode.i_bytes

fs/btrfs/inode.c btrfs_evict_inode() -> btrfs_i_size_write()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 1 size 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

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

fs/btrfs/inode.c btrfs_rmdir() -> btrfs_i_size_write()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 1 size 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &dentry->d_inode->i_rwsem
HALF_LOCKED2 &dentry->d_lockref.lock
HALF_LOCKED2 &dentry->d_sb->s_vfs_rename_mutex
HALF_LOCKED2 &dir->d_inode->i_rwsem
HALF_LOCKED2 &vfs_dir->i_rwsem
TYPE_LOCK (struct inode)->i_rwsem

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

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 1 size 0-1010101
CAPPED_DATA 1 size 1
DATA_SOURCE 1 size r __fortify_strlen
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 size unit_byte

fs/btrfs/inode.c btrfs_unlink_subvol() -> btrfs_i_size_write()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
DATA_SOURCE 0 inode $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 inode->vfs_inode.i_size
HALF_LOCKED2 &dentry->d_inode->i_rwsem
HALF_LOCKED2 &dentry->d_lockref.lock
HALF_LOCKED2 &dentry->d_sb->s_vfs_rename_mutex
HALF_LOCKED2 &fs_info->subvol_sem

fs/btrfs/free-space-cache.c btrfs_truncate_free_space_cache() -> btrfs_i_size_write()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 1 size 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &fs_info->cleaner_mutex
HALF_LOCKED2 &trans->transaction->cache_write_mutex