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_bitmap()

Type Parameter Key Value
PARAM_VALUE 0 srcfile 1753354708375658496
PARAM_VALUE 1 line 697
PARAM_VALUE 2 exp_bmap 2299837877562494976
PARAM_VALUE 3 bmap 3698964507464785920
PARAM_VALUE 4 nbits 1-959
BUF_SIZE 0 srcfile 18
BUF_SIZE 2 exp_bmap 120
BUF_SIZE 3 bmap 120
FUZZY_MAX 4 nbits 959
STR_LEN 0 srcfile 17
TERMINATED 0 srcfile 1
HARD_MAX 4 nbits 959

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

Type Parameter Key Value
PARAM_VALUE 0 srcfile 1753354708375658496
PARAM_VALUE 1 line 726
PARAM_VALUE 2 exp_bmap 2139891696339169280
PARAM_VALUE 3 bmap 3698964507464785920
PARAM_VALUE 4 nbits 1-959
BUF_SIZE 0 srcfile 18
BUF_SIZE 2 exp_bmap 120
BUF_SIZE 3 bmap 120
FUZZY_MAX 4 nbits 959
STR_LEN 0 srcfile 17
TERMINATED 0 srcfile 1
HARD_MAX 4 nbits 959

lib/test_bitmap.c test_bitmap_cut() -> __check_eq_bitmap()

Type Parameter Key Value
PARAM_VALUE 0 srcfile 1753354708375658496
PARAM_VALUE 1 line 1148
PARAM_VALUE 3 bmap 8159124499552014336
BUF_SIZE 0 srcfile 18
BUF_SIZE 2 exp_bmap 32
BUF_SIZE 3 bmap 40
BUF_SIZE 3 bmap 40
STR_LEN 0 srcfile 17
TERMINATED 0 srcfile 1

lib/test_bitmap.c test_bitmap_sg() -> __check_eq_bitmap()

Type Parameter Key Value
PARAM_VALUE 0 srcfile 1753354708375658496
PARAM_VALUE 1 line 423
PARAM_VALUE 2 exp_bmap 3080630557678718976
PARAM_VALUE 3 bmap 4538337905687805952
PARAM_VALUE 4 nbits 100
BUF_SIZE 0 srcfile 18
BUF_SIZE 2 exp_bmap 16
BUF_SIZE 3 bmap 16
STR_LEN 0 srcfile 17
TERMINATED 0 srcfile 1

lib/test_bitmap.c test_bitmap_sg() -> __check_eq_bitmap()

Type Parameter Key Value
PARAM_VALUE 0 srcfile 1753354708375658496
PARAM_VALUE 1 line 428
PARAM_VALUE 2 exp_bmap 395844970742693888
PARAM_VALUE 3 bmap 7185087449152143360
PARAM_VALUE 4 nbits 100
BUF_SIZE 0 srcfile 18
BUF_SIZE 2 exp_bmap 16
BUF_SIZE 3 bmap 16
STR_LEN 0 srcfile 17
TERMINATED 0 srcfile 1

lib/test_bitmap.c test_bitmap_sg() -> __check_eq_bitmap()

Type Parameter Key Value
PARAM_VALUE 0 srcfile 1753354708375658496
PARAM_VALUE 1 line 435
PARAM_VALUE 2 exp_bmap 7185087449152143360
PARAM_VALUE 3 bmap 4108764214317776896
PARAM_VALUE 4 nbits 100
BUF_SIZE 0 srcfile 18
BUF_SIZE 2 exp_bmap 16
BUF_SIZE 3 bmap 16
STR_LEN 0 srcfile 17
TERMINATED 0 srcfile 1

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

Type Parameter Key Value
PARAM_VALUE 0 srcfile 1753354708375658496
PARAM_VALUE 1 line 1381
PARAM_VALUE 2 exp_bmap 8586827341670969344
PARAM_VALUE 3 bmap 5229246936873111552
PARAM_VALUE 4 nbits 1000
BUF_SIZE 0 srcfile 18
BUF_SIZE 2 exp_bmap 128
BUF_SIZE 3 bmap 128
STR_LEN 0 srcfile 17
TERMINATED 0 srcfile 1

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

