Defined in 1 files as a function:

No references found in the database

Smatch caller information:

lib/test_bitmap.c test_bitmap_arr32() -> __check_eq_ulong()

Type Parameter Key Value
PARAM_VALUE 0 srcfile 1753354708375658496
PARAM_VALUE 1 line 709
PARAM_VALUE 2 exp_ulong 0-u32max
PARAM_VALUE 3 x 2779096485
BUF_SIZE 0 srcfile 18
STR_LEN 0 srcfile 17
TERMINATED 0 srcfile 1

lib/test_bitmap.c test_bitmap_arr64() -> __check_eq_ulong()

Type Parameter Key Value
PARAM_VALUE 0 srcfile 1753354708375658496
PARAM_VALUE 1 line 744
PARAM_VALUE 2 exp_ulong 0-u32max
PARAM_VALUE 3 x 2779096485
BUF_SIZE 0 srcfile 18
STR_LEN 0 srcfile 17
TERMINATED 0 srcfile 1

lib/test_bitmap.c test_bitmap_find_next_zero_area_off() -> __check_eq_ulong()

Type Parameter Key Value
PARAM_VALUE 0 srcfile 1753354708375658496
PARAM_VALUE 1 line 254
PARAM_VALUE 2 exp_ulong 0
PARAM_VALUE 3 x 0-u32max
BUF_SIZE 0 srcfile 18
STR_LEN 0 srcfile 17
TERMINATED 0 srcfile 1

lib/test_bitmap.c test_bitmap_find_next_zero_area_off() -> __check_eq_ulong()

Type Parameter Key Value
PARAM_VALUE 0 srcfile 1753354708375658496
PARAM_VALUE 1 line 256
PARAM_VALUE 2 exp_ulong 0
PARAM_VALUE 3 x 0-u32max
BUF_SIZE 0 srcfile 18
STR_LEN 0 srcfile 17
TERMINATED 0 srcfile 1

lib/test_bitmap.c test_bitmap_find_next_zero_area_off() -> __check_eq_ulong()

Type Parameter Key Value
PARAM_VALUE 0 srcfile 1753354708375658496
PARAM_VALUE 1 line 258
PARAM_VALUE 2 exp_ulong 163
PARAM_VALUE 3 x 0-u32max
BUF_SIZE 0 srcfile 18
STR_LEN 0 srcfile 17
TERMINATED 0 srcfile 1

lib/test_bitmap.c test_bitmap_find_next_zero_area_off() -> __check_eq_ulong()

Type Parameter Key Value
PARAM_VALUE 0 srcfile 1753354708375658496
PARAM_VALUE 1 line 260
PARAM_VALUE 2 exp_ulong 60
PARAM_VALUE 3 x 0-u32max
BUF_SIZE 0 srcfile 18
STR_LEN 0 srcfile 17
TERMINATED 0 srcfile 1

lib/test_bitmap.c test_bitmap_find_next_zero_area_off() -> __check_eq_ulong()

Type Parameter Key Value
PARAM_VALUE 0 srcfile 1753354708375658496
PARAM_VALUE 1 line 262
PARAM_VALUE 2 exp_ulong 160
PARAM_VALUE 3 x 0-u32max
BUF_SIZE 0 srcfile 18
STR_LEN 0 srcfile 17
TERMINATED 0 srcfile 1

lib/test_bitmap.c test_bitmap_find_next_zero_area_off() -> __check_eq_ulong()

Type Parameter Key Value
PARAM_VALUE 0 srcfile 1753354708375658496
PARAM_VALUE 1 line 264
PARAM_VALUE 2 exp_ulong 60
PARAM_VALUE 3 x 0-u32max
BUF_SIZE 0 srcfile 18
STR_LEN 0 srcfile 17
TERMINATED 0 srcfile 1

lib/test_bitmap.c test_bitmap_find_next_zero_area_off() -> __check_eq_ulong()

