Skip to content

Commit

Permalink
Browse files Browse the repository at this point in the history
test-cutils: Test integral qemu_strto* value on failures 
We are inconsistent on the contents of *value after a strto* parse
failure.  I found the following behaviors:

- parse_uint() and parse_uint_full(), which document that *value is
  slammed to 0 on all EINVAL failures and 0 or UINT_MAX on ERANGE
  failures, and has unit tests for that (note that parse_uint requires
  non-NULL endptr, and does not fail with EINVAL for trailing junk)

- qemu_strtosz(), which leaves *value untouched on all failures (both
  EINVAL and ERANGE), and has unit tests but not documentation for
  that

- qemu_strtoi() and other integral friends, which document *value on
  ERANGE failures but is unspecified on EINVAL (other than implicitly
  by comparison to libc strto*); there, *value is untouched for NULL
  string, slammed to 0 on no conversion, and left at the prefix value
  on NULL endptr; unit tests do not consistently check the value

- qemu_strtod(), which documents *value on ERANGE failures but is
  unspecified on EINVAL; there, *value is untouched for NULL string,
  slammed to 0.0 for no conversion, and left at the prefix value on
  NULL endptr; there are no unit tests (other than indirectly through
  qemu_strtosz)

- qemu_strtod_finite(), which documents *value on ERANGE failures but
  is unspecified on EINVAL; there, *value is left at the prefix for
  'inf' or 'nan' and untouched in all other cases; there are no unit
  tests (other than indirectly through qemu_strtosz)

Upcoming patches will change behaviors for consistency, but it's best
to first have more unit test coverage to see the impact of those
changes.

Signed-off-by: Eric Blake <eblake@redhat.com>
Reviewed-by: Hanna Czenczek <hreitz@redhat.com>
Message-Id: <20230522190441.64278-4-eblake@redhat.com>
  • Loading branch information
@ebblake
ebblake committed Jun 2, 2023
1 parent 3b4790d commit d326d03
Showing 1 changed file with 51 additions and 7 deletions.
58 changes: 51 additions & 7 deletions tests/unit/test-cutils.c
View file
Expand Up @@ -248,6 +248,7 @@ static void test_qemu_strtoi_null(void)
err = qemu_strtoi(NULL, &endptr, 0, &res);

g_assert_cmpint(err, ==, -EINVAL);
g_assert_cmpint(res, ==, 999);
g_assert_null(endptr);
}

Expand All @@ -262,6 +263,7 @@ static void test_qemu_strtoi_empty(void)
err = qemu_strtoi(str, &endptr, 0, &res);

g_assert_cmpint(err, ==, -EINVAL);
g_assert_cmpint(res, ==, 0);
g_assert_true(endptr == str);
}

Expand All @@ -276,6 +278,7 @@ static void test_qemu_strtoi_whitespace(void)
err = qemu_strtoi(str, &endptr, 0, &res);

g_assert_cmpint(err, ==, -EINVAL);
g_assert_cmpint(res, ==, 0);
g_assert_true(endptr == str);
}

Expand All @@ -290,6 +293,7 @@ static void test_qemu_strtoi_invalid(void)
err = qemu_strtoi(str, &endptr, 0, &res);

g_assert_cmpint(err, ==, -EINVAL);
g_assert_cmpint(res, ==, 0);
g_assert_true(endptr == str);
}

Expand Down Expand Up @@ -473,6 +477,7 @@ static void test_qemu_strtoi_full_null(void)
err = qemu_strtoi(NULL, &endptr, 0, &res);

g_assert_cmpint(err, ==, -EINVAL);
g_assert_cmpint(res, ==, 999);
g_assert_null(endptr);
}

Expand All @@ -485,6 +490,7 @@ static void test_qemu_strtoi_full_empty(void)
err = qemu_strtoi(str, NULL, 0, &res);

g_assert_cmpint(err, ==, -EINVAL);
g_assert_cmpint(res, ==, 0);
}

static void test_qemu_strtoi_full_negative(void)
Expand All @@ -502,18 +508,19 @@ static void test_qemu_strtoi_full_negative(void)
static void test_qemu_strtoi_full_trailing(void)
{
const char *str = "123xxx";
int res;
int res = 999;
int err;

err = qemu_strtoi(str, NULL, 0, &res);

g_assert_cmpint(err, ==, -EINVAL);
g_assert_cmpint(res, ==, 123);
}

