Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

lib/tests/string_kunit.c string_test_strscpy() -> strscpy_check()

Type Parameter Key Value
PARAM_VALUE 1 src 5624412646760947712
PARAM_VALUE 2 count 0
PARAM_VALUE 3 expected (-7)
PARAM_VALUE 4 chars 0
PARAM_VALUE 5 terminator 0
PARAM_VALUE 6 pad 0
BUF_SIZE 1 src 2
DATA_SOURCE 0 test $0
STR_LEN 0 test 1
TERMINATED 1 src 1
NOCHECK_CALL

lib/tests/string_kunit.c string_test_strscpy() -> strscpy_check()

Type Parameter Key Value
PARAM_VALUE 0 test 4096-ptr_max
PARAM_VALUE 0 test->last_seen.file 1710651406323777536
PARAM_VALUE 0 test->last_seen.line 472,482,486,491,498
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 src 4602998933304729600
PARAM_VALUE 2 count 0
PARAM_VALUE 3 expected (-7)
PARAM_VALUE 4 chars 0
PARAM_VALUE 5 terminator 0
PARAM_VALUE 6 pad 0
DATA_SOURCE 0 test $0
STR_LEN 0 test 0
TERMINATED 1 src 1
NOCHECK_CALL

lib/tests/string_kunit.c string_test_strscpy() -> strscpy_check()

Type Parameter Key Value
PARAM_VALUE 0 test 4096-ptr_max
PARAM_VALUE 0 test->last_seen.file 1710651406323777536
PARAM_VALUE 0 test->last_seen.line 472,482,486,491,498
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 src 5624412646760947712
PARAM_VALUE 2 count 1
PARAM_VALUE 3 expected (-7)
PARAM_VALUE 4 chars 0
PARAM_VALUE 5 terminator 1
PARAM_VALUE 6 pad 0
BUF_SIZE 1 src 2
DATA_SOURCE 0 test $0
STR_LEN 0 test 1
TERMINATED 1 src 1
NOCHECK_CALL

lib/tests/string_kunit.c string_test_strscpy() -> strscpy_check()

Type Parameter Key Value
PARAM_VALUE 0 test 4096-ptr_max
PARAM_VALUE 0 test->last_seen.file 1710651406323777536
PARAM_VALUE 0 test->last_seen.line 472,482,486,491,498
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 src 4602998933304729600
PARAM_VALUE 2 count 1
PARAM_VALUE 3 expected 0
PARAM_VALUE 4 chars 0
PARAM_VALUE 5 terminator 1
PARAM_VALUE 6 pad 0
DATA_SOURCE 0 test $0
STR_LEN 0 test 0
TERMINATED 1 src 1
NOCHECK_CALL

lib/tests/string_kunit.c string_test_strscpy() -> strscpy_check()

Type Parameter Key Value
PARAM_VALUE 0 test 4096-ptr_max
PARAM_VALUE 0 test->last_seen.file 1710651406323777536
PARAM_VALUE 0 test->last_seen.line 472,482,486,491,498
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 src 4553155135083343872
PARAM_VALUE 2 count 2
PARAM_VALUE 3 expected (-7)
PARAM_VALUE 4 chars 1
PARAM_VALUE 5 terminator 1
PARAM_VALUE 6 pad 0
BUF_SIZE 1 src 3
DATA_SOURCE 0 test $0
STR_LEN 0 test 2
TERMINATED 1 src 1
NOCHECK_CALL

lib/tests/string_kunit.c string_test_strscpy() -> strscpy_check()

Type Parameter Key Value
PARAM_VALUE 0 test 4096-ptr_max
PARAM_VALUE 0 test->last_seen.file 1710651406323777536
PARAM_VALUE 0 test->last_seen.line 472,482,486,491,498
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 src 5624412646760947712
PARAM_VALUE 2 count 2
PARAM_VALUE 3 expected 1
PARAM_VALUE 4 chars 1
PARAM_VALUE 5 terminator 1
PARAM_VALUE 6 pad 0
BUF_SIZE 1 src 2
DATA_SOURCE 0 test $0
STR_LEN 0 test 1
TERMINATED 1 src 1
NOCHECK_CALL

lib/tests/string_kunit.c string_test_strscpy() -> strscpy_check()

Type Parameter Key Value
PARAM_VALUE 0 test 4096-ptr_max
PARAM_VALUE 0 test->last_seen.file 1710651406323777536
PARAM_VALUE 0 test->last_seen.line 472,482,486,491,498
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 src 4602998933304729600
PARAM_VALUE 2 count 2
PARAM_VALUE 3 expected 0
PARAM_VALUE 4 chars 0
PARAM_VALUE 5 terminator 1
PARAM_VALUE 6 pad 1
DATA_SOURCE 0 test $0
STR_LEN 0 test 0
TERMINATED 1 src 1
NOCHECK_CALL

lib/tests/string_kunit.c string_test_strscpy() -> strscpy_check()

Type Parameter Key Value
PARAM_VALUE 0 test 4096-ptr_max
PARAM_VALUE 0 test->last_seen.file 1710651406323777536
PARAM_VALUE 0 test->last_seen.line 472,482,486,491,498
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 src 6353257726352343040
PARAM_VALUE 2 count 3
PARAM_VALUE 3 expected (-7)
PARAM_VALUE 4 chars 2
PARAM_VALUE 5 terminator 1
PARAM_VALUE 6 pad 0
BUF_SIZE 1 src 4
DATA_SOURCE 0 test $0
STR_LEN 0 test 3
TERMINATED 1 src 1
NOCHECK_CALL

lib/tests/string_kunit.c string_test_strscpy() -> strscpy_check()