Type Parameter Key Value
PARAM_VALUE 0 srcfile 1753354708375658496
PARAM_VALUE 1 line 266
PARAM_VALUE 2 exp_ulong 100
PARAM_VALUE 3 x 0-u32max
BUF_SIZE 0 srcfile 18
STR_LEN 0 srcfile 17
TERMINATED 0 srcfile 1

lib/test_bitmap.c test_bitmap_find_next_zero_area_off() -> __check_eq_ulong()

Type Parameter Key Value
PARAM_VALUE 0 srcfile 1753354708375658496
PARAM_VALUE 1 line 268
PARAM_VALUE 2 exp_ulong 160
PARAM_VALUE 3 x 0-u32max
BUF_SIZE 0 srcfile 18
STR_LEN 0 srcfile 17
TERMINATED 0 srcfile 1

lib/test_bitmap.c test_bitmap_find_next_zero_area_off() -> __check_eq_ulong()

Type Parameter Key Value
PARAM_VALUE 0 srcfile 1753354708375658496
PARAM_VALUE 1 line 270
PARAM_VALUE 2 exp_ulong 1
PARAM_VALUE 3 x 0-1
BUF_SIZE 0 srcfile 18
FUZZY_MAX 3 x 1
STR_LEN 0 srcfile 17
TERMINATED 0 srcfile 1
HARD_MAX 3 x 1

lib/test_bitmap.c test_bitmap_print_buf() -> __check_eq_ulong()

Type Parameter Key Value
PARAM_VALUE 0 srcfile 1753354708375658496
PARAM_VALUE 1 line 1267
PARAM_VALUE 2 exp_ulong 0-u32max
PARAM_VALUE 3 x 0-8192
BUF_SIZE 0 srcfile 18
CAPPED_DATA 3 x 1
DATA_SOURCE 3 x r bitmap_print_bitmask_to_buf
STR_LEN 0 srcfile 17
BIT_INFO 3 x 0x0,0x3fff
TERMINATED 0 srcfile 1

lib/test_bitmap.c test_bitmap_print_buf() -> __check_eq_ulong()

Type Parameter Key Value
PARAM_VALUE 0 srcfile 1753354708375658496
PARAM_VALUE 1 line 1272
PARAM_VALUE 2 exp_ulong 0-u32max
PARAM_VALUE 3 x 0-8192
BUF_SIZE 0 srcfile 18
CAPPED_DATA 3 x 1
DATA_SOURCE 3 x r bitmap_print_list_to_buf
STR_LEN 0 srcfile 17
BIT_INFO 3 x 0x0,0x3fff
TERMINATED 0 srcfile 1

lib/test_bitmap.c test_bitmap_print_buf() -> __check_eq_ulong()

Type Parameter Key Value
PARAM_VALUE 0 srcfile 1753354708375658496
PARAM_VALUE 1 line 1279
PARAM_VALUE 2 exp_ulong 0-u32max
PARAM_VALUE 3 x 0-8192
BUF_SIZE 0 srcfile 18
CAPPED_DATA 3 x 1
DATA_SOURCE 3 x r bitmap_print_list_to_buf
STR_LEN 0 srcfile 17
BIT_INFO 3 x 0x0,0x3fff
TERMINATED 0 srcfile 1

lib/test_bitmap.c test_bitmap_read_write() -> __check_eq_ulong()

Type Parameter Key Value
PARAM_VALUE 0 srcfile 1753354708375658496
PARAM_VALUE 1 line 1446
PARAM_VALUE 2 exp_ulong 21
BUF_SIZE 0 srcfile 18
DATA_SOURCE 3 x r bitmap_read
STR_LEN 0 srcfile 17
TERMINATED 0 srcfile 1

lib/test_bitmap.c test_bitmap_read_write() -> __check_eq_ulong()

