Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

lib/kunit/assert_test.c kunit_test_binary_assert_format() -> validate_assert()

Type Parameter Key Value
PARAM_VALUE 1 test->last_seen.file 4064155701385715712
PARAM_VALUE 1 test->last_seen.line 200
PARAM_VALUE 1 test->lock.rlock.dep_map->name 0-255
PARAM_VALUE 2 assert 5810384742706757632
PARAM_VALUE 3 stream 4096-ptr_max
PARAM_VALUE 3 stream->gfp 3264
PARAM_VALUE 4 num_checks 4
PARAM_VALUE 5 $ 6721237805544247296
PARAM_VALUE 6 $ 4856996686399016960
PARAM_VALUE 7 $ 615181799473709056
PARAM_VALUE 8 $ 3314440135151652864
BUF_SIZE 1 test->last_seen.file 24
BUF_SIZE 3 stream 104
BUF_SIZE 5 $ 6
BUF_SIZE 6 $ 2
BUF_SIZE 7 $ 2
BUF_SIZE 8 $ 3
DATA_SOURCE 1 test $0
DATA_SOURCE 3 stream r kunit_alloc_string_stream
STR_LEN 0 format_func 5
STR_LEN 1 test 1
STR_LEN 1 test->last_seen.file 23
STR_LEN 2 assert 1
STR_LEN 3 stream 2
TERMINATED 5 $ 1
TERMINATED 6 $ 1
TERMINATED 7 $ 1
TERMINATED 8 $ 1
NOCHECK_CALL

lib/kunit/assert_test.c kunit_test_binary_assert_format() -> validate_assert()

Type Parameter Key Value
PARAM_VALUE 0 format_func 4096-ptr_max
PARAM_VALUE 1 test 4096-ptr_max
PARAM_VALUE 1 test->last_seen.file 8090938237943001088
PARAM_VALUE 1 test->last_seen.line 99
PARAM_VALUE 1 test->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 test->log->fragments.prev 4096-ptr_max
PARAM_VALUE 1 test->log->fragments.prev->next 4096-ptr_max
PARAM_VALUE 1 test->log->fragments.prev->next->next 4096-ptr_max
PARAM_VALUE 1 test->log->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 test->status 1
PARAM_VALUE 2 assert 5810384742706757632
PARAM_VALUE 3 stream 4096-ptr_max
PARAM_VALUE 3 stream->gfp 3264
PARAM_VALUE 3 stream->lock.rlock.dep_map->name 0-255
PARAM_VALUE 4 num_checks 3
PARAM_VALUE 5 $ 3314440135151652864
PARAM_VALUE 6 $ 6721237805544247296
PARAM_VALUE 7 $ 4049771280308277248
BUF_SIZE 3 stream 104
BUF_SIZE 5 $ 3
BUF_SIZE 6 $ 6
BUF_SIZE 7 $ 6
DATA_SOURCE 1 test $0
DATA_SOURCE 3 stream r kunit_alloc_string_stream
STR_LEN 0 format_func 2
STR_LEN 1 test 5
STR_LEN 1 test->last_seen.file (-1)
STR_LEN 2 assert 5
TERMINATED 5 $ 1
TERMINATED 6 $ 1
TERMINATED 7 $ 1
NOCHECK_CALL

lib/kunit/assert_test.c kunit_test_binary_assert_format() -> validate_assert()

