Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

lib/tests/randstruct_kunit.c randstruct_initializers() -> test_check_funcs_init()

Type Parameter Key Value
PARAM_VALUE 0 test 4096-ptr_max
PARAM_VALUE 0 test->last_seen.file 4677328304874393600,8090938237943001088
PARAM_VALUE 0 test->last_seen.line 99,199
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->status 1
PARAM_VALUE 1 name 164971265790472192
PARAM_VALUE 2 untouched 941401578829438976
PARAM_VALUE 2 untouched->a 7996757943155126272
PARAM_VALUE 2 untouched->b 5840488838640017408
PARAM_VALUE 2 untouched->c 4766680021771706368
PARAM_VALUE 2 untouched->d 6107392291808505856
PARAM_VALUE 2 untouched->e 8170428563261169664
PARAM_VALUE 2 untouched->f 5866252635558977536
PARAM_VALUE 2 untouched->g 6696826076732776448
PARAM_VALUE 2 untouched->h 7502794736556199936
PARAM_VALUE 3 shuffled 3068370719088619520
PARAM_VALUE 3 shuffled->a 7996757943155126272
PARAM_VALUE 3 shuffled->b 5840488838640017408
PARAM_VALUE 3 shuffled->c 4766680021771706368
PARAM_VALUE 3 shuffled->d 6107392291808505856
PARAM_VALUE 3 shuffled->e 8170428563261169664
PARAM_VALUE 3 shuffled->f 5866252635558977536
PARAM_VALUE 3 shuffled->g 6696826076732776448
PARAM_VALUE 3 shuffled->h 7502794736556199936
BUF_SIZE 1 name 6
DATA_SOURCE 0 test $0
STR_LEN 0 test 5
TERMINATED 1 name 1
NOCHECK_CALL

lib/tests/randstruct_kunit.c randstruct_initializers() -> test_check_funcs_init()

Type Parameter Key Value
PARAM_VALUE 0 test 4096-ptr_max
PARAM_VALUE 0 test->last_seen.file 4677328304874393600,8090938237943001088
PARAM_VALUE 0 test->last_seen.line 99,225
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->status 1
PARAM_VALUE 1 name 5326480832147759104
PARAM_VALUE 2 untouched 941401578829438976
PARAM_VALUE 2 untouched->a 7996757943155126272
PARAM_VALUE 2 untouched->b 5840488838640017408
PARAM_VALUE 2 untouched->c 4766680021771706368
PARAM_VALUE 2 untouched->d 6107392291808505856
PARAM_VALUE 2 untouched->e 8170428563261169664
PARAM_VALUE 2 untouched->f 5866252635558977536
PARAM_VALUE 2 untouched->g 6696826076732776448
PARAM_VALUE 2 untouched->h 7502794736556199936
PARAM_VALUE 3 shuffled 4096-ptr_max
BUF_SIZE 1 name 8
DATA_SOURCE 0 test $0
STR_LEN 0 test 7
TERMINATED 1 name 1
NOCHECK_CALL