Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
lib/tests/randstruct_kunit.c randstruct_initializers() -> test_check_init()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | name | 164971265790472192 |
| PARAM_VALUE | 2 | untouched | 7583620017191444480 |
| PARAM_VALUE | 2 | untouched->a | 1 |
| PARAM_VALUE | 2 | untouched->b | 3 |
| PARAM_VALUE | 2 | untouched->c | 5 |
| PARAM_VALUE | 2 | untouched->d | 7 |
| PARAM_VALUE | 2 | untouched->e | 11 |
| PARAM_VALUE | 2 | untouched->f | 13 |
| PARAM_VALUE | 2 | untouched->g | 17 |
| PARAM_VALUE | 2 | untouched->h | 19 |
| PARAM_VALUE | 3 | shuffled | 2841563679040237568 |
| PARAM_VALUE | 3 | shuffled->a | 1 |
| PARAM_VALUE | 3 | shuffled->b | 3 |
| PARAM_VALUE | 3 | shuffled->c | 5 |
| PARAM_VALUE | 3 | shuffled->d | 7 |
| PARAM_VALUE | 3 | shuffled->e | 11 |
| PARAM_VALUE | 3 | shuffled->f | 13 |
| PARAM_VALUE | 3 | shuffled->g | 17 |
| PARAM_VALUE | 3 | 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_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 | 5326480832147759104 |
| PARAM_VALUE | 2 | untouched | 7583620017191444480 |
| PARAM_VALUE | 2 | untouched->a | 1 |
| PARAM_VALUE | 2 | untouched->b | 3 |
| PARAM_VALUE | 2 | untouched->c | 5 |
| PARAM_VALUE | 2 | untouched->d | 7 |
| PARAM_VALUE | 2 | untouched->e | 11 |
| PARAM_VALUE | 2 | untouched->f | 13 |
| PARAM_VALUE | 2 | untouched->g | 17 |
| PARAM_VALUE | 2 | 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 |