Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/xfs/scrub/ialloc.c xchk_iallocbt_check_cluster() -> xchk_iallocbt_check_cluster_ifree()

Type Parameter Key Value
PARAM_VALUE 0 bs 4096-ptr_max
PARAM_VALUE 0 bs->cur 4096-ptr_max
PARAM_VALUE 0 bs->cur->bc_mp 4096-ptr_max
PARAM_VALUE 0 bs->cur->bc_mp->m_filestream->grp_time 0-4294967295
PARAM_VALUE 0 bs->cur->bc_ops 4096-ptr_max
PARAM_VALUE 0 bs->cur->bc_ops->key_len 4,8,40
PARAM_VALUE 0 bs->cur->bc_ops->rec_len 8,12,16,24
PARAM_VALUE 0 bs->cur->bc_ops->type 0-2
PARAM_VALUE 0 bs->cur->bc_tp 0,4096-ptr_max
PARAM_VALUE 0 bs->cur->bc_tp->t_items.prev->next 4096-ptr_max
PARAM_VALUE 0 bs->cur->bc_tp->t_items.prev->next->next 4096-ptr_max
PARAM_VALUE 0 bs->lastrec_valid 1
PARAM_VALUE 0 bs->oinfo 1646112184124424192,3185646627194212352,5072985932148477952,6767237874489516032,7173811234074382336,8262822955263545344
PARAM_VALUE 0 bs->private 4096-ptr_max
PARAM_VALUE 0 bs->sc 4096-ptr_max
PARAM_VALUE 0 bs->sc->ops 4096-ptr_max
PARAM_VALUE 0 bs->sc->sa.agf_bp->b_sema.first_waiter->up 0-1
PARAM_VALUE 0 bs->sc->sa.agi_bp->b_sema.first_waiter->up 0-1
PARAM_VALUE 0 bs->sc->sa.bno_cur->bc_ops->alloc_block 4096-ptr_max
PARAM_VALUE 0 bs->sc->sa.bno_cur->bc_ops->broot_realloc 0,205008320403959808,1877799289265856512,4624930743969431552
PARAM_VALUE 0 bs->sc->sa.bno_cur->bc_ops->buf_ops 4096-ptr_max
PARAM_VALUE 0 bs->sc->sa.bno_cur->bc_ops->cmp_key_with_cur 4096-ptr_max
PARAM_VALUE 0 bs->sc->sa.bno_cur->bc_ops->cmp_two_keys 4096-ptr_max
PARAM_VALUE 0 bs->sc->sa.bno_cur->bc_ops->dup_cursor 4096-ptr_max
PARAM_VALUE 0 bs->sc->sa.bno_cur->bc_ops->free_block 4096-ptr_max
PARAM_VALUE 0 bs->sc->sa.bno_cur->bc_ops->geom_flags 0-3
PARAM_VALUE 0 bs->sc->sa.bno_cur->bc_ops->get_dmaxrecs 0,3492848713905295360,3901288766128197632,8955386628324601856
PARAM_VALUE 0 bs->sc->sa.bno_cur->bc_ops->get_maxrecs 4096-ptr_max
PARAM_VALUE 0 bs->sc->sa.bno_cur->bc_ops->get_minrecs 4096-ptr_max
PARAM_VALUE 0 bs->sc->sa.bno_cur->bc_ops->init_key_from_rec 4096-ptr_max
PARAM_VALUE 0 bs->sc->sa.bno_cur->bc_ops->init_rec_from_cur 4096-ptr_max
PARAM_VALUE 0 bs->sc->sa.bno_cur->bc_ops->key_len 4,8,40
PARAM_VALUE 0 bs->sc->sa.bno_cur->bc_ops->keys_inorder 4096-ptr_max
PARAM_VALUE 0 bs->sc->sa.bno_cur->bc_ops->lru_refs 1-3
PARAM_VALUE 0 bs->sc->sa.bno_cur->bc_ops->ptr_len 4,8
PARAM_VALUE 0 bs->sc->sa.bno_cur->bc_ops->rec_len 8,12,16,24
PARAM_VALUE 0 bs->sc->sa.bno_cur->bc_ops->recs_inorder 4096-ptr_max
PARAM_VALUE 0 bs->sc->sa.bno_cur->bc_ops->set_root 0,135209176560377856,500508166552113152,524490925254889472,5551055571258630144,6116626257139232768,9044852301428047872
PARAM_VALUE 0 bs->sc->sa.bno_cur->bc_ops->sick_mask 0,8,16,32,64,128,256,512
PARAM_VALUE 0 bs->sc->sa.bno_cur->bc_ops->statoff 76,91,106,121,136,151,166,181,196,211,226,241
PARAM_VALUE 0 bs->sc->sa.bno_cur->bc_ops->type 0-2
PARAM_VALUE 0 bs->sc->sa.bno_cur->bc_ops->update_cursor 0,2872932845050183680
PARAM_VALUE 0 bs->sc->sa.cnt_cur->bc_ops->alloc_block 4096-ptr_max
PARAM_VALUE 0 bs->sc->sa.cnt_cur->bc_ops->broot_realloc 0,205008320403959808,1877799289265856512,4624930743969431552
PARAM_VALUE 0 bs->sc->sa.cnt_cur->bc_ops->buf_ops 4096-ptr_max
PARAM_VALUE 0 bs->sc->sa.cnt_cur->bc_ops->cmp_key_with_cur 4096-ptr_max
PARAM_VALUE 0 bs->sc->sa.cnt_cur->bc_ops->cmp_two_keys 4096-ptr_max
PARAM_VALUE 0 bs->sc->sa.cnt_cur->bc_ops->dup_cursor 4096-ptr_max
PARAM_VALUE 0 bs->sc->sa.cnt_cur->bc_ops->free_block 4096-ptr_max
PARAM_VALUE 0 bs->sc->sa.cnt_cur->bc_ops->geom_flags 0-3
PARAM_VALUE 0 bs->sc->sa.cnt_cur->bc_ops->get_dmaxrecs 0,3492848713905295360,3901288766128197632,8955386628324601856
PARAM_VALUE 0 bs->sc->sa.cnt_cur->bc_ops->get_maxrecs 4096-ptr_max
PARAM_VALUE 0 bs->sc->sa.cnt_cur->bc_ops->get_minrecs 4096-ptr_max
PARAM_VALUE 0 bs->sc->sa.cnt_cur->bc_ops->init_key_from_rec 4096-ptr_max
PARAM_VALUE 0 bs->sc->sa.cnt_cur->bc_ops->init_rec_from_cur 4096-ptr_max
PARAM_VALUE 0 bs->sc->sa.cnt_cur->bc_ops->key_len 4,8,40
PARAM_VALUE 0 bs->sc->sa.cnt_cur->bc_ops->keys_inorder 4096-ptr_max
PARAM_VALUE 0 bs->sc->sa.cnt_cur->bc_ops->lru_refs 1-3
PARAM_VALUE 0 bs->sc->sa.cnt_cur->bc_ops->ptr_len 4,8
PARAM_VALUE 0 bs->sc->sa.cnt_cur->bc_ops->rec_len 8,12,16,24
PARAM_VALUE 0 bs->sc->sa.cnt_cur->bc_ops->recs_inorder 4096-ptr_max
PARAM_VALUE 0 bs->sc->sa.cnt_cur->bc_ops->set_root 0,135209176560377856,500508166552113152,524490925254889472,5551055571258630144,6116626257139232768,9044852301428047872
PARAM_VALUE 0 bs->sc->sa.cnt_cur->bc_ops->sick_mask 0,8,16,32,64,128,256,512
PARAM_VALUE 0 bs->sc->sa.cnt_cur->bc_ops->statoff 76,91,106,121,136,151,166,181,196,211,226,241
PARAM_VALUE 0 bs->sc->sa.cnt_cur->bc_ops->type 0-2
PARAM_VALUE 0 bs->sc->sa.cnt_cur->bc_ops->update_cursor 0,2872932845050183680
PARAM_VALUE 0 bs->sc->sa.fino_cur->bc_ops->alloc_block 4096-ptr_max
PARAM_VALUE 0 bs->sc->sa.fino_cur->bc_ops->broot_realloc 0,205008320403959808,1877799289265856512,4624930743969431552
PARAM_VALUE 0 bs->sc->sa.fino_cur->bc_ops->buf_ops 4096-ptr_max
PARAM_VALUE 0 bs->sc->sa.fino_cur->bc_ops->cmp_key_with_cur 4096-ptr_max
PARAM_VALUE 0 bs->sc->sa.fino_cur->bc_ops->cmp_two_keys 4096-ptr_max
PARAM_VALUE 0 bs->sc->sa.fino_cur->bc_ops->dup_cursor 4096-ptr_max
PARAM_VALUE 0 bs->sc->sa.fino_cur->bc_ops->free_block 4096-ptr_max
PARAM_VALUE 0 bs->sc->sa.fino_cur->bc_ops->geom_flags 0-3
PARAM_VALUE 0 bs->sc->sa.fino_cur->bc_ops->get_dmaxrecs 0,3492848713905295360,3901288766128197632,8955386628324601856
PARAM_VALUE 0 bs->sc->sa.fino_cur->bc_ops->get_maxrecs 4096-ptr_max
PARAM_VALUE 0 bs->sc->sa.fino_cur->bc_ops->get_minrecs 4096-ptr_max
PARAM_VALUE 0 bs->sc->sa.fino_cur->bc_ops->init_key_from_rec 4096-ptr_max
PARAM_VALUE 0 bs->sc->sa.fino_cur->bc_ops->init_rec_from_cur 4096-ptr_max
PARAM_VALUE 0 bs->sc->sa.fino_cur->bc_ops->key_len 4,8,40
PARAM_VALUE 0 bs->sc->sa.fino_cur->bc_ops->keys_inorder 4096-ptr_max
PARAM_VALUE 0 bs->sc->sa.fino_cur->bc_ops->lru_refs 1-3
PARAM_VALUE 0 bs->sc->sa.fino_cur->bc_ops->ptr_len 4,8
PARAM_VALUE 0 bs->sc->sa.fino_cur->bc_ops->rec_len 8,12,16,24
PARAM_VALUE 0 bs->sc->sa.fino_cur->bc_ops->recs_inorder 4096-ptr_max
PARAM_VALUE 0 bs->sc->sa.fino_cur->bc_ops->set_root 0,135209176560377856,500508166552113152,524490925254889472,5551055571258630144,6116626257139232768,9044852301428047872
PARAM_VALUE 0 bs->sc->sa.fino_cur->bc_ops->sick_mask 0,8,16,32,64,128,256,512
PARAM_VALUE 0 bs->sc->sa.fino_cur->bc_ops->statoff 76,91,106,121,136,151,166,181,196,211,226,241
PARAM_VALUE 0 bs->sc->sa.fino_cur->bc_ops->type 0-2
PARAM_VALUE 0 bs->sc->sa.fino_cur->bc_ops->update_cursor 0,2872932845050183680
PARAM_VALUE 0 bs->sc->sa.ino_cur->bc_ops->alloc_block 4096-ptr_max
PARAM_VALUE 0 bs->sc->sa.ino_cur->bc_ops->broot_realloc 0,205008320403959808,1877799289265856512,4624930743969431552
PARAM_VALUE 0 bs->sc->sa.ino_cur->bc_ops->buf_ops 4096-ptr_max
PARAM_VALUE 0 bs->sc->sa.ino_cur->bc_ops->cmp_key_with_cur 4096-ptr_max
PARAM_VALUE 0 bs->sc->sa.ino_cur->bc_ops->cmp_two_keys 4096-ptr_max
PARAM_VALUE 0 bs->sc->sa.ino_cur->bc_ops->dup_cursor 4096-ptr_max
PARAM_VALUE 0 bs->sc->sa.ino_cur->bc_ops->free_block 4096-ptr_max
PARAM_VALUE 0 bs->sc->sa.ino_cur->bc_ops->geom_flags 0-3
PARAM_VALUE 0 bs->sc->sa.ino_cur->bc_ops->get_dmaxrecs 0,3492848713905295360,3901288766128197632,8955386628324601856
PARAM_VALUE 0 bs->sc->sa.ino_cur->bc_ops->get_maxrecs 4096-ptr_max
PARAM_VALUE 0 bs->sc->sa.ino_cur->bc_ops->get_minrecs 4096-ptr_max
PARAM_VALUE 0 bs->sc->sa.ino_cur->bc_ops->init_key_from_rec 4096-ptr_max
PARAM_VALUE 0 bs->sc->sa.ino_cur->bc_ops->init_rec_from_cur 4096-ptr_max
PARAM_VALUE 0 bs->sc->sa.ino_cur->bc_ops->key_len 4,8,40
PARAM_VALUE 0 bs->sc->sa.ino_cur->bc_ops->keys_inorder 4096-ptr_max
PARAM_VALUE 0 bs->sc->sa.ino_cur->bc_ops->lru_refs 1-3
PARAM_VALUE 0 bs->sc->sa.ino_cur->bc_ops->ptr_len 4,8
PARAM_VALUE 0 bs->sc->sa.ino_cur->bc_ops->rec_len 8,12,16,24
PARAM_VALUE 0 bs->sc->sa.ino_cur->bc_ops->recs_inorder 4096-ptr_max
PARAM_VALUE 0 bs->sc->sa.ino_cur->bc_ops->set_root 0,135209176560377856,500508166552113152,524490925254889472,5551055571258630144,6116626257139232768,9044852301428047872
PARAM_VALUE 0 bs->sc->sa.ino_cur->bc_ops->sick_mask 0,8,16,32,64,128,256,512
PARAM_VALUE 0 bs->sc->sa.ino_cur->bc_ops->statoff 76,91,106,121,136,151,166,181,196,211,226,241
PARAM_VALUE 0 bs->sc->sa.ino_cur->bc_ops->type 0-2
PARAM_VALUE 0 bs->sc->sa.ino_cur->bc_ops->update_cursor 0,2872932845050183680
PARAM_VALUE 0 bs->sc->sa.refc_cur->bc_ops->alloc_block 4096-ptr_max
PARAM_VALUE 0 bs->sc->sa.refc_cur->bc_ops->broot_realloc 0,205008320403959808,1877799289265856512,4624930743969431552
PARAM_VALUE 0 bs->sc->sa.refc_cur->bc_ops->buf_ops 4096-ptr_max
PARAM_VALUE 0 bs->sc->sa.refc_cur->bc_ops->cmp_key_with_cur 4096-ptr_max
PARAM_VALUE 0 bs->sc->sa.refc_cur->bc_ops->cmp_two_keys 4096-ptr_max
PARAM_VALUE 0 bs->sc->sa.refc_cur->bc_ops->dup_cursor 4096-ptr_max
PARAM_VALUE 0 bs->sc->sa.refc_cur->bc_ops->free_block 4096-ptr_max
PARAM_VALUE 0 bs->sc->sa.refc_cur->bc_ops->geom_flags 0-3
PARAM_VALUE 0 bs->sc->sa.refc_cur->bc_ops->get_dmaxrecs 0,3492848713905295360,3901288766128197632,8955386628324601856
PARAM_VALUE 0 bs->sc->sa.refc_cur->bc_ops->get_maxrecs 4096-ptr_max
PARAM_VALUE 0 bs->sc->sa.refc_cur->bc_ops->get_minrecs 4096-ptr_max
PARAM_VALUE 0 bs->sc->sa.refc_cur->bc_ops->init_key_from_rec 4096-ptr_max
PARAM_VALUE 0 bs->sc->sa.refc_cur->bc_ops->init_rec_from_cur 4096-ptr_max
PARAM_VALUE 0 bs->sc->sa.refc_cur->bc_ops->key_len 4,8,40
PARAM_VALUE 0 bs->sc->sa.refc_cur->bc_ops->keys_inorder 4096-ptr_max
PARAM_VALUE 0 bs->sc->sa.refc_cur->bc_ops->lru_refs 1-3
PARAM_VALUE 0 bs->sc->sa.refc_cur->bc_ops->ptr_len 4,8
PARAM_VALUE 0 bs->sc->sa.refc_cur->bc_ops->rec_len 8,12,16,24
PARAM_VALUE 0 bs->sc->sa.refc_cur->bc_ops->recs_inorder 4096-ptr_max
PARAM_VALUE 0 bs->sc->sa.refc_cur->bc_ops->set_root 0,135209176560377856,500508166552113152,524490925254889472,5551055571258630144,6116626257139232768,9044852301428047872
PARAM_VALUE 0 bs->sc->sa.refc_cur->bc_ops->sick_mask 0,8,16,32,64,128,256,512
PARAM_VALUE 0 bs->sc->sa.refc_cur->bc_ops->statoff 76,91,106,121,136,151,166,181,196,211,226,241
PARAM_VALUE 0 bs->sc->sa.refc_cur->bc_ops->type 0-2
PARAM_VALUE 0 bs->sc->sa.refc_cur->bc_ops->update_cursor 0,2872932845050183680
PARAM_VALUE 0 bs->sc->sa.rmap_cur->bc_ops->alloc_block 4096-ptr_max
PARAM_VALUE 0 bs->sc->sa.rmap_cur->bc_ops->broot_realloc 0,205008320403959808,1877799289265856512,4624930743969431552
PARAM_VALUE 0 bs->sc->sa.rmap_cur->bc_ops->buf_ops 4096-ptr_max
PARAM_VALUE 0 bs->sc->sa.rmap_cur->bc_ops->buf_ops->name 4096-ptr_max
PARAM_VALUE 0 bs->sc->sa.rmap_cur->bc_ops->buf_ops->verify_read 4096-ptr_max
PARAM_VALUE 0 bs->sc->sa.rmap_cur->bc_ops->buf_ops->verify_write 4096-ptr_max
PARAM_VALUE 0 bs->sc->sa.rmap_cur->bc_ops->cmp_key_with_cur 4096-ptr_max
PARAM_VALUE 0 bs->sc->sa.rmap_cur->bc_ops->cmp_two_keys 4096-ptr_max
PARAM_VALUE 0 bs->sc->sa.rmap_cur->bc_ops->dup_cursor 4096-ptr_max
PARAM_VALUE 0 bs->sc->sa.rmap_cur->bc_ops->free_block 4096-ptr_max
PARAM_VALUE 0 bs->sc->sa.rmap_cur->bc_ops->geom_flags 0-3
PARAM_VALUE 0 bs->sc->sa.rmap_cur->bc_ops->get_dmaxrecs 0,3492848713905295360,3901288766128197632,8955386628324601856
PARAM_VALUE 0 bs->sc->sa.rmap_cur->bc_ops->get_maxrecs 4096-ptr_max
PARAM_VALUE 0 bs->sc->sa.rmap_cur->bc_ops->get_minrecs 4096-ptr_max
PARAM_VALUE 0 bs->sc->sa.rmap_cur->bc_ops->init_key_from_rec 4096-ptr_max
PARAM_VALUE 0 bs->sc->sa.rmap_cur->bc_ops->init_rec_from_cur 4096-ptr_max
PARAM_VALUE 0 bs->sc->sa.rmap_cur->bc_ops->key_len 4,8,40
PARAM_VALUE 0 bs->sc->sa.rmap_cur->bc_ops->keys_inorder 4096-ptr_max
PARAM_VALUE 0 bs->sc->sa.rmap_cur->bc_ops->lru_refs 1-3
PARAM_VALUE 0 bs->sc->sa.rmap_cur->bc_ops->ptr_len 4,8
PARAM_VALUE 0 bs->sc->sa.rmap_cur->bc_ops->rec_len 8,12,16,24
PARAM_VALUE 0 bs->sc->sa.rmap_cur->bc_ops->recs_inorder 4096-ptr_max
PARAM_VALUE 0 bs->sc->sa.rmap_cur->bc_ops->set_root 0,135209176560377856,500508166552113152,524490925254889472,5551055571258630144,6116626257139232768,9044852301428047872
PARAM_VALUE 0 bs->sc->sa.rmap_cur->bc_ops->sick_mask 0,8,16,32,64,128,256,512
PARAM_VALUE 0 bs->sc->sa.rmap_cur->bc_ops->statoff 76,91,106,121,136,151,166,181,196,211,226,241
PARAM_VALUE 0 bs->sc->sa.rmap_cur->bc_ops->type 0-2
PARAM_VALUE 0 bs->sc->sa.rmap_cur->bc_ops->update_cursor 0,2872932845050183680
PARAM_VALUE 0 bs->sc->sm 4096-ptr_max
PARAM_VALUE 0 bs->scrub_rec 760449400470241280,1343829740551389184,1760196139079385088,5087537074829127680,6028252557003333632,7306450935945998336,7477250581036707840
PARAM_VALUE 0 bs->to_check.next 4096-ptr_max
PARAM_VALUE 0 bs->to_check.next->next 4096-ptr_max
PARAM_VALUE 0 bs->to_check.prev 4096-ptr_max
PARAM_VALUE 0 bs->to_check.prev->next 1-u64max
PARAM_VALUE 0 bs->to_check.prev->prev 4096-ptr_max
PARAM_VALUE 1 irec 444460722373160960
PARAM_VALUE 1 irec->ir_holemask 0-1
PARAM_VALUE 2 irec_ino 0-126
PARAM_VALUE 3 dip 4096-ptr_max
BUF_SIZE 0 bs 88-4096
BUF_SIZE 0 bs 88-4096
BUF_SIZE 0 bs->cur (-1),1-s32max
BUF_SIZE 0 bs->private (-1),8,16,28,64,152
CAPPED_DATA 0 bs->cur->bc_tp 1
DATA_SOURCE 0 bs $0
DATA_SOURCE 1 irec $1
DATA_SOURCE 3 dip r xfs_buf_offset
NO_OVERFLOW_SIMPLE 0 bs->sc->sa.bno_cur->bc_tp->t_blk_res
NO_OVERFLOW_SIMPLE 0 bs->sc->sa.cnt_cur->bc_tp->t_blk_res
NO_OVERFLOW_SIMPLE 0 bs->sc->sa.fino_cur->bc_tp->t_blk_res
NO_OVERFLOW_SIMPLE 0 bs->sc->sa.fino_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE 0 bs->sc->sa.ino_cur->bc_tp->t_blk_res
NO_OVERFLOW_SIMPLE 0 bs->sc->sa.ino_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE 0 bs->sc->sa.refc_cur->bc_rec.rc.rc_startblock
NO_OVERFLOW_SIMPLE 0 bs->sc->sa.refc_cur->bc_tp->t_blk_res
NO_OVERFLOW_SIMPLE 0 bs->sc->sa.refc_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE 0 bs->sc->sa.rmap_cur->bc_tp->t_blk_res
NO_OVERFLOW_SIMPLE 0 bs->sc->sr.refc_cur->bc_rec.rc.rc_startblock