qapi: Add tests for empty unions
authorEric Blake <eblake@redhat.com>
Tue, 29 Sep 2015 22:21:05 +0000 (16:21 -0600)
committerMarkus Armbruster <armbru@redhat.com>
Mon, 12 Oct 2015 16:44:54 +0000 (18:44 +0200)
commit8d25dd101f759425456b8005b3180062689d71e7
tree1ff4f54a72b4aefc872416372b30c8027fadc8e3
parent7b2a5c2f9a52c4a08630fa741052f03fe5d3cc8a
qapi: Add tests for empty unions

The documentation claims that alternates are useful for
allowing two or more types, although nothing enforces this.
Meanwhile, it is silent on whether empty unions are allowed.
In practice, the generated code will compile, in part because
we have a 'void *data' branch; but attempting to visit such a
type will cause an abort().  While there's no technical reason
that a degenerate union could not be made to work, it's harder
to justify the time spent in chasing known (the current
abort() during visit) and unknown corner cases, than it would
be to just outlaw them.  A future patch will probably take the
approach of forbidding them; in the meantime, we can at least
add testsuite coverage to make it obvious where things stand.

In addition to adding tests to expose the problems, we also
need to adjust existing tests that are meant to test something
else, but which could fail for the wrong reason if we reject
degenerate alternates/unions.

Note that empty structs are explicitly supported (for example,
right now they are the only way to specify that one branch of a
flat union adds no additional members), and empty enums are
covered by the testsuite as working (even if they do not seem
to have much use).

Signed-off-by: Eric Blake <eblake@redhat.com>
Message-Id: <1443565276-4535-8-git-send-email-eblake@redhat.com>
Signed-off-by: Markus Armbruster <armbru@redhat.com>
15 files changed:
tests/Makefile
tests/qapi-schema/alternate-empty.err [new file with mode: 0644]
tests/qapi-schema/alternate-empty.exit [new file with mode: 0644]
tests/qapi-schema/alternate-empty.json [new file with mode: 0644]
tests/qapi-schema/alternate-empty.out [new file with mode: 0644]
tests/qapi-schema/alternate-nested.json
tests/qapi-schema/alternate-unknown.json
tests/qapi-schema/flat-union-empty.err [new file with mode: 0644]
tests/qapi-schema/flat-union-empty.exit [new file with mode: 0644]
tests/qapi-schema/flat-union-empty.json [new file with mode: 0644]
tests/qapi-schema/flat-union-empty.out [new file with mode: 0644]
tests/qapi-schema/union-empty.err [new file with mode: 0644]
tests/qapi-schema/union-empty.exit [new file with mode: 0644]
tests/qapi-schema/union-empty.json [new file with mode: 0644]
tests/qapi-schema/union-empty.out [new file with mode: 0644]