Defined in 1 files as a function:
Referenced in 3 files:
Smatch caller information:
fs/xfs/libxfs/xfs_btree.c xfs_btree_keycmp_ge() -> xfs_btree_keycmp_lt()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cur | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_filestream->grp_time | 0-4294967295 |
| PARAM_VALUE | 0 | cur->bc_ino.ip->i_mount->m_filestream->lru_grp | 0-4294967295 |
| PARAM_VALUE | 0 | cur->bc_levels | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->alloc_block | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->broot_realloc | 0,205008320403959808,1877799289265856512,4624930743969431552 |
| PARAM_VALUE | 0 | cur->bc_ops->buf_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->cmp_key_with_cur | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->cmp_two_keys | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->dup_cursor | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->free_block | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->geom_flags | 0-3 |
| PARAM_VALUE | 0 | cur->bc_ops->get_dmaxrecs | 0,3492848713905295360,3901288766128197632,8955386628324601856 |
| PARAM_VALUE | 0 | cur->bc_ops->get_maxrecs | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->get_minrecs | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->init_key_from_rec | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->init_rec_from_cur | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->key_len | 4,8,40 |
| PARAM_VALUE | 0 | cur->bc_ops->keys_contiguous | 0,4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->keys_inorder | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->lru_refs | 1-3 |
| PARAM_VALUE | 0 | cur->bc_ops->ptr_len | 4,8 |
| PARAM_VALUE | 0 | cur->bc_ops->rec_len | 8,12,16,24 |
| PARAM_VALUE | 0 | cur->bc_ops->recs_inorder | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->set_root | 0,135209176560377856,500508166552113152,524490925254889472,5551055571258630144,6116626257139232768,9044852301428047872 |
| PARAM_VALUE | 0 | cur->bc_ops->sick_mask | 0,8,16,32,64,128,256,512 |
| PARAM_VALUE | 0 | cur->bc_ops->statoff | 76,91,106,121,136,151,166,181,196,211,226,241 |
| PARAM_VALUE | 0 | cur->bc_ops->type | 0-2 |
| PARAM_VALUE | 0 | cur->bc_ops->update_cursor | 0,2872932845050183680 |
| PARAM_VALUE | 2 | key2 | 7939764007125184512 |
| PARAM_VALUE | 2 | key2->bmbt.br_startoff | 0-18014398509481983 |
| BUF_SIZE | 0 | cur | (-1)-s32max |
| BUF_SIZE | 0 | cur | (-1)-s32max |
| BUF_SIZE | 0 | cur->bc_mem.xfbtree | (-1),56 |
| BUF_SIZE | 0 | cur->bc_tp | (-1)-s32max |
| DATA_SOURCE | 0 | cur | $0 |
| DATA_SOURCE | 1 | key1 | $1 |
| DATA_SOURCE | 2 | key2 | $2 |
| BIT_INFO | 0 | cur->bc_ops->geom_flags | 0x1,0xffffffffffffffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_ag.agbp->b_map_count | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_cache->sheaf_capacity | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_rec.r.rm_startblock | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_tp->t_blk_res | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_tp->t_rtx_res | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_tp->t_rtx_res_used | |
| NO_OVERFLOW_SIMPLE | 2 | key2->rmap.rm_startblock |
fs/xfs/libxfs/xfs_btree.c xfs_btree_overlapped_query_range() -> xfs_btree_keycmp_lt()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cur | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_levels | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->alloc_block | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->broot_realloc | 0,205008320403959808,1877799289265856512,4624930743969431552 |
| PARAM_VALUE | 0 | cur->bc_ops->buf_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->buf_ops->name | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->buf_ops->verify_read | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->buf_ops->verify_write | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->cmp_key_with_cur | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->cmp_two_keys | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->dup_cursor | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->free_block | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->geom_flags | 0-3 |
| PARAM_VALUE | 0 | cur->bc_ops->get_dmaxrecs | 0,3492848713905295360,3901288766128197632,8955386628324601856 |
| PARAM_VALUE | 0 | cur->bc_ops->get_maxrecs | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->get_minrecs | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->init_key_from_rec | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->init_rec_from_cur | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->key_len | 4,8,40 |
| PARAM_VALUE | 0 | cur->bc_ops->keys_contiguous | 0,4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->keys_inorder | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->lru_refs | 1-3 |
| PARAM_VALUE | 0 | cur->bc_ops->ptr_len | 4,8 |
| PARAM_VALUE | 0 | cur->bc_ops->rec_len | 8,12,16,24 |
| PARAM_VALUE | 0 | cur->bc_ops->recs_inorder | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->set_root | 0,135209176560377856,500508166552113152,524490925254889472,5551055571258630144,6116626257139232768,9044852301428047872 |
| PARAM_VALUE | 0 | cur->bc_ops->sick_mask | 0,8,16,32,64,128,256,512 |
| PARAM_VALUE | 0 | cur->bc_ops->statoff | 76,91,106,121,136,151,166,181,196,211,226,241 |
| PARAM_VALUE | 0 | cur->bc_ops->type | 0-2 |
| PARAM_VALUE | 0 | cur->bc_ops->update_cursor | 0,2872932845050183680 |
| PARAM_VALUE | 1 | key1 | 6743277581957005312 |
| PARAM_VALUE | 1 | key1->bmbt.br_startoff | 0-18014398509481983 |
| PARAM_VALUE | 2 | key2 | 5686442662573260800 |
| BUF_SIZE | 0 | cur | (-1)-s32max |
| BUF_SIZE | 0 | cur | (-1)-s32max |
| BUF_SIZE | 0 | cur->bc_mem.xfbtree | (-1),56 |
| BUF_SIZE | 0 | cur->bc_tp | (-1)-s32max |
| CAPPED_DATA | 1 | key1->bmbt.br_startoff | 1 |
| DATA_SOURCE | 0 | cur | $0 |
| DATA_SOURCE | 1 | key1 | $2 |
| BIT_INFO | 0 | cur->bc_ops->geom_flags | 0x1,0xffffffffffffffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_ag.agbp->b_map_count | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_cache->sheaf_capacity | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_rec.r.rm_startblock | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_tp->t_blk_res | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_tp->t_rtx_res | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_tp->t_rtx_res_used | |
| NO_OVERFLOW_SIMPLE | 1 | key1->rmap.rm_startblock | |
| NO_OVERFLOW_SIMPLE | 2 | key2->alloc.ar_startblock |
fs/xfs/libxfs/xfs_btree.c xfs_btree_overlapped_query_range() -> xfs_btree_keycmp_lt()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cur | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_levels | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->alloc_block | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->broot_realloc | 0,205008320403959808,1877799289265856512,4624930743969431552 |
| PARAM_VALUE | 0 | cur->bc_ops->buf_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->buf_ops->name | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->buf_ops->verify_read | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->buf_ops->verify_write | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->cmp_key_with_cur | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->cmp_two_keys | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->dup_cursor | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->free_block | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->geom_flags | 0-3 |
| PARAM_VALUE | 0 | cur->bc_ops->get_dmaxrecs | 0,3492848713905295360,3901288766128197632,8955386628324601856 |
| PARAM_VALUE | 0 | cur->bc_ops->get_maxrecs | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->get_minrecs | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->init_key_from_rec | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->init_rec_from_cur | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->key_len | 4,8,40 |
| PARAM_VALUE | 0 | cur->bc_ops->keys_contiguous | 0,4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->keys_inorder | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->lru_refs | 1-3 |
| PARAM_VALUE | 0 | cur->bc_ops->ptr_len | 4,8 |
| PARAM_VALUE | 0 | cur->bc_ops->rec_len | 8,12,16,24 |
| PARAM_VALUE | 0 | cur->bc_ops->recs_inorder | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->set_root | 0,135209176560377856,500508166552113152,524490925254889472,5551055571258630144,6116626257139232768,9044852301428047872 |
| PARAM_VALUE | 0 | cur->bc_ops->sick_mask | 0,8,16,32,64,128,256,512 |
| PARAM_VALUE | 0 | cur->bc_ops->statoff | 76,91,106,121,136,151,166,181,196,211,226,241 |
| PARAM_VALUE | 0 | cur->bc_ops->type | 0-2 |
| PARAM_VALUE | 0 | cur->bc_ops->update_cursor | 0,2872932845050183680 |
| PARAM_VALUE | 1 | key1 | 6743277581957005312 |
| PARAM_VALUE | 1 | key1->bmbt.br_startoff | 0-18014398509481983 |
| BUF_SIZE | 0 | cur | (-1)-s32max |
| BUF_SIZE | 0 | cur | (-1)-s32max |
| BUF_SIZE | 0 | cur->bc_mem.xfbtree | (-1),56 |
| BUF_SIZE | 0 | cur->bc_tp | (-1)-s32max |
| CAPPED_DATA | 1 | key1->bmbt.br_startoff | 1 |
| DATA_SOURCE | 0 | cur | $0 |
| DATA_SOURCE | 1 | key1 | $2 |
| DATA_SOURCE | 2 | key2 | r xfs_btree_key_addr |
| BIT_INFO | 0 | cur->bc_ops->geom_flags | 0x1,0xffffffffffffffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_ag.agbp->b_map_count | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_cache->sheaf_capacity | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_rec.r.rm_startblock | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_tp->t_blk_res | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_tp->t_rtx_res | |
| NO_OVERFLOW_SIMPLE | 0 | cur->bc_tp->t_rtx_res_used | |
| NO_OVERFLOW_SIMPLE | 1 | key1->rmap.rm_startblock |
fs/xfs/scrub/btree.c xchk_btree_key() -> xfs_btree_keycmp_lt()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cur | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_levels | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_nlevels | 1-255 |
| PARAM_VALUE | 0 | cur->bc_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->key_len | 4,8,40 |
| PARAM_VALUE | 0 | cur->bc_ops->type | 0-2 |
| PARAM_VALUE | 1 | key1 | 4096-ptr_max |
| PARAM_VALUE | 2 | key2 | 4096-ptr_max |
| DATA_SOURCE | 1 | key1 | r xfs_btree_key_addr |
| DATA_SOURCE | 2 | key2 | r xfs_btree_key_addr |
fs/xfs/scrub/btree.c xchk_btree_key() -> xfs_btree_keycmp_lt()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cur | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_levels | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_nlevels | 1-255 |
| PARAM_VALUE | 0 | cur->bc_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->cmp_two_keys | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->key_len | 4,8,40 |
| PARAM_VALUE | 0 | cur->bc_ops->type | 0-2 |
| PARAM_VALUE | 1 | key1 | 4096-ptr_max |
| PARAM_VALUE | 2 | key2 | 4096-ptr_max |
| DATA_SOURCE | 1 | key1 | r xfs_btree_high_key_addr |
| DATA_SOURCE | 2 | key2 | r xfs_btree_high_key_addr |
| BIT_INFO | 0 | cur->bc_ops->geom_flags | 0x1,0xffffffff |
fs/xfs/scrub/btree.c xchk_btree_rec() -> xfs_btree_keycmp_lt()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cur | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_levels | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_nlevels | 0,2-255 |
| PARAM_VALUE | 0 | cur->bc_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->rec_len | 8,12,16,24 |
| PARAM_VALUE | 0 | cur->bc_ops->type | 0-2 |
| PARAM_VALUE | 1 | key1 | 3182119071559557120 |
| PARAM_VALUE | 2 | key2 | 4096-ptr_max |
| DATA_SOURCE | 2 | key2 | r xfs_btree_key_addr |
| NO_OVERFLOW_SIMPLE | 1 | key1->alloc.ar_startblock |
fs/xfs/scrub/btree.c xchk_btree_rec() -> xfs_btree_keycmp_lt()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cur | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_levels | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_nlevels | 0,2-255 |
| PARAM_VALUE | 0 | cur->bc_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->cmp_two_keys | 4096-ptr_max |
| PARAM_VALUE | 0 | cur->bc_ops->rec_len | 8,12,16,24 |
| PARAM_VALUE | 0 | cur->bc_ops->type | 0-2 |
| PARAM_VALUE | 1 | key1 | 4096-ptr_max |
| PARAM_VALUE | 2 | key2 | 8932378815444860928 |
| DATA_SOURCE | 1 | key1 | r xfs_btree_high_key_addr |
| BIT_INFO | 0 | cur->bc_ops->geom_flags | 0x1,0xffffffff |