Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
lib/test_objagg.c test_delta_action_item() -> check_expect_stats()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | objagg | 4096-ptr_max |
| PARAM_VALUE | 0 | objagg->ht_params.head_offset | 0 |
| PARAM_VALUE | 0 | objagg->ht_params.key_len | 4 |
| PARAM_VALUE | 0 | objagg->ht_params.key_offset | 56 |
| PARAM_VALUE | 0 | objagg->obj_ht.key_len | 0-u16max |
| PARAM_VALUE | 0 | objagg->obj_ht.max_elems | 0-2147483646,2147483648 |
| PARAM_VALUE | 0 | objagg->obj_ht.p.insecure_elasticity | 0 |
| PARAM_VALUE | 0 | objagg->obj_ht.p.min_size | 4-u16max |
| PARAM_VALUE | 0 | objagg->obj_ht.rhlist | 0 |
| PARAM_VALUE | 0 | objagg->obj_ht.run_work.func | 0 |
| PARAM_VALUE | 0 | objagg->obj_ht.tbl->size | 0-4294967295 |
| PARAM_VALUE | 0 | objagg->ops | 513021901943496704 |
| PARAM_VALUE | 0 | objagg->ops->delta_check | 6532610917181788160 |
| PARAM_VALUE | 0 | objagg->ops->delta_create | 899933538010402816 |
| PARAM_VALUE | 0 | objagg->ops->delta_destroy | 7703451181295489024 |
| PARAM_VALUE | 0 | objagg->ops->root_create | 5355764697004888064 |
| PARAM_VALUE | 0 | objagg->ops->root_destroy | 6486793509058199552 |
| PARAM_VALUE | 0 | objagg->priv | 5662859272731041792 |
| PARAM_VALUE | 0 | objagg->root_ida.xa.xa_flags | 33554437 |
| PARAM_VALUE | 0 | objagg->root_ida.xa.xa_head | 0 |
| PARAM_VALUE | 1 | expect_stats | 4096-ptr_max |
| PARAM_VALUE | 1 | expect_stats->info_count | 0-7 |
| PARAM_VALUE | 2 | errmsg | 3546232324670926848 |
| BUF_SIZE | 0 | objagg | 584 |
| BUF_SIZE | 0 | objagg | 584 |
| DATA_SOURCE | 0 | objagg | $1 |
| NO_OVERFLOW_SIMPLE | 0 | objagg->obj_ht.tbl->size |
lib/test_objagg.c test_hints_case() -> check_expect_stats()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | objagg | 4096-ptr_max |
| PARAM_VALUE | 0 | objagg->hints->node_ht.tbl->hash_rnd | 0-4294967295 |
| PARAM_VALUE | 0 | objagg->hints->node_ht.tbl->nest | 0-4294967295 |
| PARAM_VALUE | 0 | objagg->hints->node_ht.tbl->size | 0-4294967295 |
| PARAM_VALUE | 0 | objagg->ht_params.head_offset | 0 |
| PARAM_VALUE | 0 | objagg->ht_params.key_len | 4 |
| PARAM_VALUE | 0 | objagg->ht_params.key_offset | 56 |
| PARAM_VALUE | 0 | objagg->obj_count | 0-4294967295 |
| PARAM_VALUE | 0 | objagg->obj_ht.key_len | 0-u16max |
| PARAM_VALUE | 0 | objagg->obj_ht.max_elems | 0-2147483646,2147483648 |
| PARAM_VALUE | 0 | objagg->obj_ht.nelems.counter | s32min-s32max |
| PARAM_VALUE | 0 | objagg->obj_ht.p.insecure_elasticity | 0 |
| PARAM_VALUE | 0 | objagg->obj_ht.p.min_size | 4-u16max |
| PARAM_VALUE | 0 | objagg->obj_ht.rhlist | 0 |
| PARAM_VALUE | 0 | objagg->obj_ht.run_irq_work.node.a_flags.counter | s32min-s32max |
| PARAM_VALUE | 0 | objagg->obj_ht.run_irq_work.node.u_flags | 0-4294967295 |
| PARAM_VALUE | 0 | objagg->obj_ht.run_work.func | 0 |
| PARAM_VALUE | 0 | objagg->obj_ht.tbl->hash_rnd | 0-4294967295 |
| PARAM_VALUE | 0 | objagg->obj_ht.tbl->nest | 0-4294967295 |
| PARAM_VALUE | 0 | objagg->obj_ht.tbl->size | 0-4294967295 |
| PARAM_VALUE | 0 | objagg->ops | 513021901943496704 |
| PARAM_VALUE | 0 | objagg->ops->delta_check | 6532610917181788160 |
| PARAM_VALUE | 0 | objagg->ops->delta_create | 899933538010402816 |
| PARAM_VALUE | 0 | objagg->ops->delta_destroy | 7703451181295489024 |
| PARAM_VALUE | 0 | objagg->ops->root_create | 5355764697004888064 |
| PARAM_VALUE | 0 | objagg->ops->root_destroy | 6486793509058199552 |
| PARAM_VALUE | 0 | objagg->priv | 2307638881720102912 |
| PARAM_VALUE | 0 | objagg->priv->delta_count | 0-4294967295 |
| PARAM_VALUE | 0 | objagg->priv->erp_table->erp_core->bf->lock.first_waiter->list.next | 5159360019465732096 |
| PARAM_VALUE | 0 | objagg->priv->erp_table->erp_core->bf->lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | objagg->priv->erp_table->erp_core->bf->lock.first_waiter->list.prev->prev | 0,5159360019465732096 |
| PARAM_VALUE | 0 | objagg->priv->erp_table->erp_core->bf->lock.first_waiter->magic | 5159360019465732096 |
| PARAM_VALUE | 0 | objagg->priv->erp_table->erp_core->bf->lock.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | objagg->priv->erp_table->erp_core->bf->lock.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | objagg->priv->erp_table->erp_core->bf->lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | objagg->priv->erp_table->num_max_atcam_erps | 0-4294967295 |
| PARAM_VALUE | 0 | objagg->priv->erp_table->ops->erp_create | 903527341939081216,5503620461547425792,9058474647357362176 |
| PARAM_VALUE | 0 | objagg->priv->erp_table->ops->erp_destroy | 765168036540801024,1826839957231652864,4065485671434936320,6447157295124811776 |
| PARAM_VALUE | 0 | objagg->root_ida.xa.xa_flags | 33554437 |
| PARAM_VALUE | 0 | objagg->root_ida.xa.xa_head | 0 |
| PARAM_VALUE | 0 | *objagg->priv->erp_table->erp_core->bf->lock.first_waiter->task->blocked_lock.owner | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 1 | expect_stats | 1301862691308404752 |
| PARAM_VALUE | 2 | errmsg | 8565925022760001536 |
| BUF_SIZE | 0 | objagg | 584 |
| BUF_SIZE | 0 | objagg | 584 |
| DATA_SOURCE | 0 | objagg | r objagg_create |
| NO_OVERFLOW_SIMPLE | 0 | objagg->obj_ht.tbl->size |
lib/test_objagg.c test_hints_case2() -> check_expect_stats()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | objagg | 4096-ptr_max |
| PARAM_VALUE | 0 | objagg->hints->node_ht.tbl->hash_rnd | 0-4294967295 |
| PARAM_VALUE | 0 | objagg->hints->node_ht.tbl->nest | 0-4294967295 |
| PARAM_VALUE | 0 | objagg->hints->node_ht.tbl->size | 0-4294967295 |
| PARAM_VALUE | 0 | objagg->ht_params.head_offset | 0 |
| PARAM_VALUE | 0 | objagg->ht_params.key_len | 4 |
| PARAM_VALUE | 0 | objagg->ht_params.key_offset | 56 |
| PARAM_VALUE | 0 | objagg->obj_count | 0-4294967295 |
| PARAM_VALUE | 0 | objagg->obj_ht.key_len | 0-u16max |
| PARAM_VALUE | 0 | objagg->obj_ht.max_elems | 0-2147483646,2147483648 |
| PARAM_VALUE | 0 | objagg->obj_ht.nelems.counter | s32min-s32max |
| PARAM_VALUE | 0 | objagg->obj_ht.p.insecure_elasticity | 0 |
| PARAM_VALUE | 0 | objagg->obj_ht.p.min_size | 4-u16max |
| PARAM_VALUE | 0 | objagg->obj_ht.rhlist | 0 |
| PARAM_VALUE | 0 | objagg->obj_ht.run_irq_work.node.a_flags.counter | s32min-s32max |
| PARAM_VALUE | 0 | objagg->obj_ht.run_irq_work.node.u_flags | 0-4294967295 |
| PARAM_VALUE | 0 | objagg->obj_ht.run_work.func | 0 |
| PARAM_VALUE | 0 | objagg->obj_ht.tbl->hash_rnd | 0-4294967295 |
| PARAM_VALUE | 0 | objagg->obj_ht.tbl->nest | 0-4294967295 |
| PARAM_VALUE | 0 | objagg->obj_ht.tbl->size | 0-4294967295 |
| PARAM_VALUE | 0 | objagg->ops | 513021901943496704 |
| PARAM_VALUE | 0 | objagg->ops->delta_check | 6532610917181788160 |
| PARAM_VALUE | 0 | objagg->ops->delta_create | 899933538010402816 |
| PARAM_VALUE | 0 | objagg->ops->delta_destroy | 7703451181295489024 |
| PARAM_VALUE | 0 | objagg->ops->root_create | 5355764697004888064 |
| PARAM_VALUE | 0 | objagg->ops->root_destroy | 6486793509058199552 |
| PARAM_VALUE | 0 | objagg->priv | 695691696368566272 |
| PARAM_VALUE | 0 | objagg->priv->delta_count | 0-4294967295 |
| PARAM_VALUE | 0 | objagg->priv->erp_table->erp_core->bf->lock.first_waiter->list.next | 5159360019465732096 |
| PARAM_VALUE | 0 | objagg->priv->erp_table->erp_core->bf->lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | objagg->priv->erp_table->erp_core->bf->lock.first_waiter->list.prev->prev | 0,5159360019465732096 |
| PARAM_VALUE | 0 | objagg->priv->erp_table->erp_core->bf->lock.first_waiter->magic | 5159360019465732096 |
| PARAM_VALUE | 0 | objagg->priv->erp_table->erp_core->bf->lock.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | objagg->priv->erp_table->erp_core->bf->lock.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | objagg->priv->erp_table->erp_core->bf->lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | objagg->priv->erp_table->num_max_atcam_erps | 0-4294967295 |
| PARAM_VALUE | 0 | objagg->priv->erp_table->ops->erp_create | 903527341939081216,5503620461547425792,9058474647357362176 |
| PARAM_VALUE | 0 | objagg->priv->erp_table->ops->erp_destroy | 765168036540801024,1826839957231652864,4065485671434936320,6447157295124811776 |
| PARAM_VALUE | 0 | objagg->root_ida.xa.xa_flags | 33554437 |
| PARAM_VALUE | 0 | objagg->root_ida.xa.xa_head | 0 |
| PARAM_VALUE | 0 | *objagg->priv->erp_table->erp_core->bf->lock.first_waiter->task->blocked_lock.owner | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 1 | expect_stats | 1301862691308405268 |
| PARAM_VALUE | 2 | errmsg | 734912527689302016 |
| PARAM_VALUE | 2 | *errmsg | 1307293462077636608,2474657846285090816,4142473811965485056,5843512640783241216,7076472156993429504,8298209105072345088,8548766194084065280 |
| PARAM_VALUE | 2 | *(*errmsg) | 0 |
| BUF_SIZE | 0 | objagg | 584 |
| BUF_SIZE | 0 | objagg | 584 |
| DATA_SOURCE | 0 | objagg | r objagg_create |
| NO_OVERFLOW_SIMPLE | 0 | objagg->obj_ht.tbl->size |