Type Parameter Key Value
PARAM_VALUE 0 format_func 4096-ptr_max
PARAM_VALUE 1 test 4096-ptr_max
PARAM_VALUE 1 test->last_seen.file 8090938237943001088
PARAM_VALUE 1 test->last_seen.line 99
PARAM_VALUE 1 test->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 test->log->fragments.prev 4096-ptr_max
PARAM_VALUE 1 test->log->fragments.prev->next 4096-ptr_max
PARAM_VALUE 1 test->log->fragments.prev->next->next 4096-ptr_max
PARAM_VALUE 1 test->log->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 test->status 1
PARAM_VALUE 2 assert 5810384742706757632
PARAM_VALUE 3 stream 4096-ptr_max
PARAM_VALUE 3 stream->gfp 3264
PARAM_VALUE 3 stream->lock.rlock.dep_map->name 0-255
PARAM_VALUE 4 num_checks 4
PARAM_VALUE 5 $ 615181799473709056
PARAM_VALUE 6 $ 4049771280308277248
PARAM_VALUE 7 $ 4856996686399016960
PARAM_VALUE 8 $ 3314440135151652864
BUF_SIZE 3 stream 104
BUF_SIZE 5 $ 2
BUF_SIZE 6 $ 6
BUF_SIZE 7 $ 2
BUF_SIZE 8 $ 3
DATA_SOURCE 1 test $0
DATA_SOURCE 3 stream r kunit_alloc_string_stream
STR_LEN 0 format_func 1
STR_LEN 1 test 5
STR_LEN 1 test->last_seen.file (-1)
STR_LEN 2 assert 1
STR_LEN 3 stream 2
TERMINATED 5 $ 1
TERMINATED 6 $ 1
TERMINATED 7 $ 1
TERMINATED 8 $ 1
NOCHECK_CALL

lib/kunit/assert_test.c kunit_test_binary_assert_format() -> validate_assert()

Type Parameter Key Value
PARAM_VALUE 0 format_func 4096-ptr_max
PARAM_VALUE 1 test 4096-ptr_max
PARAM_VALUE 1 test->last_seen.file 8090938237943001088
PARAM_VALUE 1 test->last_seen.line 99
PARAM_VALUE 1 test->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 test->log->fragments.prev 4096-ptr_max
PARAM_VALUE 1 test->log->fragments.prev->next 4096-ptr_max
PARAM_VALUE 1 test->log->fragments.prev->next->next 4096-ptr_max
PARAM_VALUE 1 test->log->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 test->status 1
PARAM_VALUE 2 assert 5810384742706757632
PARAM_VALUE 3 stream 4096-ptr_max
PARAM_VALUE 3 stream->gfp 3264
PARAM_VALUE 3 stream->lock.rlock.dep_map->name 0-255
PARAM_VALUE 4 num_checks 3
PARAM_VALUE 5 $ 615181799473709056
PARAM_VALUE 6 $ 4856996686399016960
PARAM_VALUE 7 $ 3314440135151652864
BUF_SIZE 3 stream 104
BUF_SIZE 5 $ 2
BUF_SIZE 6 $ 2
BUF_SIZE 7 $ 3
DATA_SOURCE 1 test $0
DATA_SOURCE 3 stream r kunit_alloc_string_stream
STR_LEN 0 format_func 1
STR_LEN 1 test 1
STR_LEN 1 test->last_seen.file (-1)
STR_LEN 2 assert 2
TERMINATED 5 $ 1
TERMINATED 6 $ 1
TERMINATED 7 $ 1
NOCHECK_CALL

lib/kunit/assert_test.c kunit_test_binary_ptr_assert_format() -> validate_assert()

Type Parameter Key Value
PARAM_VALUE 1 test->last_seen.file 4064155701385715712
PARAM_VALUE 1 test->last_seen.line 254
PARAM_VALUE 1 test->lock.rlock.dep_map->name 0-255
PARAM_VALUE 2 assert 2938622400756310016
PARAM_VALUE 3 stream 4096-ptr_max
PARAM_VALUE 3 stream->gfp 3264
PARAM_VALUE 4 num_checks 3
PARAM_VALUE 5 $ 16,4096-ptr_max
PARAM_VALUE 6 $ 16,4096-ptr_max
PARAM_VALUE 7 $ 3314440135151652864
BUF_SIZE 1 test->last_seen.file 24
BUF_SIZE 3 stream 104
BUF_SIZE 5 $ 32
BUF_SIZE 5 $ 32
BUF_SIZE 6 $ 32
BUF_SIZE 6 $ 32
BUF_SIZE 7 $ 3
DATA_SOURCE 1 test $0
DATA_SOURCE 3 stream r kunit_alloc_string_stream
DATA_SOURCE 5 $ r kunit_kzalloc
DATA_SOURCE 6 $ r kunit_kzalloc
STR_LEN 0 format_func 31
STR_LEN 1 test 31
STR_LEN 1 test->last_seen.file 23
STR_LEN 2 assert 2
STR_LEN 5 $ 31
STR_LEN 6 $ 31
TERMINATED 7 $ 1
MEM_ZERO 5 $
MEM_ZERO 6 $
NOCHECK_CALL

