Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
lib/tests/scanf_kunit.c numbers_list_d() -> append_delim()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | str_buf_pos | 6942722926557470720 |
| PARAM_VALUE | 2 | str_buf_len | 1024 |
| PARAM_VALUE | 4 | fmt_buf_pos | 4159679389564346368 |
| PARAM_VALUE | 5 | fmt_buf_len | 1024 |
| PARAM_VALUE | 6 | *delim_str | 0-87,89-98,101-104,106-110,113-114,116,118-119,121-127 |
| DATA_SOURCE | 6 | delim_str | $1 |
| NOCHECK_CALL |
lib/tests/scanf_kunit.c numbers_list_d() -> append_delim()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | str_buf_pos | 6942722926557470720 |
| PARAM_VALUE | 2 | str_buf_len | 1024 |
| PARAM_VALUE | 4 | fmt_buf_pos | 4159679389564346368 |
| PARAM_VALUE | 5 | fmt_buf_len | 1024 |
| PARAM_VALUE | 6 | *delim_str | 0-87,89-98,101-104,106-110,113-114,116,118-119,121-127 |
| DATA_SOURCE | 6 | delim_str | $1 |
| NOCHECK_CALL |
lib/tests/scanf_kunit.c numbers_list_d() -> append_delim()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | str_buf_pos | 6942722926557470720 |
| PARAM_VALUE | 2 | str_buf_len | 1024 |
| PARAM_VALUE | 4 | fmt_buf_pos | 4159679389564346368 |
| PARAM_VALUE | 5 | fmt_buf_len | 1024 |
| PARAM_VALUE | 6 | *delim_str | 0-87,89-98,101-104,106-110,113-114,116,118-119,121-127 |
| DATA_SOURCE | 6 | delim_str | $1 |
| NOCHECK_CALL |
lib/tests/scanf_kunit.c numbers_list_d() -> append_delim()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | str_buf_pos | 6942722926557470720 |
| PARAM_VALUE | 2 | str_buf_len | 1024 |
| PARAM_VALUE | 4 | fmt_buf_pos | 4159679389564346368 |
| PARAM_VALUE | 5 | fmt_buf_len | 1024 |
| PARAM_VALUE | 6 | *delim_str | 0-87,89-98,101-104,106-110,113-114,116,118-119,121-127 |
| DATA_SOURCE | 6 | delim_str | $1 |
| NOCHECK_CALL |
lib/tests/scanf_kunit.c numbers_list_d() -> append_delim()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | str_buf_pos | 6942722926557470720 |
| PARAM_VALUE | 2 | str_buf_len | 1024 |
| PARAM_VALUE | 4 | fmt_buf_pos | 4159679389564346368 |
| PARAM_VALUE | 5 | fmt_buf_len | 1024 |
| PARAM_VALUE | 6 | *delim_str | 0-87,89-98,101-104,106-110,113-114,116,118-119,121-127 |
| DATA_SOURCE | 6 | delim_str | $1 |
| NOCHECK_CALL |
lib/tests/scanf_kunit.c numbers_list_d() -> append_delim()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | str_buf_pos | 6942722926557470720 |
| PARAM_VALUE | 2 | str_buf_len | 1024 |
| PARAM_VALUE | 4 | fmt_buf_pos | 4159679389564346368 |
| PARAM_VALUE | 5 | fmt_buf_len | 1024 |
| PARAM_VALUE | 6 | *delim_str | 0-87,89-98,101-104,106-110,113-114,116,118-119,121-127 |
| DATA_SOURCE | 6 | delim_str | $1 |
| NOCHECK_CALL |
lib/tests/scanf_kunit.c numbers_list_field_width_d() -> append_delim()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | str_buf_pos | 8692276984975962112 |
| PARAM_VALUE | 2 | str_buf_len | 1024 |
| PARAM_VALUE | 4 | fmt_buf_pos | 8326017542703214592 |
| PARAM_VALUE | 5 | fmt_buf_len | 1024 |
| PARAM_VALUE | 6 | *delim_str | 0-87,89-98,101-104,106-110,113-114,116,118-119,121-127 |
| DATA_SOURCE | 6 | delim_str | $1 |
| NOCHECK_CALL |
lib/tests/scanf_kunit.c numbers_list_field_width_d() -> append_delim()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | str_buf_pos | 8692276984975962112 |
| PARAM_VALUE | 2 | str_buf_len | 1024 |
| PARAM_VALUE | 4 | fmt_buf_pos | 8326017542703214592 |
| PARAM_VALUE | 5 | fmt_buf_len | 1024 |
| PARAM_VALUE | 6 | *delim_str | 0-87,89-98,101-104,106-110,113-114,116,118-119,121-127 |
| DATA_SOURCE | 6 | delim_str | $1 |
| NOCHECK_CALL |
lib/tests/scanf_kunit.c numbers_list_field_width_d() -> append_delim()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | str_buf_pos | 8692276984975962112 |
| PARAM_VALUE | 2 | str_buf_len | 1024 |
| PARAM_VALUE | 4 | fmt_buf_pos | 8326017542703214592 |
| PARAM_VALUE | 5 | fmt_buf_len | 1024 |
| PARAM_VALUE | 6 | *delim_str | 0-87,89-98,101-104,106-110,113-114,116,118-119,121-127 |
| DATA_SOURCE | 6 | delim_str | $1 |
| NOCHECK_CALL |
lib/tests/scanf_kunit.c numbers_list_field_width_d() -> append_delim()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | str_buf_pos | 8692276984975962112 |
| PARAM_VALUE | 2 | str_buf_len | 1024 |
| PARAM_VALUE | 4 | fmt_buf_pos | 8326017542703214592 |
| PARAM_VALUE | 5 | fmt_buf_len | 1024 |
| PARAM_VALUE | 6 | *delim_str | 0-87,89-98,101-104,106-110,113-114,116,118-119,121-127 |
| DATA_SOURCE | 6 | delim_str | $1 |
| NOCHECK_CALL |
lib/tests/scanf_kunit.c numbers_list_field_width_d() -> append_delim()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | str_buf_pos | 8692276984975962112 |
| PARAM_VALUE | 2 | str_buf_len | 1024 |
| PARAM_VALUE | 4 | fmt_buf_pos | 8326017542703214592 |
| PARAM_VALUE | 5 | fmt_buf_len | 1024 |
| PARAM_VALUE | 6 | *delim_str | 0-87,89-98,101-104,106-110,113-114,116,118-119,121-127 |
| DATA_SOURCE | 6 | delim_str | $1 |
| NOCHECK_CALL |
lib/tests/scanf_kunit.c numbers_list_field_width_d() -> append_delim()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | str_buf_pos | 8692276984975962112 |
| PARAM_VALUE | 2 | str_buf_len | 1024 |
| PARAM_VALUE | 4 | fmt_buf_pos | 8326017542703214592 |
| PARAM_VALUE | 5 | fmt_buf_len | 1024 |
| PARAM_VALUE | 6 | *delim_str | 0-87,89-98,101-104,106-110,113-114,116,118-119,121-127 |
| DATA_SOURCE | 6 | delim_str | $1 |
| NOCHECK_CALL |
lib/tests/scanf_kunit.c numbers_list_field_width_h() -> append_delim()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | str_buf_pos | 8657756947273142272 |
| PARAM_VALUE | 2 | str_buf_len | 1024 |
| PARAM_VALUE | 4 | fmt_buf_pos | 324480137569636352 |
| PARAM_VALUE | 5 | fmt_buf_len | 1024 |
| PARAM_VALUE | 6 | *delim_str | 0-87,89-98,101-104,106-110,113-114,116,118-119,121-127 |
| DATA_SOURCE | 6 | delim_str | $1 |
| NOCHECK_CALL |
lib/tests/scanf_kunit.c numbers_list_field_width_h() -> append_delim()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | str_buf_pos | 8657756947273142272 |
| PARAM_VALUE | 2 | str_buf_len | 1024 |
| PARAM_VALUE | 4 | fmt_buf_pos | 324480137569636352 |
| PARAM_VALUE | 5 | fmt_buf_len | 1024 |
| PARAM_VALUE | 6 | *delim_str | 0-87,89-98,101-104,106-110,113-114,116,118-119,121-127 |
| DATA_SOURCE | 6 | delim_str | $1 |
| NOCHECK_CALL |
lib/tests/scanf_kunit.c numbers_list_field_width_h() -> append_delim()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | str_buf_pos | 8657756947273142272 |
| PARAM_VALUE | 2 | str_buf_len | 1024 |
| PARAM_VALUE | 4 | fmt_buf_pos | 324480137569636352 |
| PARAM_VALUE | 5 | fmt_buf_len | 1024 |
| PARAM_VALUE | 6 | *delim_str | 0-87,89-98,101-104,106-110,113-114,116,118-119,121-127 |
| DATA_SOURCE | 6 | delim_str | $1 |
| NOCHECK_CALL |
lib/tests/scanf_kunit.c numbers_list_field_width_h() -> append_delim()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | str_buf_pos | 8657756947273142272 |
| PARAM_VALUE | 2 | str_buf_len | 1024 |
| PARAM_VALUE | 4 | fmt_buf_pos | 324480137569636352 |
| PARAM_VALUE | 5 | fmt_buf_len | 1024 |
| PARAM_VALUE | 6 | *delim_str | 0-87,89-98,101-104,106-110,113-114,116,118-119,121-127 |
| DATA_SOURCE | 6 | delim_str | $1 |
| NOCHECK_CALL |
lib/tests/scanf_kunit.c numbers_list_field_width_h() -> append_delim()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | str_buf_pos | 8657756947273142272 |
| PARAM_VALUE | 2 | str_buf_len | 1024 |
| PARAM_VALUE | 4 | fmt_buf_pos | 324480137569636352 |
| PARAM_VALUE | 5 | fmt_buf_len | 1024 |
| PARAM_VALUE | 6 | *delim_str | 0-87,89-98,101-104,106-110,113-114,116,118-119,121-127 |
| DATA_SOURCE | 6 | delim_str | $1 |
| NOCHECK_CALL |
lib/tests/scanf_kunit.c numbers_list_field_width_h() -> append_delim()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | str_buf_pos | 8657756947273142272 |
| PARAM_VALUE | 2 | str_buf_len | 1024 |
| PARAM_VALUE | 4 | fmt_buf_pos | 324480137569636352 |
| PARAM_VALUE | 5 | fmt_buf_len | 1024 |
| PARAM_VALUE | 6 | *delim_str | 0-87,89-98,101-104,106-110,113-114,116,118-119,121-127 |
| DATA_SOURCE | 6 | delim_str | $1 |
| NOCHECK_CALL |
lib/tests/scanf_kunit.c numbers_list_field_width_hh() -> append_delim()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | str_buf_pos | 2346885976394526720 |
| PARAM_VALUE | 2 | str_buf_len | 1024 |
| PARAM_VALUE | 4 | fmt_buf_pos | 5251651216836337664 |
| PARAM_VALUE | 5 | fmt_buf_len | 1024 |
| PARAM_VALUE | 6 | *delim_str | 0-87,89-98,101-104,106-110,113-114,116,118-119,121-127 |
| DATA_SOURCE | 6 | delim_str | $1 |
| NOCHECK_CALL |
lib/tests/scanf_kunit.c numbers_list_field_width_hh() -> append_delim()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | str_buf_pos | 2346885976394526720 |
| PARAM_VALUE | 2 | str_buf_len | 1024 |
| PARAM_VALUE | 4 | fmt_buf_pos | 5251651216836337664 |
| PARAM_VALUE | 5 | fmt_buf_len | 1024 |
| PARAM_VALUE | 6 | *delim_str | 0-87,89-98,101-104,106-110,113-114,116,118-119,121-127 |
| DATA_SOURCE | 6 | delim_str | $1 |
| NOCHECK_CALL |
lib/tests/scanf_kunit.c numbers_list_field_width_hh() -> append_delim()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | str_buf_pos | 2346885976394526720 |
| PARAM_VALUE | 2 | str_buf_len | 1024 |
| PARAM_VALUE | 4 | fmt_buf_pos | 5251651216836337664 |
| PARAM_VALUE | 5 | fmt_buf_len | 1024 |
| PARAM_VALUE | 6 | *delim_str | 0-87,89-98,101-104,106-110,113-114,116,118-119,121-127 |
| DATA_SOURCE | 6 | delim_str | $1 |
| NOCHECK_CALL |
lib/tests/scanf_kunit.c numbers_list_field_width_hh() -> append_delim()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | str_buf_pos | 2346885976394526720 |
| PARAM_VALUE | 2 | str_buf_len | 1024 |
| PARAM_VALUE | 4 | fmt_buf_pos | 5251651216836337664 |
| PARAM_VALUE | 5 | fmt_buf_len | 1024 |
| PARAM_VALUE | 6 | *delim_str | 0-87,89-98,101-104,106-110,113-114,116,118-119,121-127 |
| DATA_SOURCE | 6 | delim_str | $1 |
| NOCHECK_CALL |
lib/tests/scanf_kunit.c numbers_list_field_width_hh() -> append_delim()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | str_buf_pos | 2346885976394526720 |
| PARAM_VALUE | 2 | str_buf_len | 1024 |
| PARAM_VALUE | 4 | fmt_buf_pos | 5251651216836337664 |
| PARAM_VALUE | 5 | fmt_buf_len | 1024 |
| PARAM_VALUE | 6 | *delim_str | 0-87,89-98,101-104,106-110,113-114,116,118-119,121-127 |
| DATA_SOURCE | 6 | delim_str | $1 |
| NOCHECK_CALL |
lib/tests/scanf_kunit.c numbers_list_field_width_hh() -> append_delim()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | str_buf_pos | 2346885976394526720 |
| PARAM_VALUE | 2 | str_buf_len | 1024 |
| PARAM_VALUE | 4 | fmt_buf_pos | 5251651216836337664 |
| PARAM_VALUE | 5 | fmt_buf_len | 1024 |
| PARAM_VALUE | 6 | *delim_str | 0-87,89-98,101-104,106-110,113-114,116,118-119,121-127 |
| DATA_SOURCE | 6 | delim_str | $1 |
| NOCHECK_CALL |
lib/tests/scanf_kunit.c numbers_list_field_width_l() -> append_delim()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | str_buf_pos | 6776179815176515584 |
| PARAM_VALUE | 2 | str_buf_len | 1024 |
| PARAM_VALUE | 4 | fmt_buf_pos | 5397373099945115648 |
| PARAM_VALUE | 5 | fmt_buf_len | 1024 |
| PARAM_VALUE | 6 | *delim_str | 0-87,89-98,101-104,106-110,113-114,116,118-119,121-127 |
| DATA_SOURCE | 6 | delim_str | $1 |
| NOCHECK_CALL |
lib/tests/scanf_kunit.c numbers_list_field_width_l() -> append_delim()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | str_buf_pos | 6776179815176515584 |
| PARAM_VALUE | 2 | str_buf_len | 1024 |
| PARAM_VALUE | 4 | fmt_buf_pos | 5397373099945115648 |
| PARAM_VALUE | 5 | fmt_buf_len | 1024 |
| PARAM_VALUE | 6 | *delim_str | 0-87,89-98,101-104,106-110,113-114,116,118-119,121-127 |
| DATA_SOURCE | 6 | delim_str | $1 |
| NOCHECK_CALL |
lib/tests/scanf_kunit.c numbers_list_field_width_l() -> append_delim()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | str_buf_pos | 6776179815176515584 |
| PARAM_VALUE | 2 | str_buf_len | 1024 |
| PARAM_VALUE | 4 | fmt_buf_pos | 5397373099945115648 |
| PARAM_VALUE | 5 | fmt_buf_len | 1024 |
| PARAM_VALUE | 6 | *delim_str | 0-87,89-98,101-104,106-110,113-114,116,118-119,121-127 |
| DATA_SOURCE | 6 | delim_str | $1 |
| NOCHECK_CALL |
lib/tests/scanf_kunit.c numbers_list_field_width_l() -> append_delim()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | str_buf_pos | 6776179815176515584 |
| PARAM_VALUE | 2 | str_buf_len | 1024 |
| PARAM_VALUE | 4 | fmt_buf_pos | 5397373099945115648 |
| PARAM_VALUE | 5 | fmt_buf_len | 1024 |
| PARAM_VALUE | 6 | *delim_str | 0-87,89-98,101-104,106-110,113-114,116,118-119,121-127 |
| DATA_SOURCE | 6 | delim_str | $1 |
| NOCHECK_CALL |
lib/tests/scanf_kunit.c numbers_list_field_width_l() -> append_delim()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | str_buf_pos | 6776179815176515584 |
| PARAM_VALUE | 2 | str_buf_len | 1024 |
| PARAM_VALUE | 4 | fmt_buf_pos | 5397373099945115648 |
| PARAM_VALUE | 5 | fmt_buf_len | 1024 |
| PARAM_VALUE | 6 | *delim_str | 0-87,89-98,101-104,106-110,113-114,116,118-119,121-127 |
| DATA_SOURCE | 6 | delim_str | $1 |
| NOCHECK_CALL |
lib/tests/scanf_kunit.c numbers_list_field_width_l() -> append_delim()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | str_buf_pos | 6776179815176515584 |
| PARAM_VALUE | 2 | str_buf_len | 1024 |
| PARAM_VALUE | 4 | fmt_buf_pos | 5397373099945115648 |
| PARAM_VALUE | 5 | fmt_buf_len | 1024 |
| PARAM_VALUE | 6 | *delim_str | 0-87,89-98,101-104,106-110,113-114,116,118-119,121-127 |
| DATA_SOURCE | 6 | delim_str | $1 |
| NOCHECK_CALL |
lib/tests/scanf_kunit.c numbers_list_field_width_ll() -> append_delim()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | str_buf_pos | 5839516261121814528 |
| PARAM_VALUE | 2 | str_buf_len | 1024 |
| PARAM_VALUE | 4 | fmt_buf_pos | 7598582510626754560 |
| PARAM_VALUE | 5 | fmt_buf_len | 1024 |
| DATA_SOURCE | 6 | delim_str | $1 |
| NOCHECK_CALL |
lib/tests/scanf_kunit.c numbers_list_field_width_ll() -> append_delim()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | str_buf_pos | 5839516261121814528 |
| PARAM_VALUE | 2 | str_buf_len | 1024 |
| PARAM_VALUE | 4 | fmt_buf_pos | 7598582510626754560 |
| PARAM_VALUE | 5 | fmt_buf_len | 1024 |
| DATA_SOURCE | 6 | delim_str | $1 |
| NOCHECK_CALL |
lib/tests/scanf_kunit.c numbers_list_field_width_ll() -> append_delim()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | str_buf_pos | 5839516261121814528 |
| PARAM_VALUE | 2 | str_buf_len | 1024 |
| PARAM_VALUE | 4 | fmt_buf_pos | 7598582510626754560 |
| PARAM_VALUE | 5 | fmt_buf_len | 1024 |
| DATA_SOURCE | 6 | delim_str | $1 |
| NOCHECK_CALL |
lib/tests/scanf_kunit.c numbers_list_field_width_ll() -> append_delim()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | str_buf_pos | 5839516261121814528 |
| PARAM_VALUE | 2 | str_buf_len | 1024 |
| PARAM_VALUE | 4 | fmt_buf_pos | 7598582510626754560 |
| PARAM_VALUE | 5 | fmt_buf_len | 1024 |
| DATA_SOURCE | 6 | delim_str | $1 |
| NOCHECK_CALL |
lib/tests/scanf_kunit.c numbers_list_field_width_ll() -> append_delim()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | str_buf_pos | 5839516261121814528 |
| PARAM_VALUE | 2 | str_buf_len | 1024 |
| PARAM_VALUE | 4 | fmt_buf_pos | 7598582510626754560 |
| PARAM_VALUE | 5 | fmt_buf_len | 1024 |
| DATA_SOURCE | 6 | delim_str | $1 |
| NOCHECK_CALL |
lib/tests/scanf_kunit.c numbers_list_field_width_ll() -> append_delim()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | str_buf_pos | 5839516261121814528 |
| PARAM_VALUE | 2 | str_buf_len | 1024 |
| PARAM_VALUE | 4 | fmt_buf_pos | 7598582510626754560 |
| PARAM_VALUE | 5 | fmt_buf_len | 1024 |
| DATA_SOURCE | 6 | delim_str | $1 |
| NOCHECK_CALL |
lib/tests/scanf_kunit.c numbers_list_field_width_val_d() -> append_delim()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | str_buf_pos | 7675938804127399936 |
| PARAM_VALUE | 2 | str_buf_len | 1024 |
| PARAM_VALUE | 4 | fmt_buf_pos | 4374049587344269312 |
| PARAM_VALUE | 5 | fmt_buf_len | 1024 |
| PARAM_VALUE | 6 | *delim_str | 0-87,89-98,101-104,106-110,113-114,116,118-119,121-127 |
| DATA_SOURCE | 6 | delim_str | $1 |
| NOCHECK_CALL |
lib/tests/scanf_kunit.c numbers_list_field_width_val_d() -> append_delim()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | str_buf_pos | 7675938804127399936 |
| PARAM_VALUE | 2 | str_buf_len | 1024 |
| PARAM_VALUE | 4 | fmt_buf_pos | 4374049587344269312 |
| PARAM_VALUE | 5 | fmt_buf_len | 1024 |
| PARAM_VALUE | 6 | *delim_str | 0-87,89-98,101-104,106-110,113-114,116,118-119,121-127 |
| DATA_SOURCE | 6 | delim_str | $1 |
| NOCHECK_CALL |
lib/tests/scanf_kunit.c numbers_list_field_width_val_d() -> append_delim()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | str_buf_pos | 7675938804127399936 |
| PARAM_VALUE | 2 | str_buf_len | 1024 |
| PARAM_VALUE | 4 | fmt_buf_pos | 4374049587344269312 |
| PARAM_VALUE | 5 | fmt_buf_len | 1024 |
| PARAM_VALUE | 6 | *delim_str | 0-87,89-98,101-104,106-110,113-114,116,118-119,121-127 |
| DATA_SOURCE | 6 | delim_str | $1 |
| NOCHECK_CALL |
lib/tests/scanf_kunit.c numbers_list_field_width_val_d() -> append_delim()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | str_buf_pos | 7675938804127399936 |
| PARAM_VALUE | 2 | str_buf_len | 1024 |
| PARAM_VALUE | 4 | fmt_buf_pos | 4374049587344269312 |
| PARAM_VALUE | 5 | fmt_buf_len | 1024 |
| PARAM_VALUE | 6 | *delim_str | 0-87,89-98,101-104,106-110,113-114,116,118-119,121-127 |
| DATA_SOURCE | 6 | delim_str | $1 |
| NOCHECK_CALL |
lib/tests/scanf_kunit.c numbers_list_field_width_val_d() -> append_delim()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | str_buf_pos | 7675938804127399936 |
| PARAM_VALUE | 2 | str_buf_len | 1024 |
| PARAM_VALUE | 4 | fmt_buf_pos | 4374049587344269312 |
| PARAM_VALUE | 5 | fmt_buf_len | 1024 |
| PARAM_VALUE | 6 | *delim_str | 0-87,89-98,101-104,106-110,113-114,116,118-119,121-127 |
| DATA_SOURCE | 6 | delim_str | $1 |
| NOCHECK_CALL |
lib/tests/scanf_kunit.c numbers_list_field_width_val_d() -> append_delim()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | str_buf_pos | 7675938804127399936 |
| PARAM_VALUE | 2 | str_buf_len | 1024 |
| PARAM_VALUE | 4 | fmt_buf_pos | 4374049587344269312 |
| PARAM_VALUE | 5 | fmt_buf_len | 1024 |
| PARAM_VALUE | 6 | *delim_str | 0-87,89-98,101-104,106-110,113-114,116,118-119,121-127 |
| DATA_SOURCE | 6 | delim_str | $1 |
| NOCHECK_CALL |
lib/tests/scanf_kunit.c numbers_list_field_width_val_h() -> append_delim()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | str_buf_pos | 2165459481973698560 |
| PARAM_VALUE | 2 | str_buf_len | 1024 |
| PARAM_VALUE | 4 | fmt_buf_pos | 3317648826174603264 |
| PARAM_VALUE | 5 | fmt_buf_len | 1024 |
| PARAM_VALUE | 6 | *delim_str | 0-87,89-98,101-104,106-110,113-114,116,118-119,121-127 |
| DATA_SOURCE | 6 | delim_str | $1 |
| NOCHECK_CALL |
lib/tests/scanf_kunit.c numbers_list_field_width_val_h() -> append_delim()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | str_buf_pos | 2165459481973698560 |
| PARAM_VALUE | 2 | str_buf_len | 1024 |
| PARAM_VALUE | 4 | fmt_buf_pos | 3317648826174603264 |
| PARAM_VALUE | 5 | fmt_buf_len | 1024 |
| PARAM_VALUE | 6 | *delim_str | 0-87,89-98,101-104,106-110,113-114,116,118-119,121-127 |
| DATA_SOURCE | 6 | delim_str | $1 |
| NOCHECK_CALL |
lib/tests/scanf_kunit.c numbers_list_field_width_val_h() -> append_delim()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | str_buf_pos | 2165459481973698560 |
| PARAM_VALUE | 2 | str_buf_len | 1024 |
| PARAM_VALUE | 4 | fmt_buf_pos | 3317648826174603264 |
| PARAM_VALUE | 5 | fmt_buf_len | 1024 |
| PARAM_VALUE | 6 | *delim_str | 0-87,89-98,101-104,106-110,113-114,116,118-119,121-127 |
| DATA_SOURCE | 6 | delim_str | $1 |
| NOCHECK_CALL |
lib/tests/scanf_kunit.c numbers_list_field_width_val_h() -> append_delim()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | str_buf_pos | 2165459481973698560 |
| PARAM_VALUE | 2 | str_buf_len | 1024 |
| PARAM_VALUE | 4 | fmt_buf_pos | 3317648826174603264 |
| PARAM_VALUE | 5 | fmt_buf_len | 1024 |
| PARAM_VALUE | 6 | *delim_str | 0-87,89-98,101-104,106-110,113-114,116,118-119,121-127 |
| DATA_SOURCE | 6 | delim_str | $1 |
| NOCHECK_CALL |
lib/tests/scanf_kunit.c numbers_list_field_width_val_h() -> append_delim()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | str_buf_pos | 2165459481973698560 |
| PARAM_VALUE | 2 | str_buf_len | 1024 |
| PARAM_VALUE | 4 | fmt_buf_pos | 3317648826174603264 |
| PARAM_VALUE | 5 | fmt_buf_len | 1024 |
| PARAM_VALUE | 6 | *delim_str | 0-87,89-98,101-104,106-110,113-114,116,118-119,121-127 |
| DATA_SOURCE | 6 | delim_str | $1 |
| NOCHECK_CALL |
lib/tests/scanf_kunit.c numbers_list_field_width_val_h() -> append_delim()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | str_buf_pos | 2165459481973698560 |
| PARAM_VALUE | 2 | str_buf_len | 1024 |
| PARAM_VALUE | 4 | fmt_buf_pos | 3317648826174603264 |
| PARAM_VALUE | 5 | fmt_buf_len | 1024 |
| PARAM_VALUE | 6 | *delim_str | 0-87,89-98,101-104,106-110,113-114,116,118-119,121-127 |
| DATA_SOURCE | 6 | delim_str | $1 |
| NOCHECK_CALL |
lib/tests/scanf_kunit.c numbers_list_field_width_val_hh() -> append_delim()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | str_buf_pos | 5013617992682098688 |
| PARAM_VALUE | 2 | str_buf_len | 1024 |
| PARAM_VALUE | 4 | fmt_buf_pos | 6354972960840880128 |
| PARAM_VALUE | 5 | fmt_buf_len | 1024 |
| PARAM_VALUE | 6 | *delim_str | 0-87,89-98,101-104,106-110,113-114,116,118-119,121-127 |
| DATA_SOURCE | 6 | delim_str | $1 |
| NOCHECK_CALL |
lib/tests/scanf_kunit.c numbers_list_field_width_val_hh() -> append_delim()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | str_buf_pos | 5013617992682098688 |
| PARAM_VALUE | 2 | str_buf_len | 1024 |
| PARAM_VALUE | 4 | fmt_buf_pos | 6354972960840880128 |
| PARAM_VALUE | 5 | fmt_buf_len | 1024 |
| PARAM_VALUE | 6 | *delim_str | 0-87,89-98,101-104,106-110,113-114,116,118-119,121-127 |
| DATA_SOURCE | 6 | delim_str | $1 |
| NOCHECK_CALL |
lib/tests/scanf_kunit.c numbers_list_field_width_val_hh() -> append_delim()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | str_buf_pos | 5013617992682098688 |
| PARAM_VALUE | 2 | str_buf_len | 1024 |
| PARAM_VALUE | 4 | fmt_buf_pos | 6354972960840880128 |
| PARAM_VALUE | 5 | fmt_buf_len | 1024 |
| PARAM_VALUE | 6 | *delim_str | 0-87,89-98,101-104,106-110,113-114,116,118-119,121-127 |
| DATA_SOURCE | 6 | delim_str | $1 |
| NOCHECK_CALL |
lib/tests/scanf_kunit.c numbers_list_field_width_val_hh() -> append_delim()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | str_buf_pos | 5013617992682098688 |
| PARAM_VALUE | 2 | str_buf_len | 1024 |
| PARAM_VALUE | 4 | fmt_buf_pos | 6354972960840880128 |
| PARAM_VALUE | 5 | fmt_buf_len | 1024 |
| PARAM_VALUE | 6 | *delim_str | 0-87,89-98,101-104,106-110,113-114,116,118-119,121-127 |
| DATA_SOURCE | 6 | delim_str | $1 |
| NOCHECK_CALL |
lib/tests/scanf_kunit.c numbers_list_field_width_val_hh() -> append_delim()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | str_buf_pos | 5013617992682098688 |
| PARAM_VALUE | 2 | str_buf_len | 1024 |
| PARAM_VALUE | 4 | fmt_buf_pos | 6354972960840880128 |
| PARAM_VALUE | 5 | fmt_buf_len | 1024 |
| PARAM_VALUE | 6 | *delim_str | 0-87,89-98,101-104,106-110,113-114,116,118-119,121-127 |
| DATA_SOURCE | 6 | delim_str | $1 |
| NOCHECK_CALL |
lib/tests/scanf_kunit.c numbers_list_field_width_val_hh() -> append_delim()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | str_buf_pos | 5013617992682098688 |
| PARAM_VALUE | 2 | str_buf_len | 1024 |
| PARAM_VALUE | 4 | fmt_buf_pos | 6354972960840880128 |
| PARAM_VALUE | 5 | fmt_buf_len | 1024 |
| PARAM_VALUE | 6 | *delim_str | 0-87,89-98,101-104,106-110,113-114,116,118-119,121-127 |
| DATA_SOURCE | 6 | delim_str | $1 |
| NOCHECK_CALL |
lib/tests/scanf_kunit.c numbers_list_field_width_val_l() -> append_delim()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | str_buf_pos | 8415393826780401664 |
| PARAM_VALUE | 2 | str_buf_len | 1024 |
| PARAM_VALUE | 4 | fmt_buf_pos | 3778581315747524608 |
| PARAM_VALUE | 5 | fmt_buf_len | 1024 |
| PARAM_VALUE | 6 | *delim_str | 0-87,89-98,101-104,106-110,113-114,116,118-119,121-127 |
| DATA_SOURCE | 6 | delim_str | $1 |
| NOCHECK_CALL |
lib/tests/scanf_kunit.c numbers_list_field_width_val_l() -> append_delim()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | str_buf_pos | 8415393826780401664 |
| PARAM_VALUE | 2 | str_buf_len | 1024 |
| PARAM_VALUE | 4 | fmt_buf_pos | 3778581315747524608 |
| PARAM_VALUE | 5 | fmt_buf_len | 1024 |
| PARAM_VALUE | 6 | *delim_str | 0-87,89-98,101-104,106-110,113-114,116,118-119,121-127 |
| DATA_SOURCE | 6 | delim_str | $1 |
| NOCHECK_CALL |
lib/tests/scanf_kunit.c numbers_list_field_width_val_l() -> append_delim()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | str_buf_pos | 8415393826780401664 |
| PARAM_VALUE | 2 | str_buf_len | 1024 |
| PARAM_VALUE | 4 | fmt_buf_pos | 3778581315747524608 |
| PARAM_VALUE | 5 | fmt_buf_len | 1024 |
| PARAM_VALUE | 6 | *delim_str | 0-87,89-98,101-104,106-110,113-114,116,118-119,121-127 |
| DATA_SOURCE | 6 | delim_str | $1 |
| NOCHECK_CALL |
lib/tests/scanf_kunit.c numbers_list_field_width_val_l() -> append_delim()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | str_buf_pos | 8415393826780401664 |
| PARAM_VALUE | 2 | str_buf_len | 1024 |
| PARAM_VALUE | 4 | fmt_buf_pos | 3778581315747524608 |
| PARAM_VALUE | 5 | fmt_buf_len | 1024 |
| PARAM_VALUE | 6 | *delim_str | 0-87,89-98,101-104,106-110,113-114,116,118-119,121-127 |
| DATA_SOURCE | 6 | delim_str | $1 |
| NOCHECK_CALL |
lib/tests/scanf_kunit.c numbers_list_field_width_val_l() -> append_delim()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | str_buf_pos | 8415393826780401664 |
| PARAM_VALUE | 2 | str_buf_len | 1024 |
| PARAM_VALUE | 4 | fmt_buf_pos | 3778581315747524608 |
| PARAM_VALUE | 5 | fmt_buf_len | 1024 |
| PARAM_VALUE | 6 | *delim_str | 0-87,89-98,101-104,106-110,113-114,116,118-119,121-127 |
| DATA_SOURCE | 6 | delim_str | $1 |
| NOCHECK_CALL |
lib/tests/scanf_kunit.c numbers_list_field_width_val_l() -> append_delim()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | str_buf_pos | 8415393826780401664 |
| PARAM_VALUE | 2 | str_buf_len | 1024 |
| PARAM_VALUE | 4 | fmt_buf_pos | 3778581315747524608 |
| PARAM_VALUE | 5 | fmt_buf_len | 1024 |
| PARAM_VALUE | 6 | *delim_str | 0-87,89-98,101-104,106-110,113-114,116,118-119,121-127 |
| DATA_SOURCE | 6 | delim_str | $1 |
| NOCHECK_CALL |
lib/tests/scanf_kunit.c numbers_list_field_width_val_ll() -> append_delim()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | str_buf_pos | 1613295369012527104 |
| PARAM_VALUE | 2 | str_buf_len | 1024 |
| PARAM_VALUE | 4 | fmt_buf_pos | 7643596839158353920 |
| PARAM_VALUE | 5 | fmt_buf_len | 1024 |
| DATA_SOURCE | 6 | delim_str | $1 |
| NOCHECK_CALL |
lib/tests/scanf_kunit.c numbers_list_field_width_val_ll() -> append_delim()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | str_buf_pos | 1613295369012527104 |
| PARAM_VALUE | 2 | str_buf_len | 1024 |
| PARAM_VALUE | 4 | fmt_buf_pos | 7643596839158353920 |
| PARAM_VALUE | 5 | fmt_buf_len | 1024 |
| DATA_SOURCE | 6 | delim_str | $1 |
| NOCHECK_CALL |
lib/tests/scanf_kunit.c numbers_list_field_width_val_ll() -> append_delim()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | str_buf_pos | 1613295369012527104 |
| PARAM_VALUE | 2 | str_buf_len | 1024 |
| PARAM_VALUE | 4 | fmt_buf_pos | 7643596839158353920 |
| PARAM_VALUE | 5 | fmt_buf_len | 1024 |
| DATA_SOURCE | 6 | delim_str | $1 |
| NOCHECK_CALL |
lib/tests/scanf_kunit.c numbers_list_field_width_val_ll() -> append_delim()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | str_buf_pos | 1613295369012527104 |
| PARAM_VALUE | 2 | str_buf_len | 1024 |
| PARAM_VALUE | 4 | fmt_buf_pos | 7643596839158353920 |
| PARAM_VALUE | 5 | fmt_buf_len | 1024 |
| DATA_SOURCE | 6 | delim_str | $1 |
| NOCHECK_CALL |
lib/tests/scanf_kunit.c numbers_list_field_width_val_ll() -> append_delim()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | str_buf_pos | 1613295369012527104 |
| PARAM_VALUE | 2 | str_buf_len | 1024 |
| PARAM_VALUE | 4 | fmt_buf_pos | 7643596839158353920 |
| PARAM_VALUE | 5 | fmt_buf_len | 1024 |
| DATA_SOURCE | 6 | delim_str | $1 |
| NOCHECK_CALL |
lib/tests/scanf_kunit.c numbers_list_field_width_val_ll() -> append_delim()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | str_buf_pos | 1613295369012527104 |
| PARAM_VALUE | 2 | str_buf_len | 1024 |
| PARAM_VALUE | 4 | fmt_buf_pos | 7643596839158353920 |
| PARAM_VALUE | 5 | fmt_buf_len | 1024 |
| DATA_SOURCE | 6 | delim_str | $1 |
| NOCHECK_CALL |
lib/tests/scanf_kunit.c numbers_list_h() -> append_delim()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | str_buf_pos | 2630055744392495104 |
| PARAM_VALUE | 2 | str_buf_len | 1024 |
| PARAM_VALUE | 4 | fmt_buf_pos | 8108953211862663168 |
| PARAM_VALUE | 5 | fmt_buf_len | 1024 |
| PARAM_VALUE | 6 | *delim_str | 0-87,89-98,101-104,106-110,113-114,116,118-119,121-127 |
| DATA_SOURCE | 6 | delim_str | $1 |
| NOCHECK_CALL |
lib/tests/scanf_kunit.c numbers_list_h() -> append_delim()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | str_buf_pos | 2630055744392495104 |
| PARAM_VALUE | 2 | str_buf_len | 1024 |
| PARAM_VALUE | 4 | fmt_buf_pos | 8108953211862663168 |
| PARAM_VALUE | 5 | fmt_buf_len | 1024 |
| PARAM_VALUE | 6 | *delim_str | 0-87,89-98,101-104,106-110,113-114,116,118-119,121-127 |
| DATA_SOURCE | 6 | delim_str | $1 |
| NOCHECK_CALL |
lib/tests/scanf_kunit.c numbers_list_h() -> append_delim()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | str_buf_pos | 2630055744392495104 |
| PARAM_VALUE | 2 | str_buf_len | 1024 |
| PARAM_VALUE | 4 | fmt_buf_pos | 8108953211862663168 |
| PARAM_VALUE | 5 | fmt_buf_len | 1024 |
| PARAM_VALUE | 6 | *delim_str | 0-87,89-98,101-104,106-110,113-114,116,118-119,121-127 |
| DATA_SOURCE | 6 | delim_str | $1 |
| NOCHECK_CALL |
lib/tests/scanf_kunit.c numbers_list_h() -> append_delim()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | str_buf_pos | 2630055744392495104 |
| PARAM_VALUE | 2 | str_buf_len | 1024 |
| PARAM_VALUE | 4 | fmt_buf_pos | 8108953211862663168 |
| PARAM_VALUE | 5 | fmt_buf_len | 1024 |
| PARAM_VALUE | 6 | *delim_str | 0-87,89-98,101-104,106-110,113-114,116,118-119,121-127 |
| DATA_SOURCE | 6 | delim_str | $1 |
| NOCHECK_CALL |
lib/tests/scanf_kunit.c numbers_list_h() -> append_delim()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | str_buf_pos | 2630055744392495104 |
| PARAM_VALUE | 2 | str_buf_len | 1024 |
| PARAM_VALUE | 4 | fmt_buf_pos | 8108953211862663168 |
| PARAM_VALUE | 5 | fmt_buf_len | 1024 |
| PARAM_VALUE | 6 | *delim_str | 0-87,89-98,101-104,106-110,113-114,116,118-119,121-127 |
| DATA_SOURCE | 6 | delim_str | $1 |
| NOCHECK_CALL |
lib/tests/scanf_kunit.c numbers_list_h() -> append_delim()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | str_buf_pos | 2630055744392495104 |
| PARAM_VALUE | 2 | str_buf_len | 1024 |
| PARAM_VALUE | 4 | fmt_buf_pos | 8108953211862663168 |
| PARAM_VALUE | 5 | fmt_buf_len | 1024 |
| PARAM_VALUE | 6 | *delim_str | 0-87,89-98,101-104,106-110,113-114,116,118-119,121-127 |
| DATA_SOURCE | 6 | delim_str | $1 |
| NOCHECK_CALL |
lib/tests/scanf_kunit.c numbers_list_hh() -> append_delim()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | str_buf_pos | 5923079456736391168 |
| PARAM_VALUE | 2 | str_buf_len | 1024 |
| PARAM_VALUE | 4 | fmt_buf_pos | 8640368675599159296 |
| PARAM_VALUE | 5 | fmt_buf_len | 1024 |
| PARAM_VALUE | 6 | *delim_str | 0-87,89-98,101-104,106-110,113-114,116,118-119,121-127 |
| DATA_SOURCE | 6 | delim_str | $1 |
| NOCHECK_CALL |
lib/tests/scanf_kunit.c numbers_list_hh() -> append_delim()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | str_buf_pos | 5923079456736391168 |
| PARAM_VALUE | 2 | str_buf_len | 1024 |
| PARAM_VALUE | 4 | fmt_buf_pos | 8640368675599159296 |
| PARAM_VALUE | 5 | fmt_buf_len | 1024 |
| PARAM_VALUE | 6 | *delim_str | 0-87,89-98,101-104,106-110,113-114,116,118-119,121-127 |
| DATA_SOURCE | 6 | delim_str | $1 |
| NOCHECK_CALL |
lib/tests/scanf_kunit.c numbers_list_hh() -> append_delim()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | str_buf_pos | 5923079456736391168 |
| PARAM_VALUE | 2 | str_buf_len | 1024 |
| PARAM_VALUE | 4 | fmt_buf_pos | 8640368675599159296 |
| PARAM_VALUE | 5 | fmt_buf_len | 1024 |
| PARAM_VALUE | 6 | *delim_str | 0-87,89-98,101-104,106-110,113-114,116,118-119,121-127 |
| DATA_SOURCE | 6 | delim_str | $1 |
| NOCHECK_CALL |
lib/tests/scanf_kunit.c numbers_list_hh() -> append_delim()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | str_buf_pos | 5923079456736391168 |
| PARAM_VALUE | 2 | str_buf_len | 1024 |
| PARAM_VALUE | 4 | fmt_buf_pos | 8640368675599159296 |
| PARAM_VALUE | 5 | fmt_buf_len | 1024 |
| PARAM_VALUE | 6 | *delim_str | 0-87,89-98,101-104,106-110,113-114,116,118-119,121-127 |
| DATA_SOURCE | 6 | delim_str | $1 |
| NOCHECK_CALL |
lib/tests/scanf_kunit.c numbers_list_hh() -> append_delim()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | str_buf_pos | 5923079456736391168 |
| PARAM_VALUE | 2 | str_buf_len | 1024 |
| PARAM_VALUE | 4 | fmt_buf_pos | 8640368675599159296 |
| PARAM_VALUE | 5 | fmt_buf_len | 1024 |
| PARAM_VALUE | 6 | *delim_str | 0-87,89-98,101-104,106-110,113-114,116,118-119,121-127 |
| DATA_SOURCE | 6 | delim_str | $1 |
| NOCHECK_CALL |
lib/tests/scanf_kunit.c numbers_list_hh() -> append_delim()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | str_buf_pos | 5923079456736391168 |
| PARAM_VALUE | 2 | str_buf_len | 1024 |
| PARAM_VALUE | 4 | fmt_buf_pos | 8640368675599159296 |
| PARAM_VALUE | 5 | fmt_buf_len | 1024 |
| PARAM_VALUE | 6 | *delim_str | 0-87,89-98,101-104,106-110,113-114,116,118-119,121-127 |
| DATA_SOURCE | 6 | delim_str | $1 |
| NOCHECK_CALL |
lib/tests/scanf_kunit.c numbers_list_l() -> append_delim()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | str_buf_pos | 5342438646445993984 |
| PARAM_VALUE | 2 | str_buf_len | 1024 |
| PARAM_VALUE | 4 | fmt_buf_pos | 4857626349525098496 |
| PARAM_VALUE | 5 | fmt_buf_len | 1024 |
| PARAM_VALUE | 6 | *delim_str | 0-87,89-98,101-104,106-110,113-114,116,118-119,121-127 |
| DATA_SOURCE | 6 | delim_str | $1 |
| NOCHECK_CALL |
lib/tests/scanf_kunit.c numbers_list_l() -> append_delim()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | str_buf_pos | 5342438646445993984 |
| PARAM_VALUE | 2 | str_buf_len | 1024 |
| PARAM_VALUE | 4 | fmt_buf_pos | 4857626349525098496 |
| PARAM_VALUE | 5 | fmt_buf_len | 1024 |
| PARAM_VALUE | 6 | *delim_str | 0-87,89-98,101-104,106-110,113-114,116,118-119,121-127 |
| DATA_SOURCE | 6 | delim_str | $1 |
| NOCHECK_CALL |
lib/tests/scanf_kunit.c numbers_list_l() -> append_delim()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | str_buf_pos | 5342438646445993984 |
| PARAM_VALUE | 2 | str_buf_len | 1024 |
| PARAM_VALUE | 4 | fmt_buf_pos | 4857626349525098496 |
| PARAM_VALUE | 5 | fmt_buf_len | 1024 |
| PARAM_VALUE | 6 | *delim_str | 0-87,89-98,101-104,106-110,113-114,116,118-119,121-127 |
| DATA_SOURCE | 6 | delim_str | $1 |
| NOCHECK_CALL |
lib/tests/scanf_kunit.c numbers_list_l() -> append_delim()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | str_buf_pos | 5342438646445993984 |
| PARAM_VALUE | 2 | str_buf_len | 1024 |
| PARAM_VALUE | 4 | fmt_buf_pos | 4857626349525098496 |
| PARAM_VALUE | 5 | fmt_buf_len | 1024 |
| PARAM_VALUE | 6 | *delim_str | 0-87,89-98,101-104,106-110,113-114,116,118-119,121-127 |
| DATA_SOURCE | 6 | delim_str | $1 |
| NOCHECK_CALL |
lib/tests/scanf_kunit.c numbers_list_l() -> append_delim()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | str_buf_pos | 5342438646445993984 |
| PARAM_VALUE | 2 | str_buf_len | 1024 |
| PARAM_VALUE | 4 | fmt_buf_pos | 4857626349525098496 |
| PARAM_VALUE | 5 | fmt_buf_len | 1024 |
| PARAM_VALUE | 6 | *delim_str | 0-87,89-98,101-104,106-110,113-114,116,118-119,121-127 |
| DATA_SOURCE | 6 | delim_str | $1 |
| NOCHECK_CALL |
lib/tests/scanf_kunit.c numbers_list_l() -> append_delim()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | str_buf_pos | 5342438646445993984 |
| PARAM_VALUE | 2 | str_buf_len | 1024 |
| PARAM_VALUE | 4 | fmt_buf_pos | 4857626349525098496 |
| PARAM_VALUE | 5 | fmt_buf_len | 1024 |
| PARAM_VALUE | 6 | *delim_str | 0-87,89-98,101-104,106-110,113-114,116,118-119,121-127 |
| DATA_SOURCE | 6 | delim_str | $1 |
| NOCHECK_CALL |
lib/tests/scanf_kunit.c numbers_list_ll() -> append_delim()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | str_buf_pos | 830673275497492480 |
| PARAM_VALUE | 2 | str_buf_len | 1024 |
| PARAM_VALUE | 4 | fmt_buf_pos | 1835580091964403712 |
| PARAM_VALUE | 5 | fmt_buf_len | 1024 |
| DATA_SOURCE | 6 | delim_str | $1 |
| NOCHECK_CALL |
lib/tests/scanf_kunit.c numbers_list_ll() -> append_delim()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | str_buf_pos | 830673275497492480 |
| PARAM_VALUE | 2 | str_buf_len | 1024 |
| PARAM_VALUE | 4 | fmt_buf_pos | 1835580091964403712 |
| PARAM_VALUE | 5 | fmt_buf_len | 1024 |
| DATA_SOURCE | 6 | delim_str | $1 |
| NOCHECK_CALL |
lib/tests/scanf_kunit.c numbers_list_ll() -> append_delim()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | str_buf_pos | 830673275497492480 |
| PARAM_VALUE | 2 | str_buf_len | 1024 |
| PARAM_VALUE | 4 | fmt_buf_pos | 1835580091964403712 |
| PARAM_VALUE | 5 | fmt_buf_len | 1024 |
| DATA_SOURCE | 6 | delim_str | $1 |
| NOCHECK_CALL |
lib/tests/scanf_kunit.c numbers_list_ll() -> append_delim()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | str_buf_pos | 830673275497492480 |
| PARAM_VALUE | 2 | str_buf_len | 1024 |
| PARAM_VALUE | 4 | fmt_buf_pos | 1835580091964403712 |
| PARAM_VALUE | 5 | fmt_buf_len | 1024 |
| DATA_SOURCE | 6 | delim_str | $1 |
| NOCHECK_CALL |
lib/tests/scanf_kunit.c numbers_list_ll() -> append_delim()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | str_buf_pos | 830673275497492480 |
| PARAM_VALUE | 2 | str_buf_len | 1024 |
| PARAM_VALUE | 4 | fmt_buf_pos | 1835580091964403712 |
| PARAM_VALUE | 5 | fmt_buf_len | 1024 |
| DATA_SOURCE | 6 | delim_str | $1 |
| NOCHECK_CALL |
lib/tests/scanf_kunit.c numbers_list_ll() -> append_delim()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | str_buf_pos | 830673275497492480 |
| PARAM_VALUE | 2 | str_buf_len | 1024 |
| PARAM_VALUE | 4 | fmt_buf_pos | 1835580091964403712 |
| PARAM_VALUE | 5 | fmt_buf_len | 1024 |
| DATA_SOURCE | 6 | delim_str | $1 |
| NOCHECK_CALL |