Type Parameter Key Value
PARAM_VALUE 0 srcfile 1753354708375658496
PARAM_VALUE 1 line 1450
PARAM_VALUE 2 exp_ulong 5
BUF_SIZE 0 srcfile 18
DATA_SOURCE 3 x r bitmap_read
STR_LEN 0 srcfile 17
TERMINATED 0 srcfile 1

lib/test_bitmap.c test_bitmap_read_write() -> __check_eq_ulong()

Type Parameter Key Value
PARAM_VALUE 0 srcfile 1753354708375658496
PARAM_VALUE 1 line 1453
PARAM_VALUE 2 exp_ulong 181
BUF_SIZE 0 srcfile 18
DATA_SOURCE 3 x r bitmap_read
STR_LEN 0 srcfile 17
TERMINATED 0 srcfile 1

lib/test_bitmap.c test_bitmap_region() -> __check_eq_ulong()

Type Parameter Key Value
PARAM_VALUE 0 srcfile 1753354708375658496
PARAM_VALUE 1 line 353
PARAM_VALUE 2 exp_ulong 0-s32max
PARAM_VALUE 3 x 0
BUF_SIZE 0 srcfile 18
CAPPED_DATA 2 exp_ulong 1
DATA_SOURCE 2 exp_ulong r bitmap_find_free_region
STR_LEN 0 srcfile 17
BIT_INFO 2 exp_ulong 0x0,0x7fffffff
TERMINATED 0 srcfile 1

lib/test_bitmap.c test_bitmap_region() -> __check_eq_ulong()

Type Parameter Key Value
PARAM_VALUE 0 srcfile 1753354708375658496
PARAM_VALUE 1 line 355
PARAM_VALUE 2 exp_ulong 0-s32max
BUF_SIZE 0 srcfile 18
CAPPED_DATA 2 exp_ulong 1
DATA_SOURCE 2 exp_ulong r bitmap_find_free_region
STR_LEN 0 srcfile 17
BIT_INFO 2 exp_ulong 0x0,0x7fffffff
TERMINATED 0 srcfile 1

lib/test_bitmap.c test_bitmap_region() -> __check_eq_ulong()

Type Parameter Key Value
PARAM_VALUE 0 srcfile 1753354708375658496
PARAM_VALUE 1 line 362
PARAM_VALUE 2 exp_ulong 0-u32max
PARAM_VALUE 3 x 0
BUF_SIZE 0 srcfile 18
STR_LEN 0 srcfile 17
TERMINATED 0 srcfile 1

lib/test_bitmap.c test_bitmap_weight() -> __check_eq_ulong()

Type Parameter Key Value
PARAM_VALUE 0 srcfile 1753354708375658496
PARAM_VALUE 1 line 908
PARAM_VALUE 2 exp_ulong 15
PARAM_VALUE 3 x 0-u32max
BUF_SIZE 0 srcfile 18
DATA_SOURCE 3 x r bitmap_weight
STR_LEN 0 srcfile 17
TERMINATED 0 srcfile 1

lib/test_bitmap.c test_bitmap_weight() -> __check_eq_ulong()

Type Parameter Key Value
PARAM_VALUE 0 srcfile 1753354708375658496
PARAM_VALUE 1 line 909
PARAM_VALUE 2 exp_ulong 8
PARAM_VALUE 3 x 0-u32max
BUF_SIZE 0 srcfile 18
DATA_SOURCE 3 x r bitmap_weight
STR_LEN 0 srcfile 17
TERMINATED 0 srcfile 1

lib/test_bitmap.c test_bitmap_weight() -> __check_eq_ulong()

Type Parameter Key Value
PARAM_VALUE 0 srcfile 1753354708375658496
PARAM_VALUE 1 line 910
PARAM_VALUE 2 exp_ulong 7
PARAM_VALUE 3 x 0-u32max
BUF_SIZE 0 srcfile 18
DATA_SOURCE 3 x r bitmap_weight_from
STR_LEN 0 srcfile 17
TERMINATED 0 srcfile 1

