Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
lib/test_objagg.c check_expect_hints_stats() -> __check_expect_stats()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | stats | 4096-ptr_max |
| PARAM_VALUE | 0 | stats->stats_info_count | 0-s32max |
| PARAM_VALUE | 1 | expect_stats | 1301862691308405268 |
| PARAM_VALUE | 2 | errmsg | 734912527689302016 |
| BUF_SIZE | 0 | stats | 8-s32max |
| BUF_SIZE | 0 | stats | 8-s32max |
| DATA_SOURCE | 0 | stats | r objagg_hints_stats_get |
| DATA_SOURCE | 1 | expect_stats | $1 |
| DATA_SOURCE | 2 | errmsg | $2 |
lib/test_objagg.c check_expect_stats() -> __check_expect_stats()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | stats | 4096-ptr_max |
| PARAM_VALUE | 0 | stats->stats_info_count | 0-s32max |
| PARAM_VALUE | 1 | expect_stats | 4096-ptr_max |
| PARAM_VALUE | 1 | expect_stats->info_count | 0-7 |
| PARAM_VALUE | 2 | errmsg | 734912527689302016,3546232324670926848,8565925022760001536 |
| PARAM_VALUE | 2 | *errmsg | 1307293462077636608,2474657846285090816,4142473811965485056,5843512640783241216,7076472156993429504,8298209105072345088,8548766194084065280 |
| BUF_SIZE | 0 | stats | 8-s32max |
| BUF_SIZE | 0 | stats | 8-s32max |
| DATA_SOURCE | 0 | stats | r objagg_stats_get |
| DATA_SOURCE | 1 | expect_stats | $1 |
| DATA_SOURCE | 2 | errmsg | $2 |