lib/kunit/assert_test.c kunit_test_binary_str_assert_format() -> validate_assert()

Type Parameter Key Value
PARAM_VALUE 1 test->last_seen.file 4064155701385715712
PARAM_VALUE 1 test->last_seen.line 278
PARAM_VALUE 1 test->lock.rlock.dep_map->name 0-255
PARAM_VALUE 2 assert 4497439813326163968
PARAM_VALUE 3 stream 4096-ptr_max
PARAM_VALUE 3 stream->gfp 3264
PARAM_VALUE 4 num_checks 5
PARAM_VALUE 5 $ 5098527144834514944
PARAM_VALUE 6 $ 3838469069605085184
PARAM_VALUE 7 $ 2204047266826964992
PARAM_VALUE 8 $ 8403007116691128320
PARAM_VALUE 9 $ 3314440135151652864
BUF_SIZE 1 test->last_seen.file 24
BUF_SIZE 3 stream 104
BUF_SIZE 5 $ 6
BUF_SIZE 6 $ 6
BUF_SIZE 7 $ 10
BUF_SIZE 8 $ 9
BUF_SIZE 9 $ 3
DATA_SOURCE 1 test $0
DATA_SOURCE 3 stream r kunit_alloc_string_stream
STR_LEN 0 format_func 5
STR_LEN 1 test 5
STR_LEN 1 test->last_seen.file 23
STR_LEN 2 assert 9
STR_LEN 3 stream 8
STR_LEN 4 num_checks 2
TERMINATED 5 $ 1
TERMINATED 6 $ 1
TERMINATED 7 $ 1
TERMINATED 8 $ 1
TERMINATED 9 $ 1
NOCHECK_CALL

lib/kunit/assert_test.c kunit_test_binary_str_assert_format() -> validate_assert()

Type Parameter Key Value
PARAM_VALUE 0 format_func 4096-ptr_max
PARAM_VALUE 1 test 4096-ptr_max
PARAM_VALUE 1 test->last_seen.file 8090938237943001088
PARAM_VALUE 1 test->last_seen.line 99
PARAM_VALUE 1 test->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 test->log->fragments.prev 4096-ptr_max
PARAM_VALUE 1 test->log->fragments.prev->next 4096-ptr_max
PARAM_VALUE 1 test->log->fragments.prev->next->next 4096-ptr_max
PARAM_VALUE 1 test->log->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 test->status 1
PARAM_VALUE 2 assert 4497439813326163968
PARAM_VALUE 3 stream 4096-ptr_max
PARAM_VALUE 3 stream->gfp 3264
PARAM_VALUE 3 stream->lock.rlock.dep_map->name 0-255
PARAM_VALUE 4 num_checks 4
PARAM_VALUE 5 $ 2204047266826964992
PARAM_VALUE 6 $ 3838469069605085184
PARAM_VALUE 7 $ 8403007116691128320
PARAM_VALUE 8 $ 3314440135151652864
BUF_SIZE 3 stream 104
BUF_SIZE 5 $ 10
BUF_SIZE 6 $ 6
BUF_SIZE 7 $ 9
BUF_SIZE 8 $ 3
DATA_SOURCE 1 test $0
DATA_SOURCE 3 stream r kunit_alloc_string_stream
STR_LEN 0 format_func 9
STR_LEN 1 test 5
STR_LEN 1 test->last_seen.file (-1)
STR_LEN 2 assert 8
STR_LEN 3 stream 2
TERMINATED 5 $ 1
TERMINATED 6 $ 1
TERMINATED 7 $ 1
TERMINATED 8 $ 1
NOCHECK_CALL