lib/test_bitmap.c test_bitmap_weight() -> __check_eq_ulong()

Type Parameter Key Value
PARAM_VALUE 0 srcfile 1753354708375658496
PARAM_VALUE 1 line 917
PARAM_VALUE 2 exp_ulong 0-u32max
PARAM_VALUE 3 x 0-u32max
BUF_SIZE 0 srcfile 18
DATA_SOURCE 3 x r bitmap_weight
STR_LEN 0 srcfile 17
TERMINATED 0 srcfile 1

lib/test_bitmap.c test_bitmap_weight() -> __check_eq_ulong()

Type Parameter Key Value
PARAM_VALUE 0 srcfile 1753354708375658496
PARAM_VALUE 1 line 922
PARAM_VALUE 2 exp_ulong 0
PARAM_VALUE 3 x 0-1
BUF_SIZE 0 srcfile 18
FUZZY_MAX 3 x 1
STR_LEN 0 srcfile 17
TERMINATED 0 srcfile 1
HARD_MAX 3 x 1

lib/test_bitmap.c test_bitmap_weight() -> __check_eq_ulong()

Type Parameter Key Value
PARAM_VALUE 0 srcfile 1753354708375658496
PARAM_VALUE 1 line 931
PARAM_VALUE 2 exp_ulong 30
PARAM_VALUE 3 x 0-u32max
BUF_SIZE 0 srcfile 18
STR_LEN 0 srcfile 17
TERMINATED 0 srcfile 1

lib/test_bitmap.c test_bitmap_weight() -> __check_eq_ulong()

Type Parameter Key Value
PARAM_VALUE 0 srcfile 1753354708375658496
PARAM_VALUE 1 line 932
PARAM_VALUE 2 exp_ulong 100
PARAM_VALUE 3 x 0-u32max
BUF_SIZE 0 srcfile 18
STR_LEN 0 srcfile 17
TERMINATED 0 srcfile 1

lib/test_bitmap.c test_bitmap_weight() -> __check_eq_ulong()

Type Parameter Key Value
PARAM_VALUE 0 srcfile 1753354708375658496
PARAM_VALUE 1 line 936
PARAM_VALUE 2 exp_ulong 1-127
PARAM_VALUE 3 x 0-u32max
BUF_SIZE 0 srcfile 18
STR_LEN 0 srcfile 17
TERMINATED 0 srcfile 1

lib/test_bitmap.c test_bitmap_write_helper() -> __check_eq_ulong()

Type Parameter Key Value
PARAM_VALUE 0 srcfile 1753354708375658496
PARAM_VALUE 1 line 1406
PARAM_VALUE 3 x 1-16045690984833335023
BUF_SIZE 0 srcfile 18
DATA_SOURCE 2 exp_ulong r bitmap_read
STR_LEN 0 srcfile 17
TERMINATED 0 srcfile 1

lib/test_bitmap.c test_find_nth_bit() -> __check_eq_ulong()

Type Parameter Key Value
PARAM_VALUE 0 srcfile 1753354708375658496
PARAM_VALUE 1 line 211
PARAM_VALUE 2 exp_ulong 10
PARAM_VALUE 3 x 0-u32max
BUF_SIZE 0 srcfile 18
STR_LEN 0 srcfile 17
TERMINATED 0 srcfile 1

lib/test_bitmap.c test_find_nth_bit() -> __check_eq_ulong()

Type Parameter Key Value
PARAM_VALUE 0 srcfile 1753354708375658496
PARAM_VALUE 1 line 212
PARAM_VALUE 2 exp_ulong 20
PARAM_VALUE 3 x 0-u32max
BUF_SIZE 0 srcfile 18
STR_LEN 0 srcfile 17
TERMINATED 0 srcfile 1

lib/test_bitmap.c test_find_nth_bit() -> __check_eq_ulong()

