qemu-devel.nongnu.org archive mirror
 help / color / mirror / Atom feed
From: Markus Armbruster <armbru@redhat.com>
To: qemu-devel@nongnu.org
Cc: mdroth@linux.vnet.ibm.com
Subject: [Qemu-devel] [PATCH v7 20/26] qapi: Make output visitor return qnull() instead of NULL
Date: Mon, 14 Sep 2015 19:57:51 +0200	[thread overview]
Message-ID: <1442253477-15422-21-git-send-email-armbru@redhat.com> (raw)
In-Reply-To: <1442253477-15422-1-git-send-email-armbru@redhat.com>

Before commit 1d10b44, it crashed.  Since then, it returns NULL, with
a FIXME comment.  The FIXME is valid: code that assumes QObject *
can't be null exists.  I'm not aware of a way to feed this problematic
return value to code that actually chokes on null in the current code,
but the next few commits will create one, failing "make check".

Commit 481b002 solved a very similar problem by introducing a special
null QObject.  Using this special null QObject is clearly the right
way to resolve this FIXME, so do that, and update the test
accordingly.

However, the patch isn't quite right: it messes up the reference
counting.  After about SIZE_MAX visits, the reference counter
overflows, failing the assertion in qnull_destroy_obj().  Because
that's many orders of magnitude more visits of nulls than we expect,
we take this patch despite its flaws, to get the QMP introspection
stuff in without further delay.

Naturally, we'll have to fix it for real before the release.

Signed-off-by: Markus Armbruster <armbru@redhat.com>
---
 qapi/qmp-output-visitor.c       | 8 ++++++--
 tests/test-qmp-output-visitor.c | 3 ++-
 2 files changed, 8 insertions(+), 3 deletions(-)