lib/kunit/assert_test.c kunit_test_binary_str_assert_format() -> validate_assert()

Type Parameter Key Value
PARAM_VALUE 0 format_func 4096-ptr_max
PARAM_VALUE 1 test 4096-ptr_max
PARAM_VALUE 1 test->last_seen.file 8090938237943001088
PARAM_VALUE 1 test->last_seen.line 99
PARAM_VALUE 1 test->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 test->log->fragments.prev 4096-ptr_max
PARAM_VALUE 1 test->log->fragments.prev->next 4096-ptr_max
PARAM_VALUE 1 test->log->fragments.prev->next->next 4096-ptr_max
PARAM_VALUE 1 test->log->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 test->status 1
PARAM_VALUE 2 assert 4497439813326163968
PARAM_VALUE 3 stream 4096-ptr_max
PARAM_VALUE 3 stream->gfp 3264
PARAM_VALUE 3 stream->lock.rlock.dep_map->name 0-255
PARAM_VALUE 4 num_checks 3
PARAM_VALUE 5 $ 2204047266826964992
PARAM_VALUE 6 $ 8403007116691128320
PARAM_VALUE 7 $ 3314440135151652864
BUF_SIZE 3 stream 104
BUF_SIZE 5 $ 10
BUF_SIZE 6 $ 9
BUF_SIZE 7 $ 3
DATA_SOURCE 1 test $0
DATA_SOURCE 3 stream r kunit_alloc_string_stream
STR_LEN 0 format_func 9
STR_LEN 1 test 8
STR_LEN 1 test->last_seen.file (-1)
STR_LEN 2 assert 2
TERMINATED 5 $ 1
TERMINATED 6 $ 1
TERMINATED 7 $ 1
NOCHECK_CALL

lib/kunit/assert_test.c kunit_test_mem_assert_format() -> validate_assert()

Type Parameter Key Value
PARAM_VALUE 1 test->last_seen.file 4064155701385715712
PARAM_VALUE 1 test->last_seen.line 348
PARAM_VALUE 1 test->lock.rlock.dep_map->name 0-255
PARAM_VALUE 2 assert 6751816369289097216
PARAM_VALUE 3 stream 4096-ptr_max
PARAM_VALUE 3 stream->gfp 3264
PARAM_VALUE 4 num_checks 2
PARAM_VALUE 5 $ 1097048286848372736
PARAM_VALUE 6 $ 4236057884876795904
BUF_SIZE 1 test->last_seen.file 24
BUF_SIZE 3 stream 104
BUF_SIZE 5 $ 13
BUF_SIZE 6 $ 12
DATA_SOURCE 1 test $0
DATA_SOURCE 3 stream r kunit_alloc_string_stream
STR_LEN 0 format_func 12
STR_LEN 1 test 11
STR_LEN 1 test->last_seen.file 23
TERMINATED 5 $ 1
TERMINATED 6 $ 1
NOCHECK_CALL

lib/kunit/assert_test.c kunit_test_mem_assert_format() -> validate_assert()

