Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/btrfs/tests/free-space-tree-tests.c check_free_space_extents() -> __check_free_space_extents()

Type Parameter Key Value
PARAM_VALUE 0 trans 8795661454641401856
PARAM_VALUE 0 trans->fs_info->commit_root_sem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 trans->fs_info->commit_root_sem.first_waiter->type 0-1
PARAM_VALUE 0 trans->fs_info->tree_root->node->lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 trans->fs_info->tree_root->node->lock.first_waiter->type 0-1
PARAM_VALUE 1 fs_info 4096-ptr_max
PARAM_VALUE 1 fs_info->block_group_root->fs_info->commit_root_sem.first_waiter->type 0-1
PARAM_VALUE 1 fs_info->chunk_root->fs_info->commit_root_sem.first_waiter->handoff_set 0-1
PARAM_VALUE 1 fs_info->chunk_root->fs_info->commit_root_sem.first_waiter->type 0-1
PARAM_VALUE 1 fs_info->commit_root_sem.first_waiter->handoff_set 0-1
PARAM_VALUE 1 fs_info->commit_root_sem.first_waiter->type 0-1
PARAM_VALUE 1 fs_info->dev_root->fs_info->commit_root_sem.first_waiter->handoff_set 0-1
PARAM_VALUE 1 fs_info->dev_root->fs_info->commit_root_sem.first_waiter->type 0-1
PARAM_VALUE 1 fs_info->global_root_lock.dep_map->name 0-255
PARAM_VALUE 1 fs_info->global_root_lock.owner (-1)
PARAM_VALUE 1 fs_info->global_root_lock.owner_cpu u32max
PARAM_VALUE 1 fs_info->quota_root->fs_info->commit_root_sem.first_waiter->handoff_set 0-1
PARAM_VALUE 1 fs_info->quota_root->fs_info->commit_root_sem.first_waiter->type 0-1
PARAM_VALUE 1 fs_info->remap_root->fs_info->commit_root_sem.first_waiter->handoff_set 0-1
PARAM_VALUE 1 fs_info->remap_root->fs_info->commit_root_sem.first_waiter->type 0-1
PARAM_VALUE 1 fs_info->stripe_root->fs_info->commit_root_sem.first_waiter->handoff_set 0-1
PARAM_VALUE 1 fs_info->stripe_root->fs_info->commit_root_sem.first_waiter->type 0-1
PARAM_VALUE 1 fs_info->tree_root 4096-ptr_max
PARAM_VALUE 1 fs_info->tree_root->alloc_bytenr 0
PARAM_VALUE 1 fs_info->tree_root->delalloc_inodes.next 4096-ptr_max
PARAM_VALUE 1 fs_info->tree_root->delalloc_inodes.prev 4096-ptr_max
PARAM_VALUE 1 fs_info->tree_root->delalloc_mutex.magic 4096-ptr_max
PARAM_VALUE 1 fs_info->tree_root->delalloc_root.next 4096-ptr_max
PARAM_VALUE 1 fs_info->tree_root->delalloc_root.prev 4096-ptr_max
PARAM_VALUE 1 fs_info->tree_root->dirty_list.next 4096-ptr_max
PARAM_VALUE 1 fs_info->tree_root->dirty_list.prev 4096-ptr_max
PARAM_VALUE 1 fs_info->tree_root->fs_info 4096-ptr_max
PARAM_VALUE 1 fs_info->tree_root->inodes.xa_flags 0
PARAM_VALUE 1 fs_info->tree_root->inodes.xa_head 0
PARAM_VALUE 1 fs_info->tree_root->leak_list.next 4096-ptr_max
PARAM_VALUE 1 fs_info->tree_root->log_mutex.magic 4096-ptr_max
PARAM_VALUE 1 fs_info->tree_root->log_transid_committed (-1)
PARAM_VALUE 1 fs_info->tree_root->log_writer_wait.head.next 4096-ptr_max
PARAM_VALUE 1 fs_info->tree_root->log_writer_wait.head.prev 4096-ptr_max
PARAM_VALUE 1 fs_info->tree_root->log_writers.counter 0
PARAM_VALUE 1 fs_info->tree_root->node->lock.first_waiter->handoff_set 0-1
PARAM_VALUE 1 fs_info->tree_root->node->lock.first_waiter->type 0-1
PARAM_VALUE 1 fs_info->tree_root->objectid_mutex.magic 4096-ptr_max
PARAM_VALUE 1 fs_info->tree_root->ordered_extent_mutex.magic 4096-ptr_max
PARAM_VALUE 1 fs_info->tree_root->ordered_extents.next 4096-ptr_max
PARAM_VALUE 1 fs_info->tree_root->ordered_extents.prev 4096-ptr_max
PARAM_VALUE 1 fs_info->tree_root->ordered_root.next 4096-ptr_max
PARAM_VALUE 1 fs_info->tree_root->ordered_root.prev 4096-ptr_max
PARAM_VALUE 1 fs_info->tree_root->qgroup_flush_wait.head.next 4096-ptr_max
PARAM_VALUE 1 fs_info->tree_root->qgroup_flush_wait.head.prev 4096-ptr_max
PARAM_VALUE 1 fs_info->tree_root->refs.refs.counter 1
PARAM_VALUE 1 fs_info->tree_root->reloc_dirty_list.next 4096-ptr_max
PARAM_VALUE 1 fs_info->tree_root->reloc_dirty_list.prev 4096-ptr_max
PARAM_VALUE 1 fs_info->tree_root->root_key.objectid 10
PARAM_VALUE 1 fs_info->tree_root->root_key.offset 0
PARAM_VALUE 1 fs_info->tree_root->root_key.type 132
PARAM_VALUE 1 fs_info->tree_root->root_list.next 4096-ptr_max
PARAM_VALUE 1 fs_info->tree_root->root_list.prev 4096-ptr_max
PARAM_VALUE 1 fs_info->uuid_root->fs_info->commit_root_sem.first_waiter->handoff_set 0-1
PARAM_VALUE 1 fs_info->uuid_root->fs_info->commit_root_sem.first_waiter->type 0-1
PARAM_VALUE 2 cache 4096-ptr_max
PARAM_VALUE 2 cache->bg_list.next 4096-ptr_max
PARAM_VALUE 2 cache->bg_list.next->next 4096-ptr_max
PARAM_VALUE 2 cache->bg_list.prev 4096-ptr_max
PARAM_VALUE 2 cache->bg_list.prev->next 4096-ptr_max
PARAM_VALUE 2 cache->bg_list.prev->prev 4096-ptr_max
PARAM_VALUE 2 cache->bitmap_high_thresh u32max
PARAM_VALUE 2 cache->bitmap_low_thresh 0
PARAM_VALUE 2 cache->cluster_list.next 4096-ptr_max
PARAM_VALUE 2 cache->cluster_list.next->next 4096-ptr_max
PARAM_VALUE 2 cache->cluster_list.prev 4096-ptr_max
PARAM_VALUE 2 cache->cluster_list.prev->next 4096-ptr_max
PARAM_VALUE 2 cache->cluster_list.prev->prev 4096-ptr_max
PARAM_VALUE 2 cache->free_space_ctl 4096-ptr_max
PARAM_VALUE 2 cache->free_space_ctl->block_group 4096-ptr_max
PARAM_VALUE 2 cache->free_space_ctl->block_group->fs_info 4096-ptr_max
PARAM_VALUE 2 cache->free_space_ctl->cache_writeout_mutex.dep_map->name 0-255
PARAM_VALUE 2 cache->free_space_ctl->cache_writeout_mutex.magic 4096-ptr_max
PARAM_VALUE 2 cache->free_space_ctl->extents_thresh 157
PARAM_VALUE 2 cache->free_space_ctl->trimming_ranges.next 4096-ptr_max
PARAM_VALUE 2 cache->free_space_ctl->trimming_ranges.next->next 4096-ptr_max
PARAM_VALUE 2 cache->free_space_ctl->trimming_ranges.prev 4096-ptr_max
PARAM_VALUE 2 cache->free_space_ctl->trimming_ranges.prev->next 4096-ptr_max
PARAM_VALUE 2 cache->free_space_ctl->trimming_ranges.prev->prev 4096-ptr_max
PARAM_VALUE 2 cache->free_space_lock.dep_map->name 0-255
PARAM_VALUE 2 cache->free_space_lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 2 cache->free_space_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 2 cache->free_space_lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 2 cache->free_space_lock.osq.tail.counter 0-s32max
PARAM_VALUE 2 cache->fs_info 4096-ptr_max
PARAM_VALUE 2 cache->fs_info->global_root_lock.dep_map->name 0-255
PARAM_VALUE 2 cache->fs_info->stripesize 4096
PARAM_VALUE 2 cache->fs_info->tree_root 4096-ptr_max
PARAM_VALUE 2 cache->full_stripe_len 0-u32max
PARAM_VALUE 2 cache->length 0-u32max
PARAM_VALUE 2 cache->list.next 4096-ptr_max
PARAM_VALUE 2 cache->list.next->next 4096-ptr_max
PARAM_VALUE 2 cache->list.prev 4096-ptr_max
PARAM_VALUE 2 cache->list.prev->next 4096-ptr_max
PARAM_VALUE 2 cache->list.prev->prev 4096-ptr_max
PARAM_VALUE 2 cache->start 0
PARAM_VALUE 3 path 4096-ptr_max
PARAM_VALUE 3 path->nodes 4096-ptr_max
PARAM_VALUE 3 *path->locks 0-255
PARAM_VALUE 3 *path->nodes 0
PARAM_VALUE 3 *path->slots s32min-s32max
PARAM_VALUE 4 extents 4096-ptr_max
PARAM_VALUE 5 num_extents 0-3
BUF_SIZE 1 fs_info 11312
BUF_SIZE 1 fs_info->tree_root 2888
BUF_SIZE 2 cache 992
BUF_SIZE 2 cache 992
BUF_SIZE 2 cache->fs_info 11312
BUF_SIZE 4 extents (-1),32,48
BUF_SIZE 4 extents (-1),32,48
CAPPED_DATA 2 cache->full_stripe_len 1
CAPPED_DATA 2 cache->length 1
CAPPED_DATA 3 path 1
DATA_SOURCE 0 trans $0
DATA_SOURCE 1 fs_info $1
DATA_SOURCE 2 cache $2
DATA_SOURCE 3 path $3
DATA_SOURCE 4 extents $4
DATA_SOURCE 5 num_extents $5
TERMINATED 2 cache->fs_info->btrfs_ordered_extent_map.name 1
TERMINATED 2 cache->fs_info->btrfs_trans_num_extwriters_map.name 1
TERMINATED 2 cache->fs_info->btrfs_trans_num_writers_map.name 1
TERMINATED 2 cache->fs_info->btrfs_trans_pending_ordered_map.name 1
HARD_MAX 5 num_extents 3
MEM_ZERO 0 trans
NO_OVERFLOW_SIMPLE 2 cache->fs_info->nodesize
NO_OVERFLOW_SIMPLE 2 cache->fs_info->sectorsize
NO_OVERFLOW_SIMPLE 2 cache->full_stripe_len
UNITS 1 fs_info unit_byte
UNITS 5 num_extents unit_array_size

