Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

lib/kunit/assert_test.c validate_assert() -> validate_assert param 0()

Type Parameter Key Value
PARAM_VALUE 0 assert 2938622400756310016,4497439813326163968,5810384742706757632,6006677344157757440,6751816369289097216,7554264841849786368
PARAM_VALUE 1 message 4504026863229227008
PARAM_VALUE 1 message->fmt 0
PARAM_VALUE 1 message->va 0
PARAM_VALUE 2 stream 4096-ptr_max
PARAM_VALUE 2 stream->fragments.next 4096-ptr_max
PARAM_VALUE 2 stream->fragments.next->next 4096-ptr_max
PARAM_VALUE 2 stream->fragments.prev->next 4096-ptr_max
PARAM_VALUE 2 stream->fragments.prev->prev 4096-ptr_max
PARAM_VALUE 2 stream->gfp 3264
PARAM_VALUE 2 stream->length 0
PARAM_VALUE 2 stream->lock.rlock.dep_map->name 0-255
BUF_SIZE 2 stream 104
DATA_SOURCE 0 assert $2
DATA_SOURCE 2 stream $3
STR_LEN 0 assert (-1),1-2,5,8-9
STR_LEN 0 assert (-1),1-2,5,8-9
STR_LEN 1 message (-1),2,8
STR_LEN 2 stream (-1),2,8
NOCHECK_CALL

lib/kunit/test.c kunit_fail() -> kunit_fail param 4()

Type Parameter Key Value
PARAM_VALUE 1 message 679125205455392768
PARAM_VALUE 1 message->va 5927652421860659200
PARAM_VALUE 2 stream 4096-ptr_max
PARAM_VALUE 2 stream->fragments.prev->next 4096-ptr_max
PARAM_VALUE 2 stream->fragments.prev->next->next 4096-ptr_max
PARAM_VALUE 2 stream->gfp 3264
BUF_SIZE 2 stream 104
DATA_SOURCE 0 assert $3
DATA_SOURCE 1 message $5
DATA_SOURCE 2 stream r kunit_alloc_string_stream
NOCHECK_CALL