Type Parameter Key Value
PARAM_VALUE 0 format_func 4096-ptr_max
PARAM_VALUE 1 test 4096-ptr_max
PARAM_VALUE 1 test->last_seen.file 8090938237943001088
PARAM_VALUE 1 test->last_seen.line 99
PARAM_VALUE 1 test->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 test->log->fragments.prev 4096-ptr_max
PARAM_VALUE 1 test->log->fragments.prev->next 4096-ptr_max
PARAM_VALUE 1 test->log->fragments.prev->next->next 4096-ptr_max
PARAM_VALUE 1 test->log->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 test->status 1
PARAM_VALUE 2 assert 6751816369289097216
PARAM_VALUE 3 stream 4096-ptr_max
PARAM_VALUE 3 stream->gfp 3264
PARAM_VALUE 3 stream->lock.rlock.dep_map->name 0-255
PARAM_VALUE 4 num_checks 2
PARAM_VALUE 5 $ 7294985948323979264
PARAM_VALUE 6 $ 4236057884876795904
BUF_SIZE 3 stream 104
BUF_SIZE 5 $ 13
BUF_SIZE 6 $ 12
DATA_SOURCE 1 test $0
DATA_SOURCE 3 stream r kunit_alloc_string_stream
STR_LEN 0 format_func 12
STR_LEN 1 test 11
STR_LEN 1 test->last_seen.file (-1)
TERMINATED 5 $ 1
TERMINATED 6 $ 1
NOCHECK_CALL

lib/kunit/assert_test.c kunit_test_mem_assert_format() -> validate_assert()

Type Parameter Key Value
PARAM_VALUE 0 format_func 4096-ptr_max
PARAM_VALUE 1 test 4096-ptr_max
PARAM_VALUE 1 test->last_seen.file 8090938237943001088
PARAM_VALUE 1 test->last_seen.line 99
PARAM_VALUE 1 test->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 test->log->fragments.prev 4096-ptr_max
PARAM_VALUE 1 test->log->fragments.prev->next 4096-ptr_max
PARAM_VALUE 1 test->log->fragments.prev->next->next 4096-ptr_max
PARAM_VALUE 1 test->log->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 test->status 1
PARAM_VALUE 2 assert 6751816369289097216
PARAM_VALUE 3 stream 4096-ptr_max
PARAM_VALUE 3 stream->gfp 3264
PARAM_VALUE 3 stream->lock.rlock.dep_map->name 0-255
PARAM_VALUE 4 num_checks 3
PARAM_VALUE 5 $ 1097048286848372736
PARAM_VALUE 6 $ 7294985948323979264
PARAM_VALUE 7 $ 3314440135151652864
BUF_SIZE 3 stream 104
BUF_SIZE 5 $ 13
BUF_SIZE 6 $ 13
BUF_SIZE 7 $ 3
DATA_SOURCE 1 test $0
DATA_SOURCE 3 stream r kunit_alloc_string_stream
STR_LEN 0 format_func 12
STR_LEN 1 test 12
STR_LEN 1 test->last_seen.file (-1)
STR_LEN 2 assert 2
TERMINATED 5 $ 1
TERMINATED 6 $ 1
TERMINATED 7 $ 1
NOCHECK_CALL

lib/kunit/assert_test.c kunit_test_ptr_not_err_assert_format() -> validate_assert()

Type Parameter Key Value
PARAM_VALUE 1 test->last_seen.file 4064155701385715712
PARAM_VALUE 1 test->last_seen.line 169
PARAM_VALUE 1 test->lock.rlock.dep_map->name 0-255
PARAM_VALUE 2 assert 6006677344157757440
PARAM_VALUE 3 stream 4096-ptr_max
PARAM_VALUE 3 stream->gfp 3264
PARAM_VALUE 4 num_checks 1
PARAM_VALUE 5 $ 6547218313901944832
BUF_SIZE 1 test->last_seen.file 24
BUF_SIZE 3 stream 104
BUF_SIZE 5 $ 5
DATA_SOURCE 1 test $0
DATA_SOURCE 3 stream r kunit_alloc_string_stream
STR_LEN 0 format_func 4
STR_LEN 1 test->last_seen.file 23
TERMINATED 5 $ 1
NOCHECK_CALL

lib/kunit/assert_test.c kunit_test_ptr_not_err_assert_format() -> validate_assert()

