Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
lib/tests/randstruct_kunit.c randstruct_initializers() -> test_check_contained_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,192 |
| 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 | 90779490660155392 |
| PARAM_VALUE | 2 | untouched->after | 0 |
| PARAM_VALUE | 2 | untouched->before | 0 |
| PARAM_VALUE | 2 | untouched->untouched.a | 1 |
| PARAM_VALUE | 2 | untouched->untouched.b | 3 |
| PARAM_VALUE | 2 | untouched->untouched.c | 5 |
| PARAM_VALUE | 2 | untouched->untouched.d | 7 |
| PARAM_VALUE | 2 | untouched->untouched.e | 11 |
| PARAM_VALUE | 2 | untouched->untouched.f | 13 |
| PARAM_VALUE | 2 | untouched->untouched.g | 17 |
| PARAM_VALUE | 2 | untouched->untouched.h | 19 |
| PARAM_VALUE | 3 | shuffled | 7374882731783499776 |
| PARAM_VALUE | 3 | shuffled->after | 0 |
| PARAM_VALUE | 3 | shuffled->before | 0 |
| PARAM_VALUE | 3 | shuffled->shuffled.a | 1 |
| PARAM_VALUE | 3 | shuffled->shuffled.b | 3 |
| PARAM_VALUE | 3 | shuffled->shuffled.c | 5 |
| PARAM_VALUE | 3 | shuffled->shuffled.d | 7 |
| PARAM_VALUE | 3 | shuffled->shuffled.e | 11 |
| PARAM_VALUE | 3 | shuffled->shuffled.f | 13 |
| PARAM_VALUE | 3 | shuffled->shuffled.g | 17 |
| PARAM_VALUE | 3 | shuffled->shuffled.h | 19 |
| 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_contained_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,212 |
| 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 | 90779490660155392 |
| PARAM_VALUE | 2 | untouched->after | 0 |
| PARAM_VALUE | 2 | untouched->before | 0 |
| PARAM_VALUE | 2 | untouched->untouched.a | 1 |
| PARAM_VALUE | 2 | untouched->untouched.b | 3 |
| PARAM_VALUE | 2 | untouched->untouched.c | 5 |
| PARAM_VALUE | 2 | untouched->untouched.d | 7 |
| PARAM_VALUE | 2 | untouched->untouched.e | 11 |
| PARAM_VALUE | 2 | untouched->untouched.f | 13 |
| PARAM_VALUE | 2 | untouched->untouched.g | 17 |
| PARAM_VALUE | 2 | untouched->untouched.h | 19 |
| 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 |
lib/tests/randstruct_kunit.c randstruct_initializers() -> test_check_contained_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,212 |
| 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 | 90779490660155392 |
| PARAM_VALUE | 2 | untouched->after | 0 |
| PARAM_VALUE | 2 | untouched->before | 0 |
| PARAM_VALUE | 2 | untouched->untouched.a | 1 |
| PARAM_VALUE | 2 | untouched->untouched.b | 3 |
| PARAM_VALUE | 2 | untouched->untouched.c | 5 |
| PARAM_VALUE | 2 | untouched->untouched.d | 7 |
| PARAM_VALUE | 2 | untouched->untouched.e | 11 |
| PARAM_VALUE | 2 | untouched->untouched.f | 13 |
| PARAM_VALUE | 2 | untouched->untouched.g | 17 |
| PARAM_VALUE | 2 | untouched->untouched.h | 19 |
| PARAM_VALUE | 3 | shuffled | 7374882731783499776 |
| PARAM_VALUE | 3 | shuffled->after | 0 |
| PARAM_VALUE | 3 | shuffled->before | 0 |
| PARAM_VALUE | 3 | shuffled->shuffled.a | 1 |
| PARAM_VALUE | 3 | shuffled->shuffled.b | 3 |
| PARAM_VALUE | 3 | shuffled->shuffled.c | 5 |
| PARAM_VALUE | 3 | shuffled->shuffled.d | 7 |
| PARAM_VALUE | 3 | shuffled->shuffled.e | 11 |
| PARAM_VALUE | 3 | shuffled->shuffled.f | 13 |
| PARAM_VALUE | 3 | shuffled->shuffled.g | 17 |
| PARAM_VALUE | 3 | shuffled->shuffled.h | 19 |
| 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_contained_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,212 |
| 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 | 2166624744409141248 |
| PARAM_VALUE | 2 | untouched | 90779490660155392 |
| PARAM_VALUE | 2 | untouched->after | 0 |
| PARAM_VALUE | 2 | untouched->before | 0 |
| PARAM_VALUE | 2 | untouched->untouched.a | 1 |
| PARAM_VALUE | 2 | untouched->untouched.b | 3 |
| PARAM_VALUE | 2 | untouched->untouched.c | 5 |
| PARAM_VALUE | 2 | untouched->untouched.d | 7 |
| PARAM_VALUE | 2 | untouched->untouched.e | 11 |
| PARAM_VALUE | 2 | untouched->untouched.f | 13 |
| PARAM_VALUE | 2 | untouched->untouched.g | 17 |
| PARAM_VALUE | 2 | untouched->untouched.h | 19 |
| PARAM_VALUE | 3 | shuffled | 4096-ptr_max |
| BUF_SIZE | 1 | name | 13 |
| DATA_SOURCE | 0 | test | $0 |
| STR_LEN | 0 | test | 12 |
| TERMINATED | 1 | name | 1 |
| NOCHECK_CALL |