static void test_qemu_strtoi_full_max(void)
{
char *str = g_strdup_printf("%d", INT_MAX);
int res;
int res = 999;
int err;

err = qemu_strtoi(str, NULL, 0, &res);
Expand Down Expand Up @@ -548,6 +555,7 @@ static void test_qemu_strtoui_null(void)
err = qemu_strtoui(NULL, &endptr, 0, &res);

g_assert_cmpint(err, ==, -EINVAL);
g_assert_cmpuint(res, ==, 999);
g_assert_null(endptr);
}

Expand All @@ -562,6 +570,7 @@ static void test_qemu_strtoui_empty(void)
err = qemu_strtoui(str, &endptr, 0, &res);

g_assert_cmpint(err, ==, -EINVAL);
g_assert_cmpuint(res, ==, 0);
g_assert_true(endptr == str);
}

Expand All @@ -576,6 +585,7 @@ static void test_qemu_strtoui_whitespace(void)
err = qemu_strtoui(str, &endptr, 0, &res);

g_assert_cmpint(err, ==, -EINVAL);
g_assert_cmpuint(res, ==, 0);
g_assert_true(endptr == str);
}

Expand All @@ -590,6 +600,7 @@ static void test_qemu_strtoui_invalid(void)
err = qemu_strtoui(str, &endptr, 0, &res);

g_assert_cmpint(err, ==, -EINVAL);
g_assert_cmpuint(res, ==, 0);
g_assert_true(endptr == str);
}

Expand Down Expand Up @@ -771,6 +782,7 @@ static void test_qemu_strtoui_full_null(void)
err = qemu_strtoui(NULL, NULL, 0, &res);

g_assert_cmpint(err, ==, -EINVAL);
g_assert_cmpuint(res, ==, 999);
}

static void test_qemu_strtoui_full_empty(void)
Expand All @@ -782,7 +794,9 @@ static void test_qemu_strtoui_full_empty(void)
err = qemu_strtoui(str, NULL, 0, &res);

g_assert_cmpint(err, ==, -EINVAL);
g_assert_cmpuint(res, ==, 0);
}

static void test_qemu_strtoui_full_negative(void)
{
const char *str = " \t -321";
Expand All @@ -797,12 +811,13 @@ static void test_qemu_strtoui_full_negative(void)
static void test_qemu_strtoui_full_trailing(void)
{
const char *str = "123xxx";
unsigned int res;
unsigned int res = 999;
int err;

err = qemu_strtoui(str, NULL, 0, &res);

g_assert_cmpint(err, ==, -EINVAL);
g_assert_cmpuint(res, ==, 123);
}

static void test_qemu_strtoui_full_max(void)
Expand Down Expand Up @@ -843,6 +858,7 @@ static void test_qemu_strtol_null(void)
err = qemu_strtol(NULL, &endptr, 0, &res);

g_assert_cmpint(err, ==, -EINVAL);
g_assert_cmpint(res, ==, 999);
g_assert_null(endptr);
}

Expand All @@ -857,6 +873,7 @@ static void test_qemu_strtol_empty(void)
err = qemu_strtol(str, &endptr, 0, &res);

g_assert_cmpint(err, ==, -EINVAL);
g_assert_cmpint(res, ==, 0);
g_assert_true(endptr == str);
}

Expand All @@ -871,6 +888,7 @@ static void test_qemu_strtol_whitespace(void)
err = qemu_strtol(str, &endptr, 0, &res);

g_assert_cmpint(err, ==, -EINVAL);
g_assert_cmpint(res, ==, 0);
g_assert_true(endptr == str);
}

Expand All @@ -885,6 +903,7 @@ static void test_qemu_strtol_invalid(void)
err = qemu_strtol(str, &endptr, 0, &res);

g_assert_cmpint(err, ==, -EINVAL);
g_assert_cmpint(res, ==, 0);
g_assert_true(endptr == str);
}

Expand Down Expand Up @@ -1066,6 +1085,7 @@ static void test_qemu_strtol_full_null(void)
err = qemu_strtol(NULL, &endptr, 0, &res);