Type Parameter Key Value
PARAM_VALUE 0 srcfile 1753354708375658496
PARAM_VALUE 1 line 1391
PARAM_VALUE 2 exp_bmap 8586827341670969344
PARAM_VALUE 3 bmap 5229246936873111552
PARAM_VALUE 4 nbits 1000
BUF_SIZE 0 srcfile 18
BUF_SIZE 2 exp_bmap 128
BUF_SIZE 3 bmap 128
STR_LEN 0 srcfile 17
TERMINATED 0 srcfile 1

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

Type Parameter Key Value
PARAM_VALUE 0 srcfile 1753354708375658496
PARAM_VALUE 1 line 1404
PARAM_VALUE 2 exp_bmap 8586827341670969344
PARAM_VALUE 3 bmap 5229246936873111552
PARAM_VALUE 4 nbits 1000
BUF_SIZE 0 srcfile 18
BUF_SIZE 2 exp_bmap 128
BUF_SIZE 3 bmap 128
STR_LEN 0 srcfile 17
TERMINATED 0 srcfile 1

lib/test_bitmap.c test_for_each_clear_bit() -> __check_eq_bitmap()

Type Parameter Key Value
PARAM_VALUE 0 srcfile 1753354708375658496
PARAM_VALUE 1 line 958
PARAM_VALUE 2 exp_bmap 379027521643286528
PARAM_VALUE 3 bmap 1485630034226044928
PARAM_VALUE 4 nbits 500
BUF_SIZE 0 srcfile 18
BUF_SIZE 2 exp_bmap 64
BUF_SIZE 3 bmap 64
STR_LEN 0 srcfile 17
TERMINATED 0 srcfile 1

lib/test_bitmap.c test_for_each_clear_bit_from() -> __check_eq_bitmap()

Type Parameter Key Value
PARAM_VALUE 0 srcfile 1753354708375658496
PARAM_VALUE 1 line 987
PARAM_VALUE 2 exp_bmap 6790844004501245952
PARAM_VALUE 3 bmap 7526886221581692928
PARAM_VALUE 4 nbits 500
BUF_SIZE 0 srcfile 18
BUF_SIZE 2 exp_bmap 64
BUF_SIZE 3 bmap 64
STR_LEN 0 srcfile 17
TERMINATED 0 srcfile 1

lib/test_bitmap.c test_for_each_clear_bitrange() -> __check_eq_bitmap()

Type Parameter Key Value
PARAM_VALUE 0 srcfile 1753354708375658496
PARAM_VALUE 1 line 1032
PARAM_VALUE 2 exp_bmap 4568648794549800960
PARAM_VALUE 3 bmap 7006493135064432640
PARAM_VALUE 4 nbits 500
BUF_SIZE 0 srcfile 18
BUF_SIZE 2 exp_bmap 64
BUF_SIZE 3 bmap 64
STR_LEN 0 srcfile 17
TERMINATED 0 srcfile 1

lib/test_bitmap.c test_for_each_clear_bitrange_from() -> __check_eq_bitmap()

Type Parameter Key Value
PARAM_VALUE 0 srcfile 1753354708375658496
PARAM_VALUE 1 line 1091
PARAM_VALUE 2 exp_bmap 7387026961453735936
PARAM_VALUE 3 bmap 6983328734634582016
PARAM_VALUE 4 nbits 500
BUF_SIZE 0 srcfile 18
BUF_SIZE 2 exp_bmap 64
BUF_SIZE 3 bmap 64
STR_LEN 0 srcfile 17
TERMINATED 0 srcfile 1

lib/test_bitmap.c test_for_each_set_bit() -> __check_eq_bitmap()

Type Parameter Key Value
PARAM_VALUE 0 srcfile 1753354708375658496
PARAM_VALUE 1 line 862
PARAM_VALUE 2 exp_bmap 4715618039184867328
PARAM_VALUE 3 bmap 6564671618716622848
PARAM_VALUE 4 nbits 500
BUF_SIZE 0 srcfile 18
BUF_SIZE 2 exp_bmap 64
BUF_SIZE 3 bmap 64
STR_LEN 0 srcfile 17
TERMINATED 0 srcfile 1

lib/test_bitmap.c test_for_each_set_bit_from() -> __check_eq_bitmap()

Type Parameter Key Value
PARAM_VALUE 0 srcfile 1753354708375658496
PARAM_VALUE 1 line 891
PARAM_VALUE 2 exp_bmap 9201763484774043648
PARAM_VALUE 3 bmap 359553451706650624
PARAM_VALUE 4 nbits 500
BUF_SIZE 0 srcfile 18
BUF_SIZE 2 exp_bmap 64
BUF_SIZE 3 bmap 64
STR_LEN 0 srcfile 17
TERMINATED 0 srcfile 1

