Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

fs/ext4/inode.c ext4_journalled_write_end() -> ext4_can_truncate()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 0 inode->i_size s64min-9223372036854775806
CAPPED_DATA 0 inode->i_size 1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &inode->i_rwsem

fs/ext4/inode.c ext4_write_begin() -> ext4_can_truncate()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 0 inode->i_sb 4096-ptr_max
PARAM_VALUE 0 inode->i_size s64min-9223372036854775806
CAPPED_DATA 0 inode->i_sb 1
CAPPED_DATA 0 inode->i_size 1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &inode->i_rwsem

fs/ext4/inode.c ext4_write_end() -> ext4_can_truncate()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 0 inode->i_size s64min-9223372036854775806
CAPPED_DATA 0 inode->i_size 1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &inode->i_rwsem

fs/ext4/ialloc.c ext4_orphan_get() -> ext4_can_truncate()

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

fs/ext4/inline.c ext4_write_inline_data_end() -> ext4_can_truncate()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 0 inode->i_size s64min-9223372036854775806
CAPPED_DATA 0 inode->i_size 1
DATA_SOURCE 0 inode $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &inode->i_rwsem