Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/f2fs/compress.c cluster_may_compress() -> cluster_has_invalid_data()

Type Parameter Key Value
PARAM_VALUE 0 cc 1922723821419765760
PARAM_VALUE 0 cc->cluster_idx 0-4294967294,4294967296-u64max
PARAM_VALUE 0 cc->cluster_size 1-u32max
PARAM_VALUE 0 cc->cpages 0
PARAM_VALUE 0 cc->inode 4096-ptr_max
PARAM_VALUE 0 cc->inode->i_sb 4096-ptr_max
PARAM_VALUE 0 cc->log_cluster_size 0-255
PARAM_VALUE 0 cc->nr_cpages 0
PARAM_VALUE 0 cc->nr_rpages 1-u32max
PARAM_VALUE 0 cc->private2 0,4096-ptr_max
PARAM_VALUE 0 cc->rpages 4096-ptr_max
PARAM_VALUE 0 cc->valid_nr_cpages 0
PARAM_VALUE 0 cc->vi 0
CAPPED_DATA 0 cc->cluster_size 1
CAPPED_DATA 0 cc->nr_rpages 1
DATA_SOURCE 0 cc $0
PARAM_COMPARE 0 cc->cluster_size == $0->nr_rpages
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &mapping->invalidate_lock
HALF_LOCKED2 &sbi->writepages