diff --git a/qapi/qmp-output-visitor.c b/qapi/qmp-output-visitor.c
index efc19d5..8dce087 100644
--- a/qapi/qmp-output-visitor.c
+++ b/qapi/qmp-output-visitor.c
@@ -66,9 +66,13 @@ static QObject *qmp_output_first(QmpOutputVisitor *qov)
 {
     QStackEntry *e = QTAILQ_LAST(&qov->stack, QStack);
 
-    /* FIXME - find a better way to deal with NULL values */
+    /*
+     * FIXME Wrong, because qmp_output_get_qobject() will increment
+     * the refcnt *again*.  We need to think through how visitors
+     * handle null.
+     */
     if (!e) {
-        return NULL;
+        return qnull();
     }
 
     return e->value;
diff --git a/tests/test-qmp-output-visitor.c b/tests/test-qmp-output-visitor.c
index 338ada0..a48ae72 100644
--- a/tests/test-qmp-output-visitor.c
+++ b/tests/test-qmp-output-visitor.c
@@ -485,7 +485,8 @@ static void test_visitor_out_empty(TestOutputVisitorData *data,
     QObject *arg;
 
     arg = qmp_output_get_qobject(data->qov);
-    g_assert(!arg);
+    g_assert(qobject_type(arg) == QTYPE_QNULL);
+    qobject_decref(arg);
 }
 
 static void init_native_list(UserDefNativeListUnion *cvalue)
-- 
2.4.3

  parent reply	other threads:[~2015-09-14 17:58 UTC|newest]

Thread overview: 47+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2015-09-14 17:57 [Qemu-devel] [PATCH v7 00/26] qapi: QMP introspection Markus Armbruster
2015-09-14 17:57 ` [Qemu-devel] [PATCH v7 01/26] qapi: Rename class QAPISchema to QAPISchemaParser Markus Armbruster
2015-09-14 17:57 ` [Qemu-devel] [PATCH v7 02/26] qapi: New QAPISchema intermediate reperesentation Markus Armbruster
2015-09-14 17:57 ` [Qemu-devel] [PATCH v7 03/26] qapi: QAPISchema code generation helper methods Markus Armbruster
2015-09-14 17:57 ` [Qemu-devel] [PATCH v7 04/26] qapi: New QAPISchemaVisitor Markus Armbruster
2015-09-14 17:57 ` [Qemu-devel] [PATCH v7 05/26] tests/qapi-schema: Convert test harness to QAPISchemaVisitor Markus Armbruster
2015-09-14 17:57 ` [Qemu-devel] [PATCH v7 06/26] qapi-types: Convert to QAPISchemaVisitor, fixing flat unions Markus Armbruster
2015-09-14 17:57 ` [Qemu-devel] [PATCH v7 07/26] qapi-visit: Convert to QAPISchemaVisitor, fixing bugs Markus Armbruster
2015-09-14 17:57 ` [Qemu-devel] [PATCH v7 08/26] qapi-commands: Convert to QAPISchemaVisitor Markus Armbruster
2015-09-14 17:57 ` [Qemu-devel] [PATCH v7 09/26] qapi: De-duplicate enum code generation Markus Armbruster
2015-09-15 10:46   ` Daniel P. Berrange
2015-09-14 17:57 ` [Qemu-devel] [PATCH v7 10/26] qapi-event: Eliminate global variable event_enum_value Markus Armbruster
2015-09-15 10:47   ` Daniel P. Berrange
2015-09-14 17:57 ` [Qemu-devel] [PATCH v7 11/26] qapi-event: Convert to QAPISchemaVisitor, fixing data with base Markus Armbruster
2015-09-14 17:57 ` [Qemu-devel] [PATCH v7 12/26] qapi: Replace dirty is_c_ptr() by method c_null() Markus Armbruster
2015-09-15 10:48   ` Daniel P. Berrange
2015-09-14 17:57 ` [Qemu-devel] [PATCH v7 13/26] qapi: Clean up after recent conversions to QAPISchemaVisitor Markus Armbruster
2015-09-15 10:52   ` Daniel P. Berrange
2015-09-15 14:03     ` Eric Blake
2015-09-14 17:57 ` [Qemu-devel] [PATCH v7 14/26] qapi-visit: Rearrange code a bit Markus Armbruster
2015-09-15 10:53   ` Daniel P. Berrange
2015-09-14 17:57 ` [Qemu-devel] [PATCH v7 15/26] qapi-commands: Rearrange code Markus Armbruster
2015-09-15 10:54   ` Daniel P. Berrange
2015-09-14 17:57 ` [Qemu-devel] [PATCH v7 16/26] qapi: Rename qmp_marshal_input_FOO() to qmp_marshal_FOO() Markus Armbruster
2015-09-15 10:55   ` Daniel P. Berrange
2015-09-14 17:57 ` [Qemu-devel] [PATCH v7 17/26] qapi: De-duplicate parameter list generation Markus Armbruster
2015-09-15 10:57   ` Daniel P. Berrange
2015-09-14 17:57 ` [Qemu-devel] [PATCH v7 18/26] qapi-commands: De-duplicate output marshaling functions Markus Armbruster
2015-09-15 11:10   ` Daniel P. Berrange
2015-09-14 17:57 ` [Qemu-devel] [PATCH v7 19/26] qapi: Improve built-in type documentation Markus Armbruster
2015-09-15 11:15   ` Daniel P. Berrange
2015-09-14 17:57 ` Markus Armbruster [this message]
2015-09-14 19:07   ` [Qemu-devel] [PATCH v7 20/26] qapi: Make output visitor return qnull() instead of NULL Eric Blake
2015-09-15 11:37   ` Daniel P. Berrange
2015-09-15 13:20     ` Markus Armbruster
2015-09-15 14:08       ` Eric Blake
2015-09-14 17:57 ` [Qemu-devel] [PATCH v7 21/26] qapi: Introduce a first class 'any' type Markus Armbruster
2015-09-15 11:39   ` Daniel P. Berrange
2015-09-14 17:57 ` [Qemu-devel] [PATCH v7 22/26] qom: Don't use 'gen': false for qom-get, qom-set, object-add Markus Armbruster
2015-09-15 11:42   ` Daniel P. Berrange
2015-09-14 17:57 ` [Qemu-devel] [PATCH v7 23/26] qapi-schema: Fix up misleading specification of netdev_add Markus Armbruster
2015-09-15 11:43   ` Daniel P. Berrange
2015-09-14 17:57 ` [Qemu-devel] [PATCH v7 24/26] qapi: Pseudo-type '**' is now unused, drop it Markus Armbruster
2015-09-15 11:44   ` Daniel P. Berrange
2015-09-14 17:57 ` [Qemu-devel] [PATCH v7 25/26] qapi: New QMP command query-qmp-schema for QMP introspection Markus Armbruster
2015-09-14 17:57 ` [Qemu-devel] [PATCH v7 26/26] qapi-introspect: Hide type names Markus Armbruster
2015-09-15 18:14 ` [Qemu-devel] [PATCH v7 00/26] qapi: QMP introspection Markus Armbruster

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=1442253477-15422-21-git-send-email-armbru@redhat.com \
    --to=armbru@redhat.com \
    --cc=mdroth@linux.vnet.ibm.com \
    --cc=qemu-devel@nongnu.org \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).