fs/btrfs/tests/free-space-tree-tests.c check_free_space_extents() -> __check_free_space_extents()

Type Parameter Key Value
PARAM_VALUE 0 trans 8795661454641401856
PARAM_VALUE 0 trans->fs_info->commit_root_sem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 trans->fs_info->commit_root_sem.first_waiter->type 0-1
PARAM_VALUE 0 trans->fs_info->tree_root->node->lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 trans->fs_info->tree_root->node->lock.first_waiter->type 0-1
PARAM_VALUE 1 fs_info 4096-ptr_max
PARAM_VALUE 1 fs_info->block_group_root->fs_info->commit_root_sem.first_waiter->type 0-1
PARAM_VALUE 1 fs_info->chunk_root->fs_info->commit_root_sem.first_waiter->handoff_set 0-1
PARAM_VALUE 1 fs_info->chunk_root->fs_info->commit_root_sem.first_waiter->type 0-1
PARAM_VALUE 1 fs_info->commit_root_sem.first_waiter->handoff_set 0-1
PARAM_VALUE 1 fs_info->commit_root_sem.first_waiter->type 0-1
PARAM_VALUE 1 fs_info->dev_root->fs_info->commit_root_sem.first_waiter->handoff_set 0-1
PARAM_VALUE 1 fs_info->dev_root->fs_info->commit_root_sem.first_waiter->type 0-1
PARAM_VALUE 1 fs_info->global_root_lock.dep_map->name 0-255
PARAM_VALUE 1 fs_info->global_root_lock.owner (-1)
PARAM_VALUE 1 fs_info->global_root_lock.owner_cpu u32max
PARAM_VALUE 1 fs_info->quota_root->fs_info->commit_root_sem.first_waiter->handoff_set 0-1
PARAM_VALUE 1 fs_info->quota_root->fs_info->commit_root_sem.first_waiter->type 0-1
PARAM_VALUE 1 fs_info->remap_root->fs_info->commit_root_sem.first_waiter->handoff_set 0-1
PARAM_VALUE 1 fs_info->remap_root->fs_info->commit_root_sem.first_waiter->type 0-1
PARAM_VALUE 1 fs_info->stripe_root->fs_info->commit_root_sem.first_waiter->handoff_set 0-1
PARAM_VALUE 1 fs_info->stripe_root->fs_info->commit_root_sem.first_waiter->type 0-1
PARAM_VALUE 1 fs_info->tree_root 4096-ptr_max
PARAM_VALUE 1 fs_info->tree_root->alloc_bytenr 0
PARAM_VALUE 1 fs_info->tree_root->delalloc_inodes.next 4096-ptr_max
PARAM_VALUE 1 fs_info->tree_root->delalloc_inodes.prev 4096-ptr_max
PARAM_VALUE 1 fs_info->tree_root->delalloc_mutex.magic 4096-ptr_max
PARAM_VALUE 1 fs_info->tree_root->delalloc_root.next 4096-ptr_max
PARAM_VALUE 1 fs_info->tree_root->delalloc_root.prev 4096-ptr_max
PARAM_VALUE 1 fs_info->tree_root->dirty_list.next 4096-ptr_max
PARAM_VALUE 1 fs_info->tree_root->dirty_list.prev 4096-ptr_max
PARAM_VALUE 1 fs_info->tree_root->fs_info 4096-ptr_max
PARAM_VALUE 1 fs_info->tree_root->inodes.xa_flags 0
PARAM_VALUE 1 fs_info->tree_root->inodes.xa_head 0
PARAM_VALUE 1 fs_info->tree_root->leak_list.next 4096-ptr_max
PARAM_VALUE 1 fs_info->tree_root->log_mutex.magic 4096-ptr_max
PARAM_VALUE 1 fs_info->tree_root->log_transid_committed (-1)
PARAM_VALUE 1 fs_info->tree_root->log_writer_wait.head.next 4096-ptr_max
PARAM_VALUE 1 fs_info->tree_root->log_writer_wait.head.prev 4096-ptr_max
PARAM_VALUE 1 fs_info->tree_root->log_writers.counter 0
PARAM_VALUE 1 fs_info->tree_root->node->lock.first_waiter->handoff_set 0-1
PARAM_VALUE 1 fs_info->tree_root->node->lock.first_waiter->type 0-1
PARAM_VALUE 1 fs_info->tree_root->objectid_mutex.magic 4096-ptr_max
PARAM_VALUE 1 fs_info->tree_root->ordered_extent_mutex.magic 4096-ptr_max
PARAM_VALUE 1 fs_info->tree_root->ordered_extents.next 4096-ptr_max
PARAM_VALUE 1 fs_info->tree_root->ordered_extents.prev 4096-ptr_max
PARAM_VALUE 1 fs_info->tree_root->ordered_root.next 4096-ptr_max
PARAM_VALUE 1 fs_info->tree_root->ordered_root.prev 4096-ptr_max
PARAM_VALUE 1 fs_info->tree_root->qgroup_flush_wait.head.next 4096-ptr_max
PARAM_VALUE 1 fs_info->tree_root->qgroup_flush_wait.head.prev 4096-ptr_max
PARAM_VALUE 1 fs_info->tree_root->refs.refs.counter 1
PARAM_VALUE 1 fs_info->tree_root->reloc_dirty_list.next 4096-ptr_max
PARAM_VALUE 1 fs_info->tree_root->reloc_dirty_list.prev 4096-ptr_max
PARAM_VALUE 1 fs_info->tree_root->root_key.objectid 10
PARAM_VALUE 1 fs_info->tree_root->root_key.offset 0
PARAM_VALUE 1 fs_info->tree_root->root_key.type 132
PARAM_VALUE 1 fs_info->tree_root->root_list.next 4096-ptr_max
PARAM_VALUE 1 fs_info->tree_root->root_list.prev 4096-ptr_max
PARAM_VALUE 1 fs_info->uuid_root->fs_info->commit_root_sem.first_waiter->handoff_set 0-1
PARAM_VALUE 1 fs_info->uuid_root->fs_info->commit_root_sem.first_waiter->type 0-1
PARAM_VALUE 2 cache 4096-ptr_max
PARAM_VALUE 2 cache->bg_list.next 4096-ptr_max
PARAM_VALUE 2 cache->bg_list.next->next 4096-ptr_max
PARAM_VALUE 2 cache->bg_list.prev 4096-ptr_max
PARAM_VALUE 2 cache->bg_list.prev->next 4096-ptr_max
PARAM_VALUE 2 cache->bg_list.prev->prev 4096-ptr_max
PARAM_VALUE 2 cache->bitmap_high_thresh u32max
PARAM_VALUE 2 cache->bitmap_low_thresh 0
PARAM_VALUE 2 cache->cluster_list.next 4096-ptr_max
PARAM_VALUE 2 cache->cluster_list.next->next 4096-ptr_max
PARAM_VALUE 2 cache->cluster_list.prev 4096-ptr_max
PARAM_VALUE 2 cache->cluster_list.prev->next 4096-ptr_max
PARAM_VALUE 2 cache->cluster_list.prev->prev 4096-ptr_max
PARAM_VALUE 2 cache->free_space_ctl 4096-ptr_max
PARAM_VALUE 2 cache->free_space_ctl->block_group 4096-ptr_max
PARAM_VALUE 2 cache->free_space_ctl->block_group->fs_info 4096-ptr_max
PARAM_VALUE 2 cache->free_space_ctl->cache_writeout_mutex.dep_map->name 0-255
PARAM_VALUE 2 cache->free_space_ctl->cache_writeout_mutex.magic 4096-ptr_max
PARAM_VALUE 2 cache->free_space_ctl->extents_thresh 157
PARAM_VALUE 2 cache->free_space_ctl->trimming_ranges.next 4096-ptr_max
PARAM_VALUE 2 cache->free_space_ctl->trimming_ranges.next->next 4096-ptr_max
PARAM_VALUE 2 cache->free_space_ctl->trimming_ranges.prev 4096-ptr_max
PARAM_VALUE 2 cache->free_space_ctl->trimming_ranges.prev->next 4096-ptr_max
PARAM_VALUE 2 cache->free_space_ctl->trimming_ranges.prev->prev 4096-ptr_max
PARAM_VALUE 2 cache->free_space_lock.dep_map->name 0-255
PARAM_VALUE 2 cache->free_space_lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 2 cache->free_space_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 2 cache->free_space_lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 2 cache->free_space_lock.osq.tail.counter 0-s32max
PARAM_VALUE 2 cache->fs_info 4096-ptr_max
PARAM_VALUE 2 cache->fs_info->global_root_lock.dep_map->name 0-255
PARAM_VALUE 2 cache->fs_info->sb->s_cop->inode_info_offs 1632,1720,1808,2632,2648
PARAM_VALUE 2 cache->fs_info->stripesize 4096
PARAM_VALUE 2 cache->fs_info->tree_root 4096-ptr_max
PARAM_VALUE 2 cache->full_stripe_len 0-u32max
PARAM_VALUE 2 cache->length 0-u32max
PARAM_VALUE 2 cache->list.next 4096-ptr_max
PARAM_VALUE 2 cache->list.next->next 4096-ptr_max
PARAM_VALUE 2 cache->list.prev 4096-ptr_max
PARAM_VALUE 2 cache->list.prev->next 4096-ptr_max
PARAM_VALUE 2 cache->list.prev->prev 4096-ptr_max
PARAM_VALUE 2 cache->start 0
PARAM_VALUE 3 path 4096-ptr_max
PARAM_VALUE 3 path->nodes 4096-ptr_max
PARAM_VALUE 3 *path->locks 0-255
PARAM_VALUE 3 *path->slots s32min-s32max
PARAM_VALUE 4 extents 4096-ptr_max
PARAM_VALUE 5 num_extents 0-3
BUF_SIZE 1 fs_info 11312
BUF_SIZE 1 fs_info->tree_root 2888
BUF_SIZE 2 cache 992
BUF_SIZE 2 cache 992
BUF_SIZE 2 cache->fs_info 11312
BUF_SIZE 4 extents (-1),32,48
BUF_SIZE 4 extents (-1),32,48
CAPPED_DATA 2 cache->full_stripe_len 1
CAPPED_DATA 2 cache->length 1
CAPPED_DATA 3 path 1
CAPPED_DATA 5 num_extents 1
DATA_SOURCE 0 trans $0
DATA_SOURCE 1 fs_info $1
DATA_SOURCE 2 cache $2
DATA_SOURCE 3 path $3
DATA_SOURCE 4 extents $4
DATA_SOURCE 5 num_extents $5
TERMINATED 2 cache->fs_info->btrfs_ordered_extent_map.name 1
TERMINATED 2 cache->fs_info->btrfs_trans_num_extwriters_map.name 1
TERMINATED 2 cache->fs_info->btrfs_trans_num_writers_map.name 1
TERMINATED 2 cache->fs_info->btrfs_trans_pending_ordered_map.name 1
HARD_MAX 5 num_extents 3
MEM_ZERO 0 trans
NO_OVERFLOW_SIMPLE 2 cache->fs_info->nodesize
NO_OVERFLOW_SIMPLE 2 cache->fs_info->sectorsize
NO_OVERFLOW_SIMPLE 2 cache->full_stripe_len
UNITS 1 fs_info unit_byte
UNITS 5 num_extents unit_array_size