Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/gfs2/bmap.c trunc_start() -> gfs2_journaled_truncate()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 0 inode->i_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 inode->i_sb 4096-ptr_max
PARAM_VALUE 0 inode->i_sb->s_cop->inode_info_offs 1632,1808,2632,2648
PARAM_VALUE 0 inode->i_size 0-s64max
PARAM_VALUE 1 oldsize 1-u64max
PARAM_VALUE 2 newsize 0-9223372036854775807
CAPPED_DATA 2 newsize 1
CAPPED_DATA 2 newsize 1
DATA_SOURCE 0 inode $0
DATA_SOURCE 2 newsize $1
CONSTRAINT 2 newsize <3994
BIT_INFO 1 oldsize 0x0,0x7fffffffffffffff
BIT_INFO 1 oldsize 0x0,0x7fffffffffffffff
NOSPEC 0 inode->i_size
NOSPEC 2 newsize
NOSPEC 2 newsize
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 inode->i_mode 0-u16max
USER_DATA 0 inode->i_size 1-s64max[c]
USER_DATA 1 oldsize 1-9223372036854775807,9223372036854775809-18446744073709551612
USER_DATA 2 newsize 0-9223372036854775807[c]
UNITS 2 newsize unit_byte
LOCK2 &sdp->sd_log_flush_lock
HALF_LOCKED2 &dentry->d_inode->i_rwsem
HALF_LOCKED2 &dentry->d_lockref.lock
HALF_LOCKED2 &inode->i_rwsem
TYPE_LOCK (struct gfs2_sbd)->sd_log_flush_lock