lib/test_bitmap.c test_for_each_set_bit_wrap() -> __check_eq_bitmap()

Type Parameter Key Value
PARAM_VALUE 0 srcfile 1753354708375658496
PARAM_VALUE 1 line 839
PARAM_VALUE 2 exp_bmap 6496103338412326912
PARAM_VALUE 3 bmap 1421381481035829248
PARAM_VALUE 4 nbits 500
BUF_SIZE 0 srcfile 18
BUF_SIZE 2 exp_bmap 64
BUF_SIZE 3 bmap 64
STR_LEN 0 srcfile 17
TERMINATED 0 srcfile 1

lib/test_bitmap.c test_for_each_set_bitrange() -> __check_eq_bitmap()

Type Parameter Key Value
PARAM_VALUE 0 srcfile 1753354708375658496
PARAM_VALUE 1 line 1010
PARAM_VALUE 2 exp_bmap 8710450372346281984
PARAM_VALUE 3 bmap 6258051358814765056
PARAM_VALUE 4 nbits 500
BUF_SIZE 0 srcfile 18
BUF_SIZE 2 exp_bmap 64
BUF_SIZE 3 bmap 64
STR_LEN 0 srcfile 17
TERMINATED 0 srcfile 1

lib/test_bitmap.c test_for_each_set_bitrange_from() -> __check_eq_bitmap()

Type Parameter Key Value
PARAM_VALUE 0 srcfile 1753354708375658496
PARAM_VALUE 1 line 1061
PARAM_VALUE 2 exp_bmap 2729438132141391872
PARAM_VALUE 3 bmap 7909370168040337408
PARAM_VALUE 4 nbits 500
BUF_SIZE 0 srcfile 18
BUF_SIZE 2 exp_bmap 64
BUF_SIZE 3 bmap 64
STR_LEN 0 srcfile 17
TERMINATED 0 srcfile 1

lib/test_bitmap.c test_replace() -> __check_eq_bitmap()

Type Parameter Key Value
PARAM_VALUE 0 srcfile 1753354708375658496
PARAM_VALUE 1 line 377
PARAM_VALUE 2 exp_bmap 1079487325156208640
PARAM_VALUE 3 bmap 7257788478278107136
PARAM_VALUE 4 nbits 64
BUF_SIZE 0 srcfile 18
BUF_SIZE 2 exp_bmap 128
STR_LEN 0 srcfile 17
TERMINATED 0 srcfile 1

lib/test_bitmap.c test_replace() -> __check_eq_bitmap()

Type Parameter Key Value
PARAM_VALUE 0 srcfile 1753354708375658496
PARAM_VALUE 1 line 381
PARAM_VALUE 2 exp_bmap 1079487325156208640
PARAM_VALUE 3 bmap 2900891002791108608
PARAM_VALUE 4 nbits 64
BUF_SIZE 0 srcfile 18
BUF_SIZE 2 exp_bmap 128
STR_LEN 0 srcfile 17
TERMINATED 0 srcfile 1

lib/test_bitmap.c test_replace() -> __check_eq_bitmap()

Type Parameter Key Value
PARAM_VALUE 0 srcfile 1753354708375658496
PARAM_VALUE 1 line 385
PARAM_VALUE 2 exp_bmap 1079487325156208640
PARAM_VALUE 3 bmap 7257788478278107136
PARAM_VALUE 4 nbits 64
BUF_SIZE 0 srcfile 18
BUF_SIZE 2 exp_bmap 128
STR_LEN 0 srcfile 17
TERMINATED 0 srcfile 1

lib/test_bitmap.c test_replace() -> __check_eq_bitmap()

Type Parameter Key Value
PARAM_VALUE 0 srcfile 1753354708375658496
PARAM_VALUE 1 line 389
PARAM_VALUE 2 exp_bmap 1079487325156208640
PARAM_VALUE 3 bmap 2900891002791108608
PARAM_VALUE 4 nbits 64
BUF_SIZE 0 srcfile 18
BUF_SIZE 2 exp_bmap 128
STR_LEN 0 srcfile 17
TERMINATED 0 srcfile 1