Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

lib/tests/min_heap_kunit.c test_heap_del() -> pop_verify_heap()

Type Parameter Key Value
PARAM_VALUE 0 test 4096-ptr_max
PARAM_VALUE 0 test->param_value 4096-ptr_max
PARAM_VALUE 2 heap 8264310997535825920
PARAM_VALUE 2 heap->nr 13
PARAM_VALUE 3 funcs 2726692612310290432
PARAM_VALUE 3 funcs->less 14482364487237632,2429063502472138752
PARAM_VALUE 3 funcs->swp 0
DATA_SOURCE 0 test $0
NOCHECK_CALL

lib/tests/min_heap_kunit.c test_heap_del() -> pop_verify_heap()

Type Parameter Key Value
PARAM_VALUE 0 test 4096-ptr_max
PARAM_VALUE 0 test->last_seen.file 8090938237943001088,8124962445344448512
PARAM_VALUE 0 test->last_seen.line 53,55,99
PARAM_VALUE 0 test->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 test->log->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 test->param_value 4096-ptr_max
PARAM_VALUE 0 test->status 1
PARAM_VALUE 2 heap 8264310997535825920
PARAM_VALUE 2 heap->data 4096-ptr_max
PARAM_VALUE 2 heap->nr 13
PARAM_VALUE 3 funcs 2726692612310290432
PARAM_VALUE 3 funcs->less 14482364487237632,2429063502472138752
PARAM_VALUE 3 funcs->swp 0
DATA_SOURCE 0 test $0
NOCHECK_CALL

lib/tests/min_heap_kunit.c test_heap_pop_push() -> pop_verify_heap()

Type Parameter Key Value
PARAM_VALUE 0 test 4096-ptr_max
PARAM_VALUE 0 test->param_value 4096-ptr_max
PARAM_VALUE 2 heap 1718392787025371136
PARAM_VALUE 2 heap->data 6759863935331110912
PARAM_VALUE 2 heap->nr 0
PARAM_VALUE 2 heap->size 13
PARAM_VALUE 3 funcs 2957069142725857280
PARAM_VALUE 3 funcs->less 14482364487237632,2429063502472138752
PARAM_VALUE 3 funcs->swp 0
DATA_SOURCE 0 test $0
NOCHECK_CALL

lib/tests/min_heap_kunit.c test_heap_pop_push() -> pop_verify_heap()

Type Parameter Key Value
PARAM_VALUE 0 test 4096-ptr_max
PARAM_VALUE 0 test->last_seen.file 8090938237943001088,8124962445344448512
PARAM_VALUE 0 test->last_seen.line 53,55,99
PARAM_VALUE 0 test->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 test->log->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 test->param_value 4096-ptr_max
PARAM_VALUE 0 test->status 1
PARAM_VALUE 2 heap 1718392787025371136
PARAM_VALUE 2 heap->data 6759863935331110912
PARAM_VALUE 2 heap->nr 0
PARAM_VALUE 2 heap->size 13
PARAM_VALUE 3 funcs 2957069142725857280
PARAM_VALUE 3 funcs->less 14482364487237632,2429063502472138752
PARAM_VALUE 3 funcs->swp 0
DATA_SOURCE 0 test $0
NOCHECK_CALL

lib/tests/min_heap_kunit.c test_heap_push() -> pop_verify_heap()

Type Parameter Key Value
PARAM_VALUE 0 test 4096-ptr_max
PARAM_VALUE 0 test->param_value 4096-ptr_max
PARAM_VALUE 2 heap 6239835083836674048
PARAM_VALUE 2 heap->data 924825646260707328
PARAM_VALUE 2 heap->nr 0
PARAM_VALUE 2 heap->size 13
PARAM_VALUE 3 funcs 3386138084485742592
PARAM_VALUE 3 funcs->less 14482364487237632,2429063502472138752
PARAM_VALUE 3 funcs->swp 0
DATA_SOURCE 0 test $0
NOCHECK_CALL

lib/tests/min_heap_kunit.c test_heap_push() -> pop_verify_heap()

Type Parameter Key Value
PARAM_VALUE 0 test 4096-ptr_max
PARAM_VALUE 0 test->last_seen.file 8090938237943001088,8124962445344448512
PARAM_VALUE 0 test->last_seen.line 53,55,99
PARAM_VALUE 0 test->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 test->log->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 test->param_value 4096-ptr_max
PARAM_VALUE 0 test->status 1
PARAM_VALUE 2 heap 6239835083836674048
PARAM_VALUE 2 heap->data 924825646260707328
PARAM_VALUE 3 funcs 3386138084485742592
PARAM_VALUE 3 funcs->less 14482364487237632,2429063502472138752
PARAM_VALUE 3 funcs->swp 0
DATA_SOURCE 0 test $0
NOCHECK_CALL

lib/tests/min_heap_kunit.c test_heapify_all() -> pop_verify_heap()

Type Parameter Key Value
PARAM_VALUE 0 test 4096-ptr_max
PARAM_VALUE 0 test->param_value 4096-ptr_max
PARAM_VALUE 2 heap 7566456223294795776
PARAM_VALUE 2 heap->data 4096-ptr_max
PARAM_VALUE 2 heap->nr 13
PARAM_VALUE 2 heap->size 13
PARAM_VALUE 3 funcs 1330288227015376896
PARAM_VALUE 3 funcs->less 14482364487237632,2429063502472138752
PARAM_VALUE 3 funcs->swp 0
DATA_SOURCE 0 test $0
NOCHECK_CALL

lib/tests/min_heap_kunit.c test_heapify_all() -> pop_verify_heap()

Type Parameter Key Value
PARAM_VALUE 0 test 4096-ptr_max
PARAM_VALUE 0 test->last_seen.file 8090938237943001088,8124962445344448512
PARAM_VALUE 0 test->last_seen.line 53,55,99
PARAM_VALUE 0 test->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 test->log->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 test->param_value 4096-ptr_max
PARAM_VALUE 0 test->status 1
PARAM_VALUE 2 heap 7566456223294795776
PARAM_VALUE 2 heap->data 4096-ptr_max
PARAM_VALUE 2 heap->nr 13
PARAM_VALUE 2 heap->size 13
PARAM_VALUE 3 funcs 1330288227015376896
PARAM_VALUE 3 funcs->less 14482364487237632,2429063502472138752
PARAM_VALUE 3 funcs->swp 0
DATA_SOURCE 0 test $0
NOCHECK_CALL