g_assert_cmpint(err, ==, -EINVAL);
g_assert_cmpint(res, ==, 999);
g_assert_null(endptr);
}

Expand All @@ -1078,6 +1098,7 @@ static void test_qemu_strtol_full_empty(void)
err = qemu_strtol(str, NULL, 0, &res);

g_assert_cmpint(err, ==, -EINVAL);
g_assert_cmpint(res, ==, 0);
}

static void test_qemu_strtol_full_negative(void)
Expand All @@ -1095,18 +1116,19 @@ static void test_qemu_strtol_full_negative(void)
static void test_qemu_strtol_full_trailing(void)
{
const char *str = "123xxx";
long res;
long res = 999;
int err;

err = qemu_strtol(str, NULL, 0, &res);

g_assert_cmpint(err, ==, -EINVAL);
g_assert_cmpint(res, ==, 123);
}

static void test_qemu_strtol_full_max(void)
{
char *str = g_strdup_printf("%ld", LONG_MAX);
long res;
long res = 999;
int err;

err = qemu_strtol(str, NULL, 0, &res);
Expand Down Expand Up @@ -1141,6 +1163,7 @@ static void test_qemu_strtoul_null(void)
err = qemu_strtoul(NULL, &endptr, 0, &res);

g_assert_cmpint(err, ==, -EINVAL);
g_assert_cmpuint(res, ==, 999);
g_assert_null(endptr);
}

Expand All @@ -1155,6 +1178,7 @@ static void test_qemu_strtoul_empty(void)
err = qemu_strtoul(str, &endptr, 0, &res);

g_assert_cmpint(err, ==, -EINVAL);
g_assert_cmpuint(res, ==, 0);
g_assert_true(endptr == str);
}

Expand All @@ -1169,6 +1193,7 @@ static void test_qemu_strtoul_whitespace(void)
err = qemu_strtoul(str, &endptr, 0, &res);

g_assert_cmpint(err, ==, -EINVAL);
g_assert_cmpuint(res, ==, 0);
g_assert_true(endptr == str);
}

Expand All @@ -1183,6 +1208,7 @@ static void test_qemu_strtoul_invalid(void)
err = qemu_strtoul(str, &endptr, 0, &res);

g_assert_cmpint(err, ==, -EINVAL);
g_assert_cmpuint(res, ==, 0);
g_assert_true(endptr == str);
}

Expand Down Expand Up @@ -1362,6 +1388,7 @@ static void test_qemu_strtoul_full_null(void)
err = qemu_strtoul(NULL, NULL, 0, &res);

g_assert_cmpint(err, ==, -EINVAL);
g_assert_cmpuint(res, ==, 999);
}

static void test_qemu_strtoul_full_empty(void)
Expand All @@ -1373,7 +1400,9 @@ static void test_qemu_strtoul_full_empty(void)
err = qemu_strtoul(str, NULL, 0, &res);

g_assert_cmpint(err, ==, -EINVAL);
g_assert_cmpuint(res, ==, 0);
}

static void test_qemu_strtoul_full_negative(void)
{
const char *str = " \t -321";
Expand All @@ -1388,12 +1417,13 @@ static void test_qemu_strtoul_full_negative(void)
static void test_qemu_strtoul_full_trailing(void)
{
const char *str = "123xxx";
unsigned long res;
unsigned long res = 999;
int err;

err = qemu_strtoul(str, NULL, 0, &res);

g_assert_cmpint(err, ==, -EINVAL);
g_assert_cmpuint(res, ==, 123);
}

static void test_qemu_strtoul_full_max(void)
Expand Down Expand Up @@ -1434,6 +1464,7 @@ static void test_qemu_strtoi64_null(void)
err = qemu_strtoi64(NULL, &endptr, 0, &res);

g_assert_cmpint(err, ==, -EINVAL);
g_assert_cmpint(res, ==, 999);
g_assert_null(endptr);
}

Expand All @@ -1448,6 +1479,7 @@ static void test_qemu_strtoi64_empty(void)
err = qemu_strtoi64(str, &endptr, 0, &res);

g_assert_cmpint(err, ==, -EINVAL);
g_assert_cmpint(res, ==, 0);
g_assert_true(endptr == str);
}

