Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/md/dm-raid.c analyse_superblocks() -> validate_raid_redundancy()

Type Parameter Key Value
PARAM_VALUE 0 rs 4096-ptr_max
PARAM_VALUE 0 rs->delta_disks 0
PARAM_VALUE 0 rs->dev 4096-ptr_max
PARAM_VALUE 0 rs->journal_dev.rdev.same_set.next 4096-ptr_max
PARAM_VALUE 0 rs->journal_dev.rdev.same_set.prev 4096-ptr_max
PARAM_VALUE 0 rs->md.active.counter 1
PARAM_VALUE 0 rs->md.active_io.data 4096-ptr_max
PARAM_VALUE 0 rs->md.active_io.data->confirm_switch 0
PARAM_VALUE 0 rs->md.active_io.data->count.counter s64min-(-9223372036854775807),0-s64max
PARAM_VALUE 0 rs->md.active_io.data->ref 4096-ptr_max
PARAM_VALUE 0 rs->md.active_io.percpu_count_ptr 4096-18446744073709547523
PARAM_VALUE 0 rs->md.all_mddevs.next 4096-ptr_max
PARAM_VALUE 0 rs->md.all_mddevs.next->next 4096-ptr_max
PARAM_VALUE 0 rs->md.all_mddevs.prev 4096-ptr_max
PARAM_VALUE 0 rs->md.all_mddevs.prev->next 4096-ptr_max
PARAM_VALUE 0 rs->md.all_mddevs.prev->prev 4096-ptr_max
PARAM_VALUE 0 rs->md.bio_set.back_pad 0,64
PARAM_VALUE 0 rs->md.bio_set.bio_pool.alloc 7276475779886346240
PARAM_VALUE 0 rs->md.bio_set.bio_pool.curr_nr 1-s32max
PARAM_VALUE 0 rs->md.bio_set.bio_pool.free 8263660038527102976
PARAM_VALUE 0 rs->md.bio_set.bio_pool.min_nr 2
PARAM_VALUE 0 rs->md.bio_set.bio_pool.pool_data 1-u64max
PARAM_VALUE 0 rs->md.bio_set.bio_pool.wait.head.next 4096-ptr_max
PARAM_VALUE 0 rs->md.bio_set.bio_pool.wait.head.next->next 4096-ptr_max
PARAM_VALUE 0 rs->md.bio_set.bio_pool.wait.head.prev 4096-ptr_max
PARAM_VALUE 0 rs->md.bio_set.bio_pool.wait.head.prev->next 4096-ptr_max
PARAM_VALUE 0 rs->md.bio_set.bio_pool.wait.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 rs->md.bio_set.bio_slab 1-u64max
PARAM_VALUE 0 rs->md.bio_set.bvec_pool.alloc 7276475779886346240
PARAM_VALUE 0 rs->md.bio_set.bvec_pool.curr_nr 1-s32max
PARAM_VALUE 0 rs->md.bio_set.bvec_pool.free 8263660038527102976
PARAM_VALUE 0 rs->md.bio_set.bvec_pool.wait.head.next 4096-ptr_max
PARAM_VALUE 0 rs->md.bio_set.bvec_pool.wait.head.next->next 4096-ptr_max
PARAM_VALUE 0 rs->md.bio_set.bvec_pool.wait.head.prev 4096-ptr_max
PARAM_VALUE 0 rs->md.bio_set.bvec_pool.wait.head.prev->next 4096-ptr_max
PARAM_VALUE 0 rs->md.bio_set.bvec_pool.wait.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 rs->md.bio_set.cache 0,4096-ptr_max
PARAM_VALUE 0 rs->md.bio_set.cpuhp_dead->pprev 4096-ptr_max
PARAM_VALUE 0 rs->md.bio_set.cpuhp_dead.pprev 4096-ptr_max
PARAM_VALUE 0 rs->md.bio_set.front_pad 0
PARAM_VALUE 0 rs->md.bio_set.rescue_list.head 0
PARAM_VALUE 0 rs->md.bio_set.rescue_list.tail 0
PARAM_VALUE 0 rs->md.bio_set.rescue_workqueue 0,4096-ptr_max
PARAM_VALUE 0 rs->md.bitmap_id 12
PARAM_VALUE 0 rs->md.bitmap_info.mutex.dep_map->name 0-255
PARAM_VALUE 0 rs->md.bitmap_info.mutex.first_waiter 0
PARAM_VALUE 0 rs->md.bitmap_info.mutex.magic 4096-ptr_max
PARAM_VALUE 0 rs->md.bitmap_info.mutex.owner.counter 0
PARAM_VALUE 0 rs->md.deleting.next 4096-ptr_max
PARAM_VALUE 0 rs->md.deleting.next->next 4096-ptr_max
PARAM_VALUE 0 rs->md.deleting.prev 4096-ptr_max
PARAM_VALUE 0 rs->md.deleting.prev->next 4096-ptr_max
PARAM_VALUE 0 rs->md.deleting.prev->prev 4096-ptr_max
PARAM_VALUE 0 rs->md.disks.next 4096-ptr_max
PARAM_VALUE 0 rs->md.disks.next->next 4096-ptr_max
PARAM_VALUE 0 rs->md.disks.prev 4096-ptr_max
PARAM_VALUE 0 rs->md.disks.prev->next 4096-ptr_max
PARAM_VALUE 0 rs->md.disks.prev->prev 4096-ptr_max
PARAM_VALUE 0 rs->md.external 0
PARAM_VALUE 0 rs->md.io_clone_set.back_pad 0,64
PARAM_VALUE 0 rs->md.io_clone_set.bio_pool.alloc 7276475779886346240
PARAM_VALUE 0 rs->md.io_clone_set.bio_pool.curr_nr 1-s32max
PARAM_VALUE 0 rs->md.io_clone_set.bio_pool.free 8263660038527102976
PARAM_VALUE 0 rs->md.io_clone_set.bio_pool.min_nr 2
PARAM_VALUE 0 rs->md.io_clone_set.bio_pool.pool_data 1-u64max
PARAM_VALUE 0 rs->md.io_clone_set.bio_pool.wait.head.next 4096-ptr_max
PARAM_VALUE 0 rs->md.io_clone_set.bio_pool.wait.head.next->next 4096-ptr_max
PARAM_VALUE 0 rs->md.io_clone_set.bio_pool.wait.head.prev 4096-ptr_max
PARAM_VALUE 0 rs->md.io_clone_set.bio_pool.wait.head.prev->next 4096-ptr_max
PARAM_VALUE 0 rs->md.io_clone_set.bio_pool.wait.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 rs->md.io_clone_set.bio_slab 1-u64max
PARAM_VALUE 0 rs->md.io_clone_set.bvec_pool.alloc 7276475779886346240
PARAM_VALUE 0 rs->md.io_clone_set.bvec_pool.curr_nr 1-s32max
PARAM_VALUE 0 rs->md.io_clone_set.bvec_pool.free 8263660038527102976
PARAM_VALUE 0 rs->md.io_clone_set.bvec_pool.wait.head.next 4096-ptr_max
PARAM_VALUE 0 rs->md.io_clone_set.bvec_pool.wait.head.next->next 4096-ptr_max
PARAM_VALUE 0 rs->md.io_clone_set.bvec_pool.wait.head.prev 4096-ptr_max
PARAM_VALUE 0 rs->md.io_clone_set.bvec_pool.wait.head.prev->next 4096-ptr_max
PARAM_VALUE 0 rs->md.io_clone_set.bvec_pool.wait.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 rs->md.io_clone_set.cache 0,4096-ptr_max
PARAM_VALUE 0 rs->md.io_clone_set.cpuhp_dead->pprev 4096-ptr_max
PARAM_VALUE 0 rs->md.io_clone_set.cpuhp_dead.pprev 4096-ptr_max
PARAM_VALUE 0 rs->md.io_clone_set.front_pad 48
PARAM_VALUE 0 rs->md.io_clone_set.rescue_list.head 0
PARAM_VALUE 0 rs->md.io_clone_set.rescue_list.tail 0
PARAM_VALUE 0 rs->md.io_clone_set.rescue_workqueue 0,4096-ptr_max
PARAM_VALUE 0 rs->md.last_sync_action 6
PARAM_VALUE 0 rs->md.major_version 2
PARAM_VALUE 0 rs->md.open_mutex.dep_map->name 0-255
PARAM_VALUE 0 rs->md.open_mutex.first_waiter 0
PARAM_VALUE 0 rs->md.open_mutex.magic 4096-ptr_max
PARAM_VALUE 0 rs->md.open_mutex.osq.tail.counter 0
PARAM_VALUE 0 rs->md.open_mutex.owner.counter 0
PARAM_VALUE 0 rs->md.openers.counter 0
PARAM_VALUE 0 rs->md.persistent 1
PARAM_VALUE 0 rs->md.reconfig_mutex.dep_map->name 0-255
PARAM_VALUE 0 rs->md.reconfig_mutex.first_waiter 0
PARAM_VALUE 0 rs->md.reconfig_mutex.magic 4096-ptr_max
PARAM_VALUE 0 rs->md.reconfig_mutex.osq.tail.counter 0
PARAM_VALUE 0 rs->md.reconfig_mutex.owner.counter 0
PARAM_VALUE 0 rs->md.recovery_wait.head.next 4096-ptr_max
PARAM_VALUE 0 rs->md.recovery_wait.head.next->next 4096-ptr_max
PARAM_VALUE 0 rs->md.recovery_wait.head.prev 4096-ptr_max
PARAM_VALUE 0 rs->md.recovery_wait.head.prev->next 4096-ptr_max
PARAM_VALUE 0 rs->md.recovery_wait.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 rs->md.resync_max u64max
PARAM_VALUE 0 rs->md.resync_min 0
PARAM_VALUE 0 rs->md.safemode_timer.entry.pprev 0
PARAM_VALUE 0 rs->md.safemode_timer.flags 0-4194302
PARAM_VALUE 0 rs->md.safemode_timer.lockdep_map->name 0-255
PARAM_VALUE 0 rs->md.sb_wait.head.next 4096-ptr_max
PARAM_VALUE 0 rs->md.sb_wait.head.next->next 4096-ptr_max
PARAM_VALUE 0 rs->md.sb_wait.head.prev 4096-ptr_max
PARAM_VALUE 0 rs->md.sb_wait.head.prev->next 4096-ptr_max
PARAM_VALUE 0 rs->md.sb_wait.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 rs->md.suspend_mutex.dep_map->name 0-255
PARAM_VALUE 0 rs->md.suspend_mutex.first_waiter 0
PARAM_VALUE 0 rs->md.suspend_mutex.magic 4096-ptr_max
PARAM_VALUE 0 rs->md.suspend_mutex.osq.tail.counter 0
PARAM_VALUE 0 rs->md.suspend_mutex.owner.counter 0
PARAM_VALUE 0 rs->md.sync_seq.counter 0
PARAM_VALUE 0 rs->md.sync_set.back_pad 0,64
PARAM_VALUE 0 rs->md.sync_set.bio_pool.alloc 7276475779886346240
PARAM_VALUE 0 rs->md.sync_set.bio_pool.curr_nr 1-s32max
PARAM_VALUE 0 rs->md.sync_set.bio_pool.free 8263660038527102976
PARAM_VALUE 0 rs->md.sync_set.bio_pool.min_nr 2
PARAM_VALUE 0 rs->md.sync_set.bio_pool.pool_data 1-u64max
PARAM_VALUE 0 rs->md.sync_set.bio_pool.wait.head.next 4096-ptr_max
PARAM_VALUE 0 rs->md.sync_set.bio_pool.wait.head.next->next 4096-ptr_max
PARAM_VALUE 0 rs->md.sync_set.bio_pool.wait.head.prev 4096-ptr_max
PARAM_VALUE 0 rs->md.sync_set.bio_pool.wait.head.prev->next 4096-ptr_max
PARAM_VALUE 0 rs->md.sync_set.bio_pool.wait.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 rs->md.sync_set.bio_slab 1-u64max
PARAM_VALUE 0 rs->md.sync_set.bvec_pool.alloc 7276475779886346240
PARAM_VALUE 0 rs->md.sync_set.bvec_pool.curr_nr 1-s32max
PARAM_VALUE 0 rs->md.sync_set.bvec_pool.free 8263660038527102976
PARAM_VALUE 0 rs->md.sync_set.bvec_pool.wait.head.next 4096-ptr_max
PARAM_VALUE 0 rs->md.sync_set.bvec_pool.wait.head.next->next 4096-ptr_max
PARAM_VALUE 0 rs->md.sync_set.bvec_pool.wait.head.prev 4096-ptr_max
PARAM_VALUE 0 rs->md.sync_set.bvec_pool.wait.head.prev->next 4096-ptr_max
PARAM_VALUE 0 rs->md.sync_set.bvec_pool.wait.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 rs->md.sync_set.cache 0,4096-ptr_max
PARAM_VALUE 0 rs->md.sync_set.cpuhp_dead->pprev 4096-ptr_max
PARAM_VALUE 0 rs->md.sync_set.cpuhp_dead.pprev 4096-ptr_max
PARAM_VALUE 0 rs->md.sync_set.front_pad 0
PARAM_VALUE 0 rs->md.sync_set.rescue_list.head 0
PARAM_VALUE 0 rs->md.sync_set.rescue_list.tail 0
PARAM_VALUE 0 rs->md.sync_set.rescue_workqueue 0,4096-ptr_max
PARAM_VALUE 0 rs->md.sync_super 8352573940155813888
PARAM_VALUE 0 rs->md.writes_pending.data 0,4096-ptr_max
PARAM_VALUE 0 rs->md.writes_pending.data->count.counter s64min-(-9223372036854775807),0-s64max
PARAM_VALUE 0 rs->md.writes_pending.data->ref 4096-ptr_max
PARAM_VALUE 0 rs->md.writes_pending.percpu_count_ptr 3,7-u64max
PARAM_VALUE 0 rs->raid_disks 1-253
PARAM_VALUE 0 rs->raid_type 4096-3552064871263482015
PARAM_VALUE 0 rs->raid_type->algorithm 0-5,8-10,16-19
PARAM_VALUE 0 rs->raid_type->parity_devs 0-2
PARAM_VALUE 0 rs->stripe_cache_entries 256
PARAM_VALUE 0 rs->ti 4096-ptr_max
PARAM_VALUE 0 rs->ti->error 2408974327138648064
PARAM_VALUE 0 rs->ti->len 1-u64max
PARAM_VALUE 0 rs->ti->table 4096-ptr_max
PARAM_VALUE 0 rs->ti->type 4096-ptr_max
BUF_SIZE 0 rs 5776-201328
BUF_SIZE 0 rs 5776-201328
BUF_SIZE 0 rs->ti->error 46
CAPPED_DATA 0 rs->raid_disks 1
CAPPED_DATA 0 rs->ti->begin 1
DATA_SOURCE 0 rs $1
STR_LEN 0 rs->ti->error 45
TERMINATED 0 rs->ti->error 1
NO_OVERFLOW_SIMPLE 0 rs->md.bio_set.bio_pool.min_nr
NO_OVERFLOW_SIMPLE 0 rs->md.bio_set.bvec_pool.min_nr
NO_OVERFLOW_SIMPLE 0 rs->md.bio_set.rescue_workqueue->rescuer->task->dl.pi_se->dl_runtime
NO_OVERFLOW_SIMPLE 0 rs->md.io_clone_set.bio_pool.min_nr
NO_OVERFLOW_SIMPLE 0 rs->md.io_clone_set.bvec_pool.min_nr
NO_OVERFLOW_SIMPLE 0 rs->md.io_clone_set.rescue_workqueue->rescuer->task->dl.pi_se->dl_runtime
NO_OVERFLOW_SIMPLE 0 rs->md.sync_set.bio_pool.min_nr
NO_OVERFLOW_SIMPLE 0 rs->md.sync_set.bvec_pool.min_nr
NO_OVERFLOW_SIMPLE 0 rs->md.sync_set.rescue_workqueue->rescuer->task->dl.pi_se->dl_runtime
NO_OVERFLOW_SIMPLE 0 rs->ti->begin
NO_OVERFLOW_SIMPLE 0 rs->ti->len
HALF_LOCKED2 &md->type_lock