Type Parameter Key Value
PARAM_VALUE 0 srcfile 1753354708375658496
PARAM_VALUE 1 line 213
PARAM_VALUE 2 exp_ulong 30
PARAM_VALUE 3 x 0-u32max
BUF_SIZE 0 srcfile 18
STR_LEN 0 srcfile 17
TERMINATED 0 srcfile 1

lib/test_bitmap.c test_find_nth_bit() -> __check_eq_ulong()

Type Parameter Key Value
PARAM_VALUE 0 srcfile 1753354708375658496
PARAM_VALUE 1 line 214
PARAM_VALUE 2 exp_ulong 40
PARAM_VALUE 3 x 0-u32max
BUF_SIZE 0 srcfile 18
STR_LEN 0 srcfile 17
TERMINATED 0 srcfile 1

lib/test_bitmap.c test_find_nth_bit() -> __check_eq_ulong()

Type Parameter Key Value
PARAM_VALUE 0 srcfile 1753354708375658496
PARAM_VALUE 1 line 215
PARAM_VALUE 2 exp_ulong 50
PARAM_VALUE 3 x 0-u32max
BUF_SIZE 0 srcfile 18
STR_LEN 0 srcfile 17
TERMINATED 0 srcfile 1

lib/test_bitmap.c test_find_nth_bit() -> __check_eq_ulong()

Type Parameter Key Value
PARAM_VALUE 0 srcfile 1753354708375658496
PARAM_VALUE 1 line 216
PARAM_VALUE 2 exp_ulong 60
PARAM_VALUE 3 x 0-u32max
BUF_SIZE 0 srcfile 18
STR_LEN 0 srcfile 17
TERMINATED 0 srcfile 1

lib/test_bitmap.c test_find_nth_bit() -> __check_eq_ulong()

Type Parameter Key Value
PARAM_VALUE 0 srcfile 1753354708375658496
PARAM_VALUE 1 line 217
PARAM_VALUE 2 exp_ulong 80
PARAM_VALUE 3 x 0-u32max
BUF_SIZE 0 srcfile 18
STR_LEN 0 srcfile 17
TERMINATED 0 srcfile 1

lib/test_bitmap.c test_find_nth_bit() -> __check_eq_ulong()

Type Parameter Key Value
PARAM_VALUE 0 srcfile 1753354708375658496
PARAM_VALUE 1 line 218
PARAM_VALUE 2 exp_ulong 123
PARAM_VALUE 3 x 0-u32max
BUF_SIZE 0 srcfile 18
STR_LEN 0 srcfile 17
TERMINATED 0 srcfile 1

lib/test_bitmap.c test_find_nth_bit() -> __check_eq_ulong()

Type Parameter Key Value
PARAM_VALUE 0 srcfile 1753354708375658496
PARAM_VALUE 1 line 219
PARAM_VALUE 2 exp_ulong 0
PARAM_VALUE 3 x 0-1
BUF_SIZE 0 srcfile 18
FUZZY_MAX 3 x 1
STR_LEN 0 srcfile 17
TERMINATED 0 srcfile 1
HARD_MAX 3 x 1

lib/test_bitmap.c test_find_nth_bit() -> __check_eq_ulong()

Type Parameter Key Value
PARAM_VALUE 0 srcfile 1753354708375658496
PARAM_VALUE 1 line 221
PARAM_VALUE 2 exp_ulong 10
PARAM_VALUE 3 x 0-u32max
BUF_SIZE 0 srcfile 18
STR_LEN 0 srcfile 17
TERMINATED 0 srcfile 1

lib/test_bitmap.c test_find_nth_bit() -> __check_eq_ulong()

Type Parameter Key Value
PARAM_VALUE 0 srcfile 1753354708375658496
PARAM_VALUE 1 line 222
PARAM_VALUE 2 exp_ulong 20
PARAM_VALUE 3 x 0-u32max
BUF_SIZE 0 srcfile 18
STR_LEN 0 srcfile 17
TERMINATED 0 srcfile 1

