Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

lib/test_objagg.c __check_expect_stats() -> check_expect_stats_neigh()

Type Parameter Key Value
PARAM_VALUE 0 stats 4096-ptr_max
PARAM_VALUE 0 stats->stats_info 4096-ptr_max
PARAM_VALUE 0 stats->stats_info_count 1-7
PARAM_VALUE 1 expect_stats 4096-ptr_max
PARAM_VALUE 1 expect_stats->info 4096-ptr_max
PARAM_VALUE 2 pos 0-6
BUF_SIZE 0 stats 8-s32max
BUF_SIZE 0 stats 8-s32max
CAPPED_DATA 0 stats->stats_info_count 1
CAPPED_DATA 1 expect_stats->info_count 1
CAPPED_DATA 2 pos 1
DATA_SOURCE 0 stats $0
DATA_SOURCE 1 expect_stats $1
PARAM_COMPARE 1 expect_stats->info_count == $0->stats_info_count
PARAM_COMPARE 1 expect_stats->info_count > $2
PARAM_COMPARE 2 pos < $0->stats_info_count
PARAM_COMPARE 2 pos < $1->info_count