From nobody Sun Feb 8 22:06:58 2026 Delivered-To: importer@patchew.org Received-SPF: pass (zoho.com: domain of gnu.org designates 209.51.188.17 as permitted sender) client-ip=209.51.188.17; envelope-from=qemu-devel-bounces+importer=patchew.org@nongnu.org; helo=lists.gnu.org; Authentication-Results: mx.zohomail.com; spf=pass (zoho.com: domain of gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=qemu-devel-bounces+importer=patchew.org@nongnu.org; dmarc=fail(p=none dis=none) header.from=virtuozzo.com ARC-Seal: i=1; a=rsa-sha256; t=1570814633; cv=none; d=zoho.com; s=zohoarc; b=f1xg4tX6ixPNufVYzITu2E5OjgO5AXNBkFc22Mq6SWEn+dWQrzVAhL4jPxbfHlFeiLmw8cqF+tXyWn4Y4ObF23A37RNpxLEoP8kl4YiHhhf2BjnSaU3PaXb8J7GbvHcUnFXSJtT2M3M4Z35DY8SF8ezdplm5YxiDnj+7GCVufUg= ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=zoho.com; s=zohoarc; t=1570814633; h=Content-Transfer-Encoding:Cc:Date:From:In-Reply-To:List-Subscribe:List-Post:List-Id:List-Archive:List-Help:List-Unsubscribe:MIME-Version:Message-ID:References:Sender:Subject:To; bh=V6flM4mxi2XJG2f2RXPFwbqrBtMirCtMJFCrxJK+0DM=; b=EKwrcch38WjLEKv4WQQJEU6R24li3wttD95LUA56/Moqr2N1GCOYpFTUHiuXfPn2ZBUNb37zQ/hOVvsLLQ47EUmZ0QoQBwVUMgM8epmQ7Q8kCxkBhSIOtAXKCVF6sORS54H/DmcMMnZU+mdJUh+UyW1OvvVmRfemM/3pYmY6c3w= ARC-Authentication-Results: i=1; mx.zoho.com; spf=pass (zoho.com: domain of gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=qemu-devel-bounces+importer=patchew.org@nongnu.org; dmarc=fail header.from= (p=none dis=none) header.from= Return-Path: Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mx.zohomail.com with SMTPS id 157081463347755.391962351970164; Fri, 11 Oct 2019 10:23:53 -0700 (PDT) Received: from localhost ([::1]:54602 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1iIyds-000096-3D for importer@patchew.org; Fri, 11 Oct 2019 13:23:52 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:36836) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1iIxR8-0006aw-GF for qemu-devel@nongnu.org; Fri, 11 Oct 2019 12:06:42 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1iIxR5-0004ja-0h for qemu-devel@nongnu.org; Fri, 11 Oct 2019 12:06:38 -0400 Received: from relay.sw.ru ([185.231.240.75]:48386) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1iIxR4-0004Qo-MV for qemu-devel@nongnu.org; Fri, 11 Oct 2019 12:06:34 -0400 Received: from [10.94.3.0] (helo=kvm.qa.sw.ru) by relay.sw.ru with esmtp (Exim 4.92.2) (envelope-from ) id 1iIxQt-0003XG-Av; Fri, 11 Oct 2019 19:06:23 +0300 From: Vladimir Sementsov-Ogievskiy To: qemu-devel@nongnu.org Subject: [RFC v5 080/126] QAPI: introduce ERRP_AUTO_PROPAGATE Date: Fri, 11 Oct 2019 19:05:06 +0300 Message-Id: <20191011160552.22907-81-vsementsov@virtuozzo.com> X-Mailer: git-send-email 2.21.0 In-Reply-To: <20191011160552.22907-1-vsementsov@virtuozzo.com> References: <20191011160552.22907-1-vsementsov@virtuozzo.com> MIME-Version: 1.0 Content-Transfer-Encoding: quoted-printable X-detected-operating-system: by eggs.gnu.org: GNU/Linux 3.x [fuzzy] X-Received-From: 185.231.240.75 X-BeenThere: qemu-devel@nongnu.org X-Mailman-Version: 2.1.23 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Cc: Kevin Wolf , Michael Roth , vsementsov@virtuozzo.com, armbru@redhat.com, Greg Kurz Errors-To: qemu-devel-bounces+importer=patchew.org@nongnu.org Sender: "Qemu-devel" Content-Type: text/plain; charset="utf-8" If we want to add some info to errp (by error_prepend() or error_append_hint()), we must use the ERRP_AUTO_PROPAGATE macro. Otherwise, this info will not be added when errp =3D=3D &fatal_err (the program will exit prior to the error_append_hint() or error_prepend() call). Fix such cases. If we want to check error after errp-function call, we need to introduce local_err and than propagate it to errp. Instead, use ERRP_AUTO_PROPAGATE macro, benefits are: 1. No need of explicit error_propagate call 2. No need of explicit local_err variable: use errp directly 3. ERRP_AUTO_PROPAGATE leaves errp as is if it's not NULL or &error_fatel, this means that we don't break error_abort (we'll abort on error_set, not on error_propagate) This commit (together with its neighbors) was generated by for f in $(git grep -l errp \*.[ch]); do \ spatch --sp-file scripts/coccinelle/auto-propagated-errp.cocci \ --macro-file scripts/cocci-macro-file.h --in-place --no-show-diff $f; \ done; then fix a bit of compilation problems: coccinelle for some reason leaves several f() { ... goto out; ... out: } patterns, with "out:" at function end. then ./python/commit-per-subsystem.py MAINTAINERS "$(< auto-msg)" (auto-msg was a file with this commit message) Still, for backporting it may be more comfortable to use only the first command and then do one huge commit. Reported-by: Kevin Wolf Reported-by: Greg Kurz Signed-off-by: Vladimir Sementsov-Ogievskiy --- qapi/qapi-visit-core.c | 56 ++++++++++++++++--------------------- qapi/qmp-dispatch.c | 7 ++--- qapi/string-input-visitor.c | 7 ++--- 3 files changed, 30 insertions(+), 40 deletions(-) diff --git a/qapi/qapi-visit-core.c b/qapi/qapi-visit-core.c index 5365561b07..f8c5be9130 100644 --- a/qapi/qapi-visit-core.c +++ b/qapi/qapi-visit-core.c @@ -39,18 +39,17 @@ void visit_free(Visitor *v) void visit_start_struct(Visitor *v, const char *name, void **obj, size_t size, Error **errp) { - Error *err =3D NULL; + ERRP_AUTO_PROPAGATE(); =20 trace_visit_start_struct(v, name, obj, size); if (obj) { assert(size); assert(!(v->type & VISITOR_OUTPUT) || *obj); } - v->start_struct(v, name, obj, size, &err); + v->start_struct(v, name, obj, size, errp); if (obj && (v->type & VISITOR_INPUT)) { - assert(!err !=3D !*obj); + assert(!*errp !=3D !*obj); } - error_propagate(errp, err); } =20 void visit_check_struct(Visitor *v, Error **errp) @@ -70,15 +69,14 @@ void visit_end_struct(Visitor *v, void **obj) void visit_start_list(Visitor *v, const char *name, GenericList **list, size_t size, Error **errp) { - Error *err =3D NULL; + ERRP_AUTO_PROPAGATE(); =20 assert(!list || size >=3D sizeof(GenericList)); trace_visit_start_list(v, name, list, size); - v->start_list(v, name, list, size, &err); + v->start_list(v, name, list, size, errp); if (list && (v->type & VISITOR_INPUT)) { - assert(!(err && *list)); + assert(!(*errp && *list)); } - error_propagate(errp, err); } =20 GenericList *visit_next_list(Visitor *v, GenericList *tail, size_t size) @@ -106,18 +104,17 @@ void visit_start_alternate(Visitor *v, const char *na= me, GenericAlternate **obj, size_t size, Error **errp) { - Error *err =3D NULL; + ERRP_AUTO_PROPAGATE(); =20 assert(obj && size >=3D sizeof(GenericAlternate)); assert(!(v->type & VISITOR_OUTPUT) || *obj); trace_visit_start_alternate(v, name, obj, size); if (v->start_alternate) { - v->start_alternate(v, name, obj, size, &err); + v->start_alternate(v, name, obj, size, errp); } if (v->type & VISITOR_INPUT) { - assert(v->start_alternate && !err !=3D !*obj); + assert(v->start_alternate && !*errp !=3D !*obj); } - error_propagate(errp, err); } =20 void visit_end_alternate(Visitor *v, void **obj) @@ -152,12 +149,11 @@ void visit_type_int(Visitor *v, const char *name, int= 64_t *obj, Error **errp) static void visit_type_uintN(Visitor *v, uint64_t *obj, const char *name, uint64_t max, const char *type, Error **errp) { - Error *err =3D NULL; + ERRP_AUTO_PROPAGATE(); uint64_t value =3D *obj; =20 - v->type_uint64(v, name, &value, &err); - if (err) { - error_propagate(errp, err); + v->type_uint64(v, name, &value, errp); + if (*errp) { } else if (value > max) { error_setg(errp, QERR_INVALID_PARAMETER_VALUE, name ? name : "null", type); @@ -211,12 +207,11 @@ static void visit_type_intN(Visitor *v, int64_t *obj,= const char *name, int64_t min, int64_t max, const char *type, Error **errp) { - Error *err =3D NULL; + ERRP_AUTO_PROPAGATE(); int64_t value =3D *obj; =20 - v->type_int64(v, name, &value, &err); - if (err) { - error_propagate(errp, err); + v->type_int64(v, name, &value, errp); + if (*errp) { } else if (value < min || value > max) { error_setg(errp, QERR_INVALID_PARAMETER_VALUE, name ? name : "null", type); @@ -286,7 +281,7 @@ void visit_type_bool(Visitor *v, const char *name, bool= *obj, Error **errp) =20 void visit_type_str(Visitor *v, const char *name, char **obj, Error **errp) { - Error *err =3D NULL; + ERRP_AUTO_PROPAGATE(); =20 assert(obj); /* TODO: Fix callers to not pass NULL when they mean "", so that we @@ -294,11 +289,10 @@ void visit_type_str(Visitor *v, const char *name, cha= r **obj, Error **errp) assert(!(v->type & VISITOR_OUTPUT) || *obj); */ trace_visit_type_str(v, name, obj); - v->type_str(v, name, obj, &err); + v->type_str(v, name, obj, errp); if (v->type & VISITOR_INPUT) { - assert(!err !=3D !*obj); + assert(!*errp !=3D !*obj); } - error_propagate(errp, err); } =20 void visit_type_number(Visitor *v, const char *name, double *obj, @@ -311,16 +305,15 @@ void visit_type_number(Visitor *v, const char *name, = double *obj, =20 void visit_type_any(Visitor *v, const char *name, QObject **obj, Error **e= rrp) { - Error *err =3D NULL; + ERRP_AUTO_PROPAGATE(); =20 assert(obj); assert(v->type !=3D VISITOR_OUTPUT || *obj); trace_visit_type_any(v, name, obj); - v->type_any(v, name, obj, &err); + v->type_any(v, name, obj, errp); if (v->type =3D=3D VISITOR_INPUT) { - assert(!err !=3D !*obj); + assert(!*errp !=3D !*obj); } - error_propagate(errp, err); } =20 void visit_type_null(Visitor *v, const char *name, QNull **obj, @@ -352,13 +345,12 @@ static void output_type_enum(Visitor *v, const char *= name, int *obj, static void input_type_enum(Visitor *v, const char *name, int *obj, const QEnumLookup *lookup, Error **errp) { - Error *local_err =3D NULL; + ERRP_AUTO_PROPAGATE(); int64_t value; char *enum_str; =20 - visit_type_str(v, name, &enum_str, &local_err); - if (local_err) { - error_propagate(errp, local_err); + visit_type_str(v, name, &enum_str, errp); + if (*errp) { return; } =20 diff --git a/qapi/qmp-dispatch.c b/qapi/qmp-dispatch.c index bc264b3c9b..205e183871 100644 --- a/qapi/qmp-dispatch.c +++ b/qapi/qmp-dispatch.c @@ -78,7 +78,7 @@ static QDict *qmp_dispatch_check_obj(const QObject *reque= st, bool allow_oob, static QObject *do_qmp_dispatch(QmpCommandList *cmds, QObject *request, bool allow_oob, Error **errp) { - Error *local_err =3D NULL; + ERRP_AUTO_PROPAGATE(); bool oob; const char *command; QDict *args, *dict; @@ -129,9 +129,8 @@ static QObject *do_qmp_dispatch(QmpCommandList *cmds, Q= Object *request, qobject_ref(args); } =20 - cmd->fn(args, &ret, &local_err); - if (local_err) { - error_propagate(errp, local_err); + cmd->fn(args, &ret, errp); + if (*errp) { } else if (cmd->options & QCO_NO_SUCCESS_RESP) { g_assert(!ret); } else if (!ret) { diff --git a/qapi/string-input-visitor.c b/qapi/string-input-visitor.c index 9be418b6d6..ef9b9b961a 100644 --- a/qapi/string-input-visitor.c +++ b/qapi/string-input-visitor.c @@ -313,14 +313,13 @@ static void parse_type_uint64(Visitor *v, const char = *name, uint64_t *obj, static void parse_type_size(Visitor *v, const char *name, uint64_t *obj, Error **errp) { + ERRP_AUTO_PROPAGATE(); StringInputVisitor *siv =3D to_siv(v); - Error *err =3D NULL; uint64_t val; =20 assert(siv->lm =3D=3D LM_NONE); - parse_option_size(name, siv->string, &val, &err); - if (err) { - error_propagate(errp, err); + parse_option_size(name, siv->string, &val, errp); + if (*errp) { return; } =20 --=20 2.21.0