Type Parameter Key Value
PARAM_VALUE 0 test 4096-ptr_max
PARAM_VALUE 0 test->last_seen.file 1710651406323777536
PARAM_VALUE 0 test->last_seen.line 472,482,486,491,498
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 src 4553155135083343872
PARAM_VALUE 2 count 3
PARAM_VALUE 3 expected 2
PARAM_VALUE 4 chars 2
PARAM_VALUE 5 terminator 1
PARAM_VALUE 6 pad 0
BUF_SIZE 1 src 3
DATA_SOURCE 0 test $0
STR_LEN 0 test 2
TERMINATED 1 src 1
NOCHECK_CALL

lib/tests/string_kunit.c string_test_strscpy() -> strscpy_check()

Type Parameter Key Value
PARAM_VALUE 0 test 4096-ptr_max
PARAM_VALUE 0 test->last_seen.file 1710651406323777536
PARAM_VALUE 0 test->last_seen.line 472,482,486,491,498
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 src 5624412646760947712
PARAM_VALUE 2 count 3
PARAM_VALUE 3 expected 1
PARAM_VALUE 4 chars 1
PARAM_VALUE 5 terminator 1
PARAM_VALUE 6 pad 1
BUF_SIZE 1 src 2
DATA_SOURCE 0 test $0
STR_LEN 0 test 1
TERMINATED 1 src 1
NOCHECK_CALL

lib/tests/string_kunit.c string_test_strscpy() -> strscpy_check()

Type Parameter Key Value
PARAM_VALUE 0 test 4096-ptr_max
PARAM_VALUE 0 test->last_seen.file 1710651406323777536
PARAM_VALUE 0 test->last_seen.line 472,482,486,491,498
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 src 4602998933304729600
PARAM_VALUE 2 count 3
PARAM_VALUE 3 expected 0
PARAM_VALUE 4 chars 0
PARAM_VALUE 5 terminator 1
PARAM_VALUE 6 pad 2
DATA_SOURCE 0 test $0
STR_LEN 0 test 0
TERMINATED 1 src 1
NOCHECK_CALL

lib/tests/string_kunit.c string_test_strscpy() -> strscpy_check()

Type Parameter Key Value
PARAM_VALUE 0 test 4096-ptr_max
PARAM_VALUE 0 test->last_seen.file 1710651406323777536
PARAM_VALUE 0 test->last_seen.line 472,482,486,491,498
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 src 920458347227488256
PARAM_VALUE 2 count 4
PARAM_VALUE 3 expected (-7)
PARAM_VALUE 4 chars 3
PARAM_VALUE 5 terminator 1
PARAM_VALUE 6 pad 0
BUF_SIZE 1 src 5
DATA_SOURCE 0 test $0
STR_LEN 0 test 4
TERMINATED 1 src 1
NOCHECK_CALL

lib/tests/string_kunit.c string_test_strscpy() -> strscpy_check()

Type Parameter Key Value
PARAM_VALUE 0 test 4096-ptr_max
PARAM_VALUE 0 test->last_seen.file 1710651406323777536
PARAM_VALUE 0 test->last_seen.line 472,482,486,491,498
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 src 6353257726352343040
PARAM_VALUE 2 count 4
PARAM_VALUE 3 expected 3
PARAM_VALUE 4 chars 3
PARAM_VALUE 5 terminator 1
PARAM_VALUE 6 pad 0
BUF_SIZE 1 src 4
DATA_SOURCE 0 test $0
STR_LEN 0 test 3
TERMINATED 1 src 1
NOCHECK_CALL

lib/tests/string_kunit.c string_test_strscpy() -> strscpy_check()

Type Parameter Key Value
PARAM_VALUE 0 test 4096-ptr_max
PARAM_VALUE 0 test->last_seen.file 1710651406323777536
PARAM_VALUE 0 test->last_seen.line 472,482,486,491,498
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 src 4553155135083343872
PARAM_VALUE 2 count 4
PARAM_VALUE 3 expected 2
PARAM_VALUE 4 chars 2
PARAM_VALUE 5 terminator 1
PARAM_VALUE 6 pad 1
BUF_SIZE 1 src 3
DATA_SOURCE 0 test $0
STR_LEN 0 test 2
TERMINATED 1 src 1
NOCHECK_CALL

lib/tests/string_kunit.c string_test_strscpy() -> strscpy_check()

Type Parameter Key Value
PARAM_VALUE 0 test 4096-ptr_max
PARAM_VALUE 0 test->last_seen.file 1710651406323777536
PARAM_VALUE 0 test->last_seen.line 472,482,486,491,498
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 src 5624412646760947712
PARAM_VALUE 2 count 4
PARAM_VALUE 3 expected 1
PARAM_VALUE 4 chars 1
PARAM_VALUE 5 terminator 1
PARAM_VALUE 6 pad 2
BUF_SIZE 1 src 2
DATA_SOURCE 0 test $0
STR_LEN 0 test 1
TERMINATED 1 src 1
NOCHECK_CALL

lib/tests/string_kunit.c string_test_strscpy() -> strscpy_check()

Type Parameter Key Value
PARAM_VALUE 0 test 4096-ptr_max
PARAM_VALUE 0 test->last_seen.file 1710651406323777536
PARAM_VALUE 0 test->last_seen.line 472,482,486,491,498
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 src 4602998933304729600
PARAM_VALUE 2 count 4
PARAM_VALUE 3 expected 0
PARAM_VALUE 4 chars 0
PARAM_VALUE 5 terminator 1
PARAM_VALUE 6 pad 3
DATA_SOURCE 0 test $0
STR_LEN 0 test 0
TERMINATED 1 src 1
NOCHECK_CALL