Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
lib/test_objagg.c test_delta_action_item() -> world_obj_get()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | world | 4096-ptr_max |
| PARAM_VALUE | 0 | world->delta_count | 0 |
| PARAM_VALUE | 0 | world->root_count | 0 |
| PARAM_VALUE | 1 | objagg | 4096-ptr_max |
| PARAM_VALUE | 1 | objagg->ht_params.head_offset | 0 |
| PARAM_VALUE | 1 | objagg->ht_params.key_len | 4 |
| PARAM_VALUE | 1 | objagg->ht_params.key_offset | 56 |
| PARAM_VALUE | 1 | objagg->obj_ht.key_len | 0-u16max |
| PARAM_VALUE | 1 | objagg->obj_ht.max_elems | 0-2147483646,2147483648 |
| PARAM_VALUE | 1 | objagg->obj_ht.p.insecure_elasticity | 0 |
| PARAM_VALUE | 1 | objagg->obj_ht.p.min_size | 4-u16max |
| PARAM_VALUE | 1 | objagg->obj_ht.rhlist | 0 |
| PARAM_VALUE | 1 | objagg->obj_ht.run_work.func | 0 |
| PARAM_VALUE | 1 | objagg->obj_ht.tbl->size | 0-4294967295 |
| PARAM_VALUE | 1 | objagg->ops | 513021901943496704 |
| PARAM_VALUE | 1 | objagg->ops->delta_check | 6532610917181788160 |
| PARAM_VALUE | 1 | objagg->ops->delta_create | 899933538010402816 |
| PARAM_VALUE | 1 | objagg->ops->delta_destroy | 7703451181295489024 |
| PARAM_VALUE | 1 | objagg->ops->root_create | 5355764697004888064 |
| PARAM_VALUE | 1 | objagg->ops->root_destroy | 6486793509058199552 |
| PARAM_VALUE | 1 | objagg->priv | 5662859272731041792 |
| PARAM_VALUE | 1 | objagg->root_ida.xa.xa_flags | 33554437 |
| PARAM_VALUE | 1 | objagg->root_ida.xa.xa_head | 0 |
| PARAM_VALUE | 2 | key_id | 1,3,5-8,30 |
| BUF_SIZE | 1 | objagg | 584 |
| BUF_SIZE | 1 | objagg | 584 |
| DATA_SOURCE | 0 | world | $0 |
| DATA_SOURCE | 1 | objagg | $1 |
| NO_OVERFLOW_SIMPLE | 1 | objagg->obj_ht.tbl->size |
lib/test_objagg.c test_hints_case() -> world_obj_get()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | world | 2307638881720102912 |
| PARAM_VALUE | 1 | objagg | 4096-ptr_max |
| PARAM_VALUE | 1 | objagg->ht_params.head_offset | 0 |
| PARAM_VALUE | 1 | objagg->ht_params.key_len | 4 |
| PARAM_VALUE | 1 | objagg->ht_params.key_offset | 56 |
| PARAM_VALUE | 1 | objagg->obj_ht.key_len | 0-u16max |
| PARAM_VALUE | 1 | objagg->obj_ht.max_elems | 0-2147483646,2147483648 |
| PARAM_VALUE | 1 | objagg->obj_ht.nelems.counter | s32min-s32max |
| PARAM_VALUE | 1 | objagg->obj_ht.p.insecure_elasticity | 0 |
| PARAM_VALUE | 1 | objagg->obj_ht.p.min_size | 4-u16max |
| PARAM_VALUE | 1 | objagg->obj_ht.rhlist | 0 |
| PARAM_VALUE | 1 | objagg->obj_ht.run_work.func | 0 |
| PARAM_VALUE | 1 | objagg->obj_ht.tbl->size | 0-4294967295 |
| PARAM_VALUE | 1 | objagg->ops | 513021901943496704 |
| PARAM_VALUE | 1 | objagg->ops->delta_check | 6532610917181788160 |
| PARAM_VALUE | 1 | objagg->ops->delta_create | 899933538010402816 |
| PARAM_VALUE | 1 | objagg->ops->delta_destroy | 7703451181295489024 |
| PARAM_VALUE | 1 | objagg->ops->root_create | 5355764697004888064 |
| PARAM_VALUE | 1 | objagg->ops->root_destroy | 6486793509058199552 |
| PARAM_VALUE | 1 | objagg->priv | 2307638881720102912 |
| PARAM_VALUE | 1 | objagg->root_ida.xa.xa_flags | 33554437 |
| PARAM_VALUE | 1 | objagg->root_ida.xa.xa_head | 0 |
| BUF_SIZE | 1 | objagg | 584 |
| BUF_SIZE | 1 | objagg | 584 |
| DATA_SOURCE | 1 | objagg | r objagg_create |
| NO_OVERFLOW_SIMPLE | 1 | objagg->obj_ht.tbl->size |
lib/test_objagg.c test_hints_case2() -> world_obj_get()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | world | 695691696368566272 |
| PARAM_VALUE | 1 | objagg | 4096-ptr_max |
| PARAM_VALUE | 1 | objagg->ht_params.head_offset | 0 |
| PARAM_VALUE | 1 | objagg->ht_params.key_len | 4 |
| PARAM_VALUE | 1 | objagg->ht_params.key_offset | 56 |
| PARAM_VALUE | 1 | objagg->obj_ht.key_len | 0-u16max |
| PARAM_VALUE | 1 | objagg->obj_ht.max_elems | 0-2147483646,2147483648 |
| PARAM_VALUE | 1 | objagg->obj_ht.nelems.counter | s32min-s32max |
| PARAM_VALUE | 1 | objagg->obj_ht.p.insecure_elasticity | 0 |
| PARAM_VALUE | 1 | objagg->obj_ht.p.min_size | 4-u16max |
| PARAM_VALUE | 1 | objagg->obj_ht.rhlist | 0 |
| PARAM_VALUE | 1 | objagg->obj_ht.run_work.func | 0 |
| PARAM_VALUE | 1 | objagg->obj_ht.tbl->size | 0-4294967295 |
| PARAM_VALUE | 1 | objagg->ops | 513021901943496704 |
| PARAM_VALUE | 1 | objagg->ops->delta_check | 6532610917181788160 |
| PARAM_VALUE | 1 | objagg->ops->delta_create | 899933538010402816 |
| PARAM_VALUE | 1 | objagg->ops->delta_destroy | 7703451181295489024 |
| PARAM_VALUE | 1 | objagg->ops->root_create | 5355764697004888064 |
| PARAM_VALUE | 1 | objagg->ops->root_destroy | 6486793509058199552 |
| PARAM_VALUE | 1 | objagg->priv | 695691696368566272 |
| PARAM_VALUE | 1 | objagg->root_ida.xa.xa_flags | 33554437 |
| PARAM_VALUE | 1 | objagg->root_ida.xa.xa_head | 0 |
| BUF_SIZE | 1 | objagg | 584 |
| BUF_SIZE | 1 | objagg | 584 |
| DATA_SOURCE | 1 | objagg | r objagg_create |
| NO_OVERFLOW_SIMPLE | 1 | objagg->obj_ht.tbl->size |
lib/test_objagg.c test_nodelta_obj_get() -> world_obj_get()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | world | 3677385442459394048 |
| PARAM_VALUE | 0 | world->root_count | 0 |
| PARAM_VALUE | 1 | objagg | 4096-ptr_max |
| PARAM_VALUE | 1 | objagg->ht_params.head_offset | 0 |
| PARAM_VALUE | 1 | objagg->ht_params.key_len | 4 |
| PARAM_VALUE | 1 | objagg->ht_params.key_offset | 56 |
| PARAM_VALUE | 1 | objagg->obj_ht.key_len | 0-u16max |
| PARAM_VALUE | 1 | objagg->obj_ht.max_elems | 0-2147483646,2147483648 |
| PARAM_VALUE | 1 | objagg->obj_ht.p.insecure_elasticity | 0 |
| PARAM_VALUE | 1 | objagg->obj_ht.p.min_size | 4-u16max |
| PARAM_VALUE | 1 | objagg->obj_ht.rhlist | 0 |
| PARAM_VALUE | 1 | objagg->obj_ht.run_work.func | 0 |
| PARAM_VALUE | 1 | objagg->obj_ht.tbl->size | 0-4294967295 |
| PARAM_VALUE | 1 | objagg->ops | 8991132021121126400 |
| PARAM_VALUE | 1 | objagg->ops->delta_check | 4706346761564774400 |
| PARAM_VALUE | 1 | objagg->ops->delta_create | 7749549450181455872 |
| PARAM_VALUE | 1 | objagg->ops->delta_destroy | 6756229003579912192 |
| PARAM_VALUE | 1 | objagg->ops->root_create | 5355764697004888064 |
| PARAM_VALUE | 1 | objagg->ops->root_destroy | 6486793509058199552 |
| PARAM_VALUE | 1 | objagg->priv | 3677385442459394048 |
| PARAM_VALUE | 1 | objagg->root_ida.xa.xa_flags | 33554437 |
| PARAM_VALUE | 1 | objagg->root_ida.xa.xa_head | 0 |
| PARAM_VALUE | 2 | key_id | 0-31 |
| BUF_SIZE | 1 | objagg | 584 |
| BUF_SIZE | 1 | objagg | 584 |
| DATA_SOURCE | 0 | world | $0 |
| DATA_SOURCE | 1 | objagg | $1 |
| DATA_SOURCE | 2 | key_id | $2 |