Type Parameter Key Value
PARAM_VALUE 0 format_func 4096-ptr_max
PARAM_VALUE 1 test 4096-ptr_max
PARAM_VALUE 1 test->last_seen.file 8090938237943001088
PARAM_VALUE 1 test->last_seen.line 99
PARAM_VALUE 1 test->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 test->log->fragments.prev 4096-ptr_max
PARAM_VALUE 1 test->log->fragments.prev->next 4096-ptr_max
PARAM_VALUE 1 test->log->fragments.prev->next->next 4096-ptr_max
PARAM_VALUE 1 test->log->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 test->status 1
PARAM_VALUE 2 assert 6006677344157757440
PARAM_VALUE 3 stream 4096-ptr_max
PARAM_VALUE 3 stream->gfp 3264
PARAM_VALUE 3 stream->lock.rlock.dep_map->name 0-255
PARAM_VALUE 4 num_checks 2
PARAM_VALUE 5 $ 674887379707076608
PARAM_VALUE 6 $ 304287652133335040
BUF_SIZE 3 stream 104
BUF_SIZE 5 $ 6
BUF_SIZE 6 $ 4
DATA_SOURCE 1 test $0
DATA_SOURCE 3 stream r kunit_alloc_string_stream
STR_LEN 0 format_func 5
STR_LEN 1 test 3
STR_LEN 1 test->last_seen.file (-1)
TERMINATED 5 $ 1
TERMINATED 6 $ 1
NOCHECK_CALL

lib/kunit/assert_test.c kunit_test_unary_assert_format() -> validate_assert()

Type Parameter Key Value
PARAM_VALUE 1 test->last_seen.file 4064155701385715712
PARAM_VALUE 1 test->last_seen.line 148
PARAM_VALUE 1 test->lock.rlock.dep_map->name 0-255
PARAM_VALUE 2 assert 7554264841849786368
PARAM_VALUE 3 stream 4096-ptr_max
PARAM_VALUE 3 stream->gfp 3264
PARAM_VALUE 4 num_checks 2
PARAM_VALUE 5 $ 1342714776715894784
PARAM_VALUE 6 $ 2026696848978149376
BUF_SIZE 1 test->last_seen.file 24
BUF_SIZE 3 stream 104
BUF_SIZE 5 $ 5
BUF_SIZE 6 $ 9
DATA_SOURCE 1 test $0
DATA_SOURCE 3 stream r kunit_alloc_string_stream
STR_LEN 0 format_func 4
STR_LEN 1 test 8
STR_LEN 1 test->last_seen.file 23
TERMINATED 5 $ 1
TERMINATED 6 $ 1
NOCHECK_CALL

lib/kunit/assert_test.c kunit_test_unary_assert_format() -> validate_assert()

Type Parameter Key Value
PARAM_VALUE 0 format_func 4096-ptr_max
PARAM_VALUE 1 test 4096-ptr_max
PARAM_VALUE 1 test->last_seen.file 8090938237943001088
PARAM_VALUE 1 test->last_seen.line 99
PARAM_VALUE 1 test->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 test->log->fragments.prev 4096-ptr_max
PARAM_VALUE 1 test->log->fragments.prev->next 4096-ptr_max
PARAM_VALUE 1 test->log->fragments.prev->next->next 4096-ptr_max
PARAM_VALUE 1 test->log->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 test->status 1
PARAM_VALUE 2 assert 7554264841849786368
PARAM_VALUE 3 stream 4096-ptr_max
PARAM_VALUE 3 stream->gfp 3264
PARAM_VALUE 3 stream->lock.rlock.dep_map->name 0-255
PARAM_VALUE 4 num_checks 2
PARAM_VALUE 5 $ 1746813850745692160
PARAM_VALUE 6 $ 441422848984420352
BUF_SIZE 3 stream 104
BUF_SIZE 5 $ 6
BUF_SIZE 6 $ 8
DATA_SOURCE 1 test $0
DATA_SOURCE 3 stream r kunit_alloc_string_stream
STR_LEN 0 format_func 5
STR_LEN 1 test 7
STR_LEN 1 test->last_seen.file (-1)
TERMINATED 5 $ 1
TERMINATED 6 $ 1
NOCHECK_CALL