tests/unit/test-string-input-visitor.c - third_party/qemu - Git at Google

 /*
  * String Input Visitor unit-tests.
  *
  * Copyright (C) 2012 Red Hat Inc.
  *
  * Authors:
  *  Paolo Bonzini <pbonzini@redhat.com> (based on test-qobject-input-visitor)
  *
  * This work is licensed under the terms of the GNU GPL, version 2 or later.
  * See the COPYING file in the top-level directory.
  */

 #include "qemu/osdep.h"

 #include "qemu-common.h"
 #include "qapi/error.h"
 #include "qapi/string-input-visitor.h"
 #include "test-qapi-visit.h"

 typedef struct TestInputVisitorData {
     Visitor *v;
 } TestInputVisitorData;

 static void visitor_input_teardown(TestInputVisitorData *data,
                                    const void *unused)
 {
     if (data->v) {
         visit_free(data->v);
         data->v = NULL;
     }
 }

 /* This is provided instead of a test setup function so that the JSON
    string used by the tests are kept in the test functions (and not
    int main()) */
 static
 Visitor *visitor_input_test_init(TestInputVisitorData *data,
                                  const char *string)
 {
     visitor_input_teardown(data, NULL);

     data->v = string_input_visitor_new(string);
     g_assert(data->v);
     return data->v;
 }

 static void test_visitor_in_int(TestInputVisitorData *data,
                                 const void *unused)
 {
     int64_t res = 0, value = -42;
     Error *err = NULL;
     Visitor *v;

     v = visitor_input_test_init(data, "-42");

     visit_type_int(v, NULL, &res, &error_abort);
     g_assert_cmpint(res, ==, value);

     v = visitor_input_test_init(data, "not an int");

     visit_type_int(v, NULL, &res, &err);
     error_free_or_abort(&err);

     v = visitor_input_test_init(data, "");

     visit_type_int(v, NULL, &res, &err);
     error_free_or_abort(&err);
 }

 static void check_ilist(Visitor *v, int64_t *expected, size_t n)
 {
     int64List *res = NULL;
     int64List *tail;
     int i;

     visit_type_int64List(v, NULL, &res, &error_abort);
     tail = res;
     for (i = 0; i < n; i++) {
         g_assert(tail);
         g_assert_cmpint(tail->value, ==, expected[i]);
         tail = tail->next;
     }
     g_assert(!tail);

     qapi_free_int64List(res);
 }

 static void check_ulist(Visitor *v, uint64_t *expected, size_t n)
 {
     uint64List *res = NULL;
     uint64List *tail;
     int i;

     visit_type_uint64List(v, NULL, &res, &error_abort);
     tail = res;
     for (i = 0; i < n; i++) {
         g_assert(tail);
         g_assert_cmpuint(tail->value, ==, expected[i]);
         tail = tail->next;
     }
     g_assert(!tail);

     qapi_free_uint64List(res);
 }

 static void test_visitor_in_intList(TestInputVisitorData *data,
                                     const void *unused)
 {
     int64_t expect1[] = { 1, 2, 0, 2, 3, 4, 20, 5, 6, 7,
                           8, 9, 1, 2, 3, 4, 5, 6, 7, 8 };
     int64_t expect2[] = { 32767, -32768, -32767 };
     int64_t expect3[] = { INT64_MIN, INT64_MAX };
     int64_t expect4[] = { 1 };
     int64_t expect5[] = { INT64_MAX - 2,  INT64_MAX - 1, INT64_MAX };
     Error *err = NULL;
     int64List *res = NULL;
     Visitor *v;
     int64_t val;

     /* Valid lists */

     v = visitor_input_test_init(data, "1,2,0,2-4,20,5-9,1-8");
     check_ilist(v, expect1, ARRAY_SIZE(expect1));

     v = visitor_input_test_init(data, "32767,-32768--32767");
     check_ilist(v, expect2, ARRAY_SIZE(expect2));

     v = visitor_input_test_init(data,
                                 "-9223372036854775808,9223372036854775807");
     check_ilist(v, expect3, ARRAY_SIZE(expect3));

     v = visitor_input_test_init(data, "1-1");
     check_ilist(v, expect4, ARRAY_SIZE(expect4));

     v = visitor_input_test_init(data,
                                 "9223372036854775805-9223372036854775807");
     check_ilist(v, expect5, ARRAY_SIZE(expect5));

     /* Value too large */

     v = visitor_input_test_init(data, "9223372036854775808");
     visit_type_int64List(v, NULL, &res, &err);
     error_free_or_abort(&err);
     g_assert(!res);

     /* Value too small */

     v = visitor_input_test_init(data, "-9223372036854775809");
     visit_type_int64List(v, NULL, &res, &err);
     error_free_or_abort(&err);
     g_assert(!res);

     /* Range not ascending */

     v = visitor_input_test_init(data, "3-1");
     visit_type_int64List(v, NULL, &res, &err);
     error_free_or_abort(&err);
     g_assert(!res);

     v = visitor_input_test_init(data, "9223372036854775807-0");
     visit_type_int64List(v, NULL, &res, &err);
     error_free_or_abort(&err);
     g_assert(!res);

     /* Range too big (65536 is the limit against DOS attacks) */

     v = visitor_input_test_init(data, "0-65536");
     visit_type_int64List(v, NULL, &res, &err);
     error_free_or_abort(&err);
     g_assert(!res);

     /* Empty list */

     v = visitor_input_test_init(data, "");
     visit_type_int64List(v, NULL, &res, &error_abort);
     g_assert(!res);

     /* Not a list */

     v = visitor_input_test_init(data, "not an int list");

     visit_type_int64List(v, NULL, &res, &err);
     error_free_or_abort(&err);
     g_assert(!res);

     /* Unvisited list tail */

     v = visitor_input_test_init(data, "0,2-3");

     visit_start_list(v, NULL, NULL, 0, &error_abort);
     visit_type_int64(v, NULL, &val, &error_abort);
     g_assert_cmpint(val, ==, 0);
     visit_type_int64(v, NULL, &val, &error_abort);
     g_assert_cmpint(val, ==, 2);

     visit_check_list(v, &err);
     error_free_or_abort(&err);
     visit_end_list(v, NULL);

     /* Visit beyond end of list */

     v = visitor_input_test_init(data, "0");

     visit_start_list(v, NULL, NULL, 0, &error_abort);
     visit_type_int64(v, NULL, &val, &err);
     g_assert_cmpint(val, ==, 0);
     visit_type_int64(v, NULL, &val, &err);
     error_free_or_abort(&err);

     visit_check_list(v, &error_abort);
     visit_end_list(v, NULL);
 }

 static void test_visitor_in_uintList(TestInputVisitorData *data,
                                      const void *unused)
 {
     uint64_t expect1[] = { 1, 2, 0, 2, 3, 4, 20, 5, 6, 7,
                            8, 9, 1, 2, 3, 4, 5, 6, 7, 8 };
     uint64_t expect2[] = { 32767, -32768, -32767 };
     uint64_t expect3[] = { INT64_MIN, INT64_MAX };
     uint64_t expect4[] = { 1 };
     uint64_t expect5[] = { UINT64_MAX };
     uint64_t expect6[] = { UINT64_MAX - 2,  UINT64_MAX - 1, UINT64_MAX };
     Error *err = NULL;
     uint64List *res = NULL;
     Visitor *v;
     uint64_t val;

     /* Valid lists */

     v = visitor_input_test_init(data, "1,2,0,2-4,20,5-9,1-8");
     check_ulist(v, expect1, ARRAY_SIZE(expect1));

     v = visitor_input_test_init(data, "32767,-32768--32767");
     check_ulist(v, expect2, ARRAY_SIZE(expect2));

     v = visitor_input_test_init(data,
                                 "-9223372036854775808,9223372036854775807");
     check_ulist(v, expect3, ARRAY_SIZE(expect3));

     v = visitor_input_test_init(data, "1-1");
     check_ulist(v, expect4, ARRAY_SIZE(expect4));

     v = visitor_input_test_init(data, "18446744073709551615");
     check_ulist(v, expect5, ARRAY_SIZE(expect5));

     v = visitor_input_test_init(data,
                                 "18446744073709551613-18446744073709551615");
     check_ulist(v, expect6, ARRAY_SIZE(expect6));

     /* Value too large */

     v = visitor_input_test_init(data, "18446744073709551616");
     visit_type_uint64List(v, NULL, &res, &err);
     error_free_or_abort(&err);
     g_assert(!res);

     /* Value too small */

     v = visitor_input_test_init(data, "-18446744073709551616");
     visit_type_uint64List(v, NULL, &res, &err);
     error_free_or_abort(&err);
     g_assert(!res);

     /* Range not ascending */

     v = visitor_input_test_init(data, "3-1");
     visit_type_uint64List(v, NULL, &res, &err);
     error_free_or_abort(&err);
     g_assert(!res);

     v = visitor_input_test_init(data, "18446744073709551615-0");
     visit_type_uint64List(v, NULL, &res, &err);
     error_free_or_abort(&err);
     g_assert(!res);

     /* Range too big (65536 is the limit against DOS attacks) */

     v = visitor_input_test_init(data, "0-65536");
     visit_type_uint64List(v, NULL, &res, &err);
     error_free_or_abort(&err);
     g_assert(!res);

     /* Empty list */

     v = visitor_input_test_init(data, "");
     visit_type_uint64List(v, NULL, &res, &error_abort);
     g_assert(!res);

     /* Not a list */

     v = visitor_input_test_init(data, "not an uint list");

     visit_type_uint64List(v, NULL, &res, &err);
     error_free_or_abort(&err);
     g_assert(!res);

     /* Unvisited list tail */

     v = visitor_input_test_init(data, "0,2-3");

     visit_start_list(v, NULL, NULL, 0, &error_abort);
     visit_type_uint64(v, NULL, &val, &error_abort);
     g_assert_cmpuint(val, ==, 0);
     visit_type_uint64(v, NULL, &val, &error_abort);
     g_assert_cmpuint(val, ==, 2);

     visit_check_list(v, &err);
     error_free_or_abort(&err);
     visit_end_list(v, NULL);

     /* Visit beyond end of list */

     v = visitor_input_test_init(data, "0");

     visit_start_list(v, NULL, NULL, 0, &error_abort);
     visit_type_uint64(v, NULL, &val, &err);
     g_assert_cmpuint(val, ==, 0);
     visit_type_uint64(v, NULL, &val, &err);
     error_free_or_abort(&err);

     visit_check_list(v, &error_abort);
     visit_end_list(v, NULL);
 }

 static void test_visitor_in_bool(TestInputVisitorData *data,
                                  const void *unused)
 {
     bool res = false;
     Visitor *v;

     v = visitor_input_test_init(data, "true");

     visit_type_bool(v, NULL, &res, &error_abort);
     g_assert_cmpint(res, ==, true);

     v = visitor_input_test_init(data, "yes");

     visit_type_bool(v, NULL, &res, &error_abort);
     g_assert_cmpint(res, ==, true);

     v = visitor_input_test_init(data, "on");

     visit_type_bool(v, NULL, &res, &error_abort);
     g_assert_cmpint(res, ==, true);

     v = visitor_input_test_init(data, "false");

     visit_type_bool(v, NULL, &res, &error_abort);
     g_assert_cmpint(res, ==, false);

     v = visitor_input_test_init(data, "no");

     visit_type_bool(v, NULL, &res, &error_abort);
     g_assert_cmpint(res, ==, false);

     v = visitor_input_test_init(data, "off");

     visit_type_bool(v, NULL, &res, &error_abort);
     g_assert_cmpint(res, ==, false);
 }

 static void test_visitor_in_number(TestInputVisitorData *data,
                                    const void *unused)
 {
     double res = 0, value = 3.14;
     Error *err = NULL;
     Visitor *v;

     v = visitor_input_test_init(data, "3.14");

     visit_type_number(v, NULL, &res, &error_abort);
     g_assert_cmpfloat(res, ==, value);

     /* NaN and infinity has to be rejected */

     v = visitor_input_test_init(data, "NaN");

     visit_type_number(v, NULL, &res, &err);
     error_free_or_abort(&err);

     v = visitor_input_test_init(data, "inf");

     visit_type_number(v, NULL, &res, &err);
     error_free_or_abort(&err);

 }

 static void test_visitor_in_string(TestInputVisitorData *data,
                                    const void *unused)
 {
     char *res = NULL, *value = (char *) "Q E M U";
     Visitor *v;

     v = visitor_input_test_init(data, value);

     visit_type_str(v, NULL, &res, &error_abort);
     g_assert_cmpstr(res, ==, value);

     g_free(res);
 }

 static void test_visitor_in_enum(TestInputVisitorData *data,
                                  const void *unused)
 {
     Visitor *v;
     EnumOne i;

     for (i = 0; i < ENUM_ONE__MAX; i++) {
         EnumOne res = -1;

         v = visitor_input_test_init(data, EnumOne_str(i));

         visit_type_EnumOne(v, NULL, &res, &error_abort);
         g_assert_cmpint(i, ==, res);
     }
 }

 /* Try to crash the visitors */
 static void test_visitor_in_fuzz(TestInputVisitorData *data,
                                  const void *unused)
 {
     int64_t ires;
     intList *ilres;
     bool bres;
     double nres;
     char *sres;
     EnumOne eres;
     Visitor *v;
     unsigned int i;
     char buf[10000];

     for (i = 0; i < 100; i++) {
         unsigned int j, k;

         j = g_test_rand_int_range(0, sizeof(buf) - 1);

         buf[j] = '\0';

         for (k = 0; k != j; k++) {
             buf[k] = (char)g_test_rand_int_range(0, 256);
         }

         v = visitor_input_test_init(data, buf);
         visit_type_int(v, NULL, &ires, NULL);

         v = visitor_input_test_init(data, buf);
         visit_type_intList(v, NULL, &ilres, NULL);
         qapi_free_intList(ilres);

         v = visitor_input_test_init(data, buf);
         visit_type_bool(v, NULL, &bres, NULL);

         v = visitor_input_test_init(data, buf);
         visit_type_number(v, NULL, &nres, NULL);

         v = visitor_input_test_init(data, buf);
         sres = NULL;
         visit_type_str(v, NULL, &sres, NULL);
         g_free(sres);

         v = visitor_input_test_init(data, buf);
         visit_type_EnumOne(v, NULL, &eres, NULL);
     }
 }

 static void input_visitor_test_add(const char *testpath,
                                    TestInputVisitorData *data,
                                    void (*test_func)(TestInputVisitorData *data, const void *user_data))
 {
     g_test_add(testpath, TestInputVisitorData, data, NULL, test_func,
                visitor_input_teardown);
 }

 int main(int argc, char **argv)
 {
     TestInputVisitorData in_visitor_data;

     g_test_init(&argc, &argv, NULL);

     input_visitor_test_add("/string-visitor/input/int",
                            &in_visitor_data, test_visitor_in_int);
     input_visitor_test_add("/string-visitor/input/intList",
                            &in_visitor_data, test_visitor_in_intList);
     input_visitor_test_add("/string-visitor/input/uintList",
                            &in_visitor_data, test_visitor_in_uintList);
     input_visitor_test_add("/string-visitor/input/bool",
                            &in_visitor_data, test_visitor_in_bool);
     input_visitor_test_add("/string-visitor/input/number",
                            &in_visitor_data, test_visitor_in_number);
     input_visitor_test_add("/string-visitor/input/string",
                             &in_visitor_data, test_visitor_in_string);
     input_visitor_test_add("/string-visitor/input/enum",
                             &in_visitor_data, test_visitor_in_enum);
     input_visitor_test_add("/string-visitor/input/fuzz",
                             &in_visitor_data, test_visitor_in_fuzz);

     g_test_run();

     return 0;
 }
	/*
	* String Input Visitor unit-tests.
	*
	* Copyright (C) 2012 Red Hat Inc.
	*
	* Authors:
	* Paolo Bonzini <pbonzini@redhat.com> (based on test-qobject-input-visitor)
	*
	* This work is licensed under the terms of the GNU GPL, version 2 or later.
	* See the COPYING file in the top-level directory.
	*/

	#include "qemu/osdep.h"

	#include "qemu-common.h"
	#include "qapi/error.h"
	#include "qapi/string-input-visitor.h"
	#include "test-qapi-visit.h"

	typedef struct TestInputVisitorData {
	Visitor *v;
	} TestInputVisitorData;

	static void visitor_input_teardown(TestInputVisitorData *data,
	const void *unused)
	{
	if (data->v) {
	visit_free(data->v);
	data->v = NULL;
	}
	}

	/* This is provided instead of a test setup function so that the JSON
	string used by the tests are kept in the test functions (and not
	int main()) */
	static
	Visitor visitor_input_test_init(TestInputVisitorData data,
	const char *string)
	{
	visitor_input_teardown(data, NULL);

	data->v = string_input_visitor_new(string);
	g_assert(data->v);
	return data->v;
	}

	static void test_visitor_in_int(TestInputVisitorData *data,
	const void *unused)
	{
	int64_t res = 0, value = -42;
	Error *err = NULL;
	Visitor *v;

	v = visitor_input_test_init(data, "-42");

	visit_type_int(v, NULL, &res, &error_abort);
	g_assert_cmpint(res, ==, value);

	v = visitor_input_test_init(data, "not an int");

	visit_type_int(v, NULL, &res, &err);
	error_free_or_abort(&err);

	v = visitor_input_test_init(data, "");

	visit_type_int(v, NULL, &res, &err);
	error_free_or_abort(&err);
	}

	static void check_ilist(Visitor v, int64_t expected, size_t n)
	{
	int64List *res = NULL;
	int64List *tail;
	int i;

	visit_type_int64List(v, NULL, &res, &error_abort);
	tail = res;
	for (i = 0; i < n; i++) {
	g_assert(tail);
	g_assert_cmpint(tail->value, ==, expected[i]);
	tail = tail->next;
	}
	g_assert(!tail);

	qapi_free_int64List(res);
	}

	static void check_ulist(Visitor v, uint64_t expected, size_t n)
	{
	uint64List *res = NULL;
	uint64List *tail;
	int i;

	visit_type_uint64List(v, NULL, &res, &error_abort);
	tail = res;
	for (i = 0; i < n; i++) {
	g_assert(tail);
	g_assert_cmpuint(tail->value, ==, expected[i]);
	tail = tail->next;
	}
	g_assert(!tail);

	qapi_free_uint64List(res);
	}

	static void test_visitor_in_intList(TestInputVisitorData *data,
	const void *unused)
	{
	int64_t expect1[] = { 1, 2, 0, 2, 3, 4, 20, 5, 6, 7,
	8, 9, 1, 2, 3, 4, 5, 6, 7, 8 };
	int64_t expect2[] = { 32767, -32768, -32767 };
	int64_t expect3[] = { INT64_MIN, INT64_MAX };
	int64_t expect4[] = { 1 };
	int64_t expect5[] = { INT64_MAX - 2, INT64_MAX - 1, INT64_MAX };
	Error *err = NULL;
	int64List *res = NULL;
	Visitor *v;
	int64_t val;

	/* Valid lists */

	v = visitor_input_test_init(data, "1,2,0,2-4,20,5-9,1-8");
	check_ilist(v, expect1, ARRAY_SIZE(expect1));

	v = visitor_input_test_init(data, "32767,-32768--32767");
	check_ilist(v, expect2, ARRAY_SIZE(expect2));

	v = visitor_input_test_init(data,
	"-9223372036854775808,9223372036854775807");
	check_ilist(v, expect3, ARRAY_SIZE(expect3));

	v = visitor_input_test_init(data, "1-1");
	check_ilist(v, expect4, ARRAY_SIZE(expect4));

	v = visitor_input_test_init(data,
	"9223372036854775805-9223372036854775807");
	check_ilist(v, expect5, ARRAY_SIZE(expect5));

	/* Value too large */

	v = visitor_input_test_init(data, "9223372036854775808");
	visit_type_int64List(v, NULL, &res, &err);
	error_free_or_abort(&err);
	g_assert(!res);

	/* Value too small */

	v = visitor_input_test_init(data, "-9223372036854775809");
	visit_type_int64List(v, NULL, &res, &err);
	error_free_or_abort(&err);
	g_assert(!res);

	/* Range not ascending */

	v = visitor_input_test_init(data, "3-1");
	visit_type_int64List(v, NULL, &res, &err);
	error_free_or_abort(&err);
	g_assert(!res);

	v = visitor_input_test_init(data, "9223372036854775807-0");
	visit_type_int64List(v, NULL, &res, &err);
	error_free_or_abort(&err);
	g_assert(!res);

	/* Range too big (65536 is the limit against DOS attacks) */

	v = visitor_input_test_init(data, "0-65536");
	visit_type_int64List(v, NULL, &res, &err);
	error_free_or_abort(&err);
	g_assert(!res);

	/* Empty list */

	v = visitor_input_test_init(data, "");
	visit_type_int64List(v, NULL, &res, &error_abort);
	g_assert(!res);

	/* Not a list */

	v = visitor_input_test_init(data, "not an int list");

	visit_type_int64List(v, NULL, &res, &err);
	error_free_or_abort(&err);
	g_assert(!res);

	/* Unvisited list tail */

	v = visitor_input_test_init(data, "0,2-3");

	visit_start_list(v, NULL, NULL, 0, &error_abort);
	visit_type_int64(v, NULL, &val, &error_abort);
	g_assert_cmpint(val, ==, 0);
	visit_type_int64(v, NULL, &val, &error_abort);
	g_assert_cmpint(val, ==, 2);

	visit_check_list(v, &err);
	error_free_or_abort(&err);
	visit_end_list(v, NULL);

	/* Visit beyond end of list */

	v = visitor_input_test_init(data, "0");

	visit_start_list(v, NULL, NULL, 0, &error_abort);
	visit_type_int64(v, NULL, &val, &err);
	g_assert_cmpint(val, ==, 0);
	visit_type_int64(v, NULL, &val, &err);
	error_free_or_abort(&err);

	visit_check_list(v, &error_abort);
	visit_end_list(v, NULL);
	}

	static void test_visitor_in_uintList(TestInputVisitorData *data,
	const void *unused)
	{
	uint64_t expect1[] = { 1, 2, 0, 2, 3, 4, 20, 5, 6, 7,
	8, 9, 1, 2, 3, 4, 5, 6, 7, 8 };
	uint64_t expect2[] = { 32767, -32768, -32767 };
	uint64_t expect3[] = { INT64_MIN, INT64_MAX };
	uint64_t expect4[] = { 1 };
	uint64_t expect5[] = { UINT64_MAX };
	uint64_t expect6[] = { UINT64_MAX - 2, UINT64_MAX - 1, UINT64_MAX };
	Error *err = NULL;
	uint64List *res = NULL;
	Visitor *v;
	uint64_t val;

	/* Valid lists */

	v = visitor_input_test_init(data, "1,2,0,2-4,20,5-9,1-8");
	check_ulist(v, expect1, ARRAY_SIZE(expect1));

	v = visitor_input_test_init(data, "32767,-32768--32767");
	check_ulist(v, expect2, ARRAY_SIZE(expect2));

	v = visitor_input_test_init(data,
	"-9223372036854775808,9223372036854775807");
	check_ulist(v, expect3, ARRAY_SIZE(expect3));

	v = visitor_input_test_init(data, "1-1");
	check_ulist(v, expect4, ARRAY_SIZE(expect4));

	v = visitor_input_test_init(data, "18446744073709551615");
	check_ulist(v, expect5, ARRAY_SIZE(expect5));

	v = visitor_input_test_init(data,
	"18446744073709551613-18446744073709551615");
	check_ulist(v, expect6, ARRAY_SIZE(expect6));

	/* Value too large */

	v = visitor_input_test_init(data, "18446744073709551616");
	visit_type_uint64List(v, NULL, &res, &err);
	error_free_or_abort(&err);
	g_assert(!res);

	/* Value too small */

	v = visitor_input_test_init(data, "-18446744073709551616");
	visit_type_uint64List(v, NULL, &res, &err);
	error_free_or_abort(&err);
	g_assert(!res);

	/* Range not ascending */

	v = visitor_input_test_init(data, "3-1");
	visit_type_uint64List(v, NULL, &res, &err);
	error_free_or_abort(&err);
	g_assert(!res);

	v = visitor_input_test_init(data, "18446744073709551615-0");
	visit_type_uint64List(v, NULL, &res, &err);
	error_free_or_abort(&err);
	g_assert(!res);

	/* Range too big (65536 is the limit against DOS attacks) */

	v = visitor_input_test_init(data, "0-65536");
	visit_type_uint64List(v, NULL, &res, &err);
	error_free_or_abort(&err);
	g_assert(!res);

	/* Empty list */

	v = visitor_input_test_init(data, "");
	visit_type_uint64List(v, NULL, &res, &error_abort);
	g_assert(!res);

	/* Not a list */

	v = visitor_input_test_init(data, "not an uint list");

	visit_type_uint64List(v, NULL, &res, &err);
	error_free_or_abort(&err);
	g_assert(!res);

	/* Unvisited list tail */

	v = visitor_input_test_init(data, "0,2-3");

	visit_start_list(v, NULL, NULL, 0, &error_abort);
	visit_type_uint64(v, NULL, &val, &error_abort);
	g_assert_cmpuint(val, ==, 0);
	visit_type_uint64(v, NULL, &val, &error_abort);
	g_assert_cmpuint(val, ==, 2);

	visit_check_list(v, &err);
	error_free_or_abort(&err);
	visit_end_list(v, NULL);

	/* Visit beyond end of list */

	v = visitor_input_test_init(data, "0");

	visit_start_list(v, NULL, NULL, 0, &error_abort);
	visit_type_uint64(v, NULL, &val, &err);
	g_assert_cmpuint(val, ==, 0);
	visit_type_uint64(v, NULL, &val, &err);
	error_free_or_abort(&err);

	visit_check_list(v, &error_abort);
	visit_end_list(v, NULL);
	}

	static void test_visitor_in_bool(TestInputVisitorData *data,
	const void *unused)
	{
	bool res = false;
	Visitor *v;

	v = visitor_input_test_init(data, "true");

	visit_type_bool(v, NULL, &res, &error_abort);
	g_assert_cmpint(res, ==, true);

	v = visitor_input_test_init(data, "yes");

	visit_type_bool(v, NULL, &res, &error_abort);
	g_assert_cmpint(res, ==, true);

	v = visitor_input_test_init(data, "on");

	visit_type_bool(v, NULL, &res, &error_abort);
	g_assert_cmpint(res, ==, true);

	v = visitor_input_test_init(data, "false");

	visit_type_bool(v, NULL, &res, &error_abort);
	g_assert_cmpint(res, ==, false);

	v = visitor_input_test_init(data, "no");

	visit_type_bool(v, NULL, &res, &error_abort);
	g_assert_cmpint(res, ==, false);

	v = visitor_input_test_init(data, "off");

	visit_type_bool(v, NULL, &res, &error_abort);
	g_assert_cmpint(res, ==, false);
	}

	static void test_visitor_in_number(TestInputVisitorData *data,
	const void *unused)
	{
	double res = 0, value = 3.14;
	Error *err = NULL;
	Visitor *v;

	v = visitor_input_test_init(data, "3.14");

	visit_type_number(v, NULL, &res, &error_abort);
	g_assert_cmpfloat(res, ==, value);

	/* NaN and infinity has to be rejected */

	v = visitor_input_test_init(data, "NaN");

	visit_type_number(v, NULL, &res, &err);
	error_free_or_abort(&err);

	v = visitor_input_test_init(data, "inf");

	visit_type_number(v, NULL, &res, &err);
	error_free_or_abort(&err);

	}

	static void test_visitor_in_string(TestInputVisitorData *data,
	const void *unused)
	{
	char res = NULL, value = (char *) "Q E M U";
	Visitor *v;

	v = visitor_input_test_init(data, value);

	visit_type_str(v, NULL, &res, &error_abort);
	g_assert_cmpstr(res, ==, value);

	g_free(res);
	}

	static void test_visitor_in_enum(TestInputVisitorData *data,
	const void *unused)
	{
	Visitor *v;
	EnumOne i;

	for (i = 0; i < ENUM_ONE__MAX; i++) {
	EnumOne res = -1;

	v = visitor_input_test_init(data, EnumOne_str(i));

	visit_type_EnumOne(v, NULL, &res, &error_abort);
	g_assert_cmpint(i, ==, res);
	}
	}

	/* Try to crash the visitors */
	static void test_visitor_in_fuzz(TestInputVisitorData *data,
	const void *unused)
	{
	int64_t ires;
	intList *ilres;
	bool bres;
	double nres;
	char *sres;
	EnumOne eres;
	Visitor *v;
	unsigned int i;
	char buf[10000];

	for (i = 0; i < 100; i++) {
	unsigned int j, k;

	j = g_test_rand_int_range(0, sizeof(buf) - 1);

	buf[j] = '\0';

	for (k = 0; k != j; k++) {
	buf[k] = (char)g_test_rand_int_range(0, 256);
	}

	v = visitor_input_test_init(data, buf);
	visit_type_int(v, NULL, &ires, NULL);

	v = visitor_input_test_init(data, buf);
	visit_type_intList(v, NULL, &ilres, NULL);
	qapi_free_intList(ilres);

	v = visitor_input_test_init(data, buf);
	visit_type_bool(v, NULL, &bres, NULL);

	v = visitor_input_test_init(data, buf);
	visit_type_number(v, NULL, &nres, NULL);

	v = visitor_input_test_init(data, buf);
	sres = NULL;
	visit_type_str(v, NULL, &sres, NULL);
	g_free(sres);

	v = visitor_input_test_init(data, buf);
	visit_type_EnumOne(v, NULL, &eres, NULL);
	}
	}

	static void input_visitor_test_add(const char *testpath,
	TestInputVisitorData *data,
	void (test_func)(TestInputVisitorData data, const void *user_data))
	{
	g_test_add(testpath, TestInputVisitorData, data, NULL, test_func,
	visitor_input_teardown);
	}

	int main(int argc, char **argv)
	{
	TestInputVisitorData in_visitor_data;

	g_test_init(&argc, &argv, NULL);

	input_visitor_test_add("/string-visitor/input/int",
	&in_visitor_data, test_visitor_in_int);
	input_visitor_test_add("/string-visitor/input/intList",
	&in_visitor_data, test_visitor_in_intList);
	input_visitor_test_add("/string-visitor/input/uintList",
	&in_visitor_data, test_visitor_in_uintList);
	input_visitor_test_add("/string-visitor/input/bool",
	&in_visitor_data, test_visitor_in_bool);
	input_visitor_test_add("/string-visitor/input/number",
	&in_visitor_data, test_visitor_in_number);
	input_visitor_test_add("/string-visitor/input/string",
	&in_visitor_data, test_visitor_in_string);
	input_visitor_test_add("/string-visitor/input/enum",
	&in_visitor_data, test_visitor_in_enum);
	input_visitor_test_add("/string-visitor/input/fuzz",
	&in_visitor_data, test_visitor_in_fuzz);

	g_test_run();

	return 0;
	}