Expand All @@ -1462,6 +1494,7 @@ static void test_qemu_strtoi64_whitespace(void)
err = qemu_strtoi64(str, &endptr, 0, &res);

g_assert_cmpint(err, ==, -EINVAL);
g_assert_cmpint(res, ==, 0);
g_assert_true(endptr == str);
}

Expand All @@ -1476,6 +1509,7 @@ static void test_qemu_strtoi64_invalid(void)
err = qemu_strtoi64(str, &endptr, 0, &res);

g_assert_cmpint(err, ==, -EINVAL);
g_assert_cmpint(res, ==, 0);
g_assert_true(endptr == str);
}

Expand Down Expand Up @@ -1655,6 +1689,7 @@ static void test_qemu_strtoi64_full_null(void)
err = qemu_strtoi64(NULL, NULL, 0, &res);

g_assert_cmpint(err, ==, -EINVAL);
g_assert_cmpint(res, ==, 999);
}

static void test_qemu_strtoi64_full_empty(void)
Expand All @@ -1666,6 +1701,7 @@ static void test_qemu_strtoi64_full_empty(void)
err = qemu_strtoi64(str, NULL, 0, &res);

g_assert_cmpint(err, ==, -EINVAL);
g_assert_cmpint(res, ==, 0);
}

static void test_qemu_strtoi64_full_negative(void)
Expand All @@ -1689,13 +1725,14 @@ static void test_qemu_strtoi64_full_trailing(void)
err = qemu_strtoi64(str, NULL, 0, &res);

g_assert_cmpint(err, ==, -EINVAL);
g_assert_cmpint(res, ==, 123);
}

static void test_qemu_strtoi64_full_max(void)
{

char *str = g_strdup_printf("%lld", LLONG_MAX);
int64_t res;
int64_t res = 999;
int err;

err = qemu_strtoi64(str, NULL, 0, &res);
Expand Down Expand Up @@ -1730,6 +1767,7 @@ static void test_qemu_strtou64_null(void)
err = qemu_strtou64(NULL, &endptr, 0, &res);

g_assert_cmpint(err, ==, -EINVAL);
g_assert_cmpuint(res, ==, 999);
g_assert_null(endptr);
}

Expand All @@ -1744,6 +1782,7 @@ static void test_qemu_strtou64_empty(void)
err = qemu_strtou64(str, &endptr, 0, &res);

g_assert_cmpint(err, ==, -EINVAL);
g_assert_cmpuint(res, ==, 0);
g_assert_true(endptr == str);
}

Expand All @@ -1758,6 +1797,7 @@ static void test_qemu_strtou64_whitespace(void)
err = qemu_strtou64(str, &endptr, 0, &res);

g_assert_cmpint(err, ==, -EINVAL);
g_assert_cmpuint(res, ==, 0);
g_assert_true(endptr == str);
}

Expand All @@ -1772,6 +1812,7 @@ static void test_qemu_strtou64_invalid(void)
err = qemu_strtou64(str, &endptr, 0, &res);

g_assert_cmpint(err, ==, -EINVAL);
g_assert_cmpuint(res, ==, 0);
g_assert_true(endptr == str);
}

Expand Down Expand Up @@ -1951,6 +1992,7 @@ static void test_qemu_strtou64_full_null(void)
err = qemu_strtou64(NULL, NULL, 0, &res);

g_assert_cmpint(err, ==, -EINVAL);
g_assert_cmpuint(res, ==, 999);
}

static void test_qemu_strtou64_full_empty(void)
Expand All @@ -1962,6 +2004,7 @@ static void test_qemu_strtou64_full_empty(void)
err = qemu_strtou64(str, NULL, 0, &res);

g_assert_cmpint(err, ==, -EINVAL);
g_assert_cmpuint(res, ==, 0);
}

static void test_qemu_strtou64_full_negative(void)
Expand All @@ -1985,6 +2028,7 @@ static void test_qemu_strtou64_full_trailing(void)
err = qemu_strtou64(str, NULL, 0, &res);

g_assert_cmpint(err, ==, -EINVAL);
g_assert_cmpuint(res, ==, 18446744073709551614ULL);
}

static void test_qemu_strtou64_full_max(void)
Expand Down

0 comments on commit d326d03

Please sign in to comment.