lib/test_bitmap.c test_find_nth_bit() -> __check_eq_ulong()

Type Parameter Key Value
PARAM_VALUE 0 srcfile 1753354708375658496
PARAM_VALUE 1 line 223
PARAM_VALUE 2 exp_ulong 30
PARAM_VALUE 3 x 0-u32max
BUF_SIZE 0 srcfile 18
STR_LEN 0 srcfile 17
TERMINATED 0 srcfile 1

lib/test_bitmap.c test_find_nth_bit() -> __check_eq_ulong()

Type Parameter Key Value
PARAM_VALUE 0 srcfile 1753354708375658496
PARAM_VALUE 1 line 224
PARAM_VALUE 2 exp_ulong 40
PARAM_VALUE 3 x 0-u32max
BUF_SIZE 0 srcfile 18
STR_LEN 0 srcfile 17
TERMINATED 0 srcfile 1

lib/test_bitmap.c test_find_nth_bit() -> __check_eq_ulong()

Type Parameter Key Value
PARAM_VALUE 0 srcfile 1753354708375658496
PARAM_VALUE 1 line 225
PARAM_VALUE 2 exp_ulong 50
PARAM_VALUE 3 x 0-u32max
BUF_SIZE 0 srcfile 18
STR_LEN 0 srcfile 17
TERMINATED 0 srcfile 1

lib/test_bitmap.c test_find_nth_bit() -> __check_eq_ulong()

Type Parameter Key Value
PARAM_VALUE 0 srcfile 1753354708375658496
PARAM_VALUE 1 line 226
PARAM_VALUE 2 exp_ulong 60
PARAM_VALUE 3 x 0-u32max
BUF_SIZE 0 srcfile 18
STR_LEN 0 srcfile 17
TERMINATED 0 srcfile 1

lib/test_bitmap.c test_find_nth_bit() -> __check_eq_ulong()

Type Parameter Key Value
PARAM_VALUE 0 srcfile 1753354708375658496
PARAM_VALUE 1 line 227
PARAM_VALUE 2 exp_ulong 80
PARAM_VALUE 3 x 0-u32max
BUF_SIZE 0 srcfile 18
STR_LEN 0 srcfile 17
TERMINATED 0 srcfile 1

lib/test_bitmap.c test_find_nth_bit() -> __check_eq_ulong()

Type Parameter Key Value
PARAM_VALUE 0 srcfile 1753354708375658496
PARAM_VALUE 1 line 228
PARAM_VALUE 2 exp_ulong 123
PARAM_VALUE 3 x 0-u32max
BUF_SIZE 0 srcfile 18
STR_LEN 0 srcfile 17
TERMINATED 0 srcfile 1

lib/test_bitmap.c test_find_nth_bit() -> __check_eq_ulong()

Type Parameter Key Value
PARAM_VALUE 0 srcfile 1753354708375658496
PARAM_VALUE 1 line 229
PARAM_VALUE 2 exp_ulong 0
PARAM_VALUE 3 x 0-1
BUF_SIZE 0 srcfile 18
FUZZY_MAX 3 x 1
STR_LEN 0 srcfile 17
TERMINATED 0 srcfile 1
HARD_MAX 3 x 1

lib/test_bitmap.c test_find_nth_bit() -> __check_eq_ulong()

Type Parameter Key Value
PARAM_VALUE 0 srcfile 1753354708375658496
PARAM_VALUE 1 line 233
PARAM_VALUE 3 x 0-64
BUF_SIZE 0 srcfile 18
CAPPED_DATA 3 x 1
CAPPED_DATA 3 x 1
DATA_SOURCE 2 exp_ulong r find_nth_bit
DATA_SOURCE 3 x r find_next_bit
STR_LEN 0 srcfile 17
TERMINATED 0 srcfile 1