qemu-devel.nongnu.org archive mirror
 help / color / mirror / Atom feed
From: Pierrick Bouvier <pierrick.bouvier@linaro.org>
To: qemu-devel@nongnu.org
Cc: "Zhao Liu" <zhao1.liu@intel.com>,
	"Richard W.M. Jones" <rjones@redhat.com>,
	"Joel Stanley" <joel@jms.id.au>, "Kevin Wolf" <kwolf@redhat.com>,
	"Paolo Bonzini" <pbonzini@redhat.com>,
	qemu-arm@nongnu.org, "Corey Minyard" <minyard@acm.org>,
	"Eric Farman" <farman@linux.ibm.com>,
	"Thomas Huth" <thuth@redhat.com>,
	"Keith Busch" <kbusch@kernel.org>, "WANG Xuerui" <git@xen0n.name>,
	"Hyman Huang" <yong.huang@smartx.com>,
	"Stefan Berger" <stefanb@linux.vnet.ibm.com>,
	"Michael Rolnik" <mrolnik@gmail.com>,
	"Alistair Francis" <alistair.francis@wdc.com>,
	"Marc-André Lureau" <marcandre.lureau@redhat.com>,
	"Markus Armbruster" <armbru@redhat.com>,
	"Sriram Yagnaraman" <sriram.yagnaraman@ericsson.com>,
	"Palmer Dabbelt" <palmer@dabbelt.com>,
	qemu-riscv@nongnu.org, "Ani Sinha" <anisinha@redhat.com>,
	"Halil Pasic" <pasic@linux.ibm.com>,
	"Jesper Devantier" <foss@defmacro.it>,
	"Laurent Vivier" <laurent@vivier.eu>,
	"Peter Maydell" <peter.maydell@linaro.org>,
	"Igor Mammedov" <imammedo@redhat.com>,
	kvm@vger.kernel.org, "Alex Bennée" <alex.bennee@linaro.org>,
	"Richard Henderson" <richard.henderson@linaro.org>,
	"Fam Zheng" <fam@euphon.net>,
	qemu-s390x@nongnu.org, "Hanna Reitz" <hreitz@redhat.com>,
	"Nicholas Piggin" <npiggin@gmail.com>,
	"Eduardo Habkost" <eduardo@habkost.net>,
	"Laurent Vivier" <lvivier@redhat.com>,
	"Rob Herring" <robh@kernel.org>,
	"Marcel Apfelbaum" <marcel.apfelbaum@gmail.com>,
	qemu-block@nongnu.org,
	"Maciej S. Szmigiero" <maciej.szmigiero@oracle.com>,
	qemu-ppc@nongnu.org,
	"Daniel Henrique Barboza" <danielhb413@gmail.com>,
	"Christian Borntraeger" <borntraeger@linux.ibm.com>,
	"Harsh Prateek Bora" <harshpb@linux.ibm.com>,
	"Philippe Mathieu-Daudé" <philmd@linaro.org>,
	"Nina Schoetterl-Glausch" <nsg@linux.ibm.com>,
	"Michael S. Tsirkin" <mst@redhat.com>,
	"Fabiano Rosas" <farosas@suse.de>, "Helge Deller" <deller@gmx.de>,
	"Dmitry Fleytman" <dmitry.fleytman@gmail.com>,
	"Daniel Henrique Barboza" <dbarboza@ventanamicro.com>,
	"Akihiko Odaki" <akihiko.odaki@daynix.com>,
	"Marcelo Tosatti" <mtosatti@redhat.com>,
	"David Gibson" <david@gibson.dropbear.id.au>,
	"Aurelien Jarno" <aurelien@aurel32.net>,
	"Liu Zhiwei" <zhiwei_liu@linux.alibaba.com>,
	"Yanan Wang" <wangyanan55@huawei.com>,
	"Peter Xu" <peterx@redhat.com>, "Bin Meng" <bmeng.cn@gmail.com>,
	"Weiwei Li" <liwei1518@gmail.com>,
	"Klaus Jensen" <its@irrelevant.dk>,
	"Jean-Christophe Dubois" <jcd@tribudubois.net>,
	"Jason Wang" <jasowang@redhat.com>,
	"Pierrick Bouvier" <pierrick.bouvier@linaro.org>
Subject: [PATCH 00/39] Use g_assert_not_reached instead of (g_)assert(0, false)
Date: Tue, 10 Sep 2024 15:15:27 -0700	[thread overview]
Message-ID: <20240910221606.1817478-1-pierrick.bouvier@linaro.org> (raw)

This series cleans up all usages of assert/g_assert who are supposed to stop
execution of QEMU. We replace those by g_assert_not_reached().
It was suggested recently when cleaning codebase to build QEMU with gcc
and tsan: https://lore.kernel.org/qemu-devel/54bb02a6-1b12-460a-97f6-3f478ef766c6@linaro.org/.

In more, cleanup useless break after g_assert_not_reached();

And finally, ensure with scripts/checkpatch.pl that we don't reintroduce
(g_)assert(false) in the future.

Pierrick Bouvier (39):
  docs/spin: replace assert(0) with g_assert_not_reached()
  hw/acpi: replace assert(0) with g_assert_not_reached()
  hw/arm: replace assert(0) with g_assert_not_reached()
  hw/char: replace assert(0) with g_assert_not_reached()
  hw/core: replace assert(0) with g_assert_not_reached()
  hw/net: replace assert(0) with g_assert_not_reached()
  hw/watchdog: replace assert(0) with g_assert_not_reached()
  migration: replace assert(0) with g_assert_not_reached()
  qobject: replace assert(0) with g_assert_not_reached()
  system: replace assert(0) with g_assert_not_reached()
  target/ppc: replace assert(0) with g_assert_not_reached()
  tests/qtest: replace assert(0) with g_assert_not_reached()
  tests/unit: replace assert(0) with g_assert_not_reached()
  include/hw/s390x: replace assert(false) with g_assert_not_reached()
  block: replace assert(false) with g_assert_not_reached()
  hw/hyperv: replace assert(false) with g_assert_not_reached()
  hw/net: replace assert(false) with g_assert_not_reached()
  hw/nvme: replace assert(false) with g_assert_not_reached()
  hw/pci: replace assert(false) with g_assert_not_reached()
  hw/ppc: replace assert(false) with g_assert_not_reached()
  migration: replace assert(false) with g_assert_not_reached()
  target/i386/kvm: replace assert(false) with g_assert_not_reached()
  tests/qtest: replace assert(false) with g_assert_not_reached()
  accel/tcg: remove break after g_assert_not_reached()
  block: remove break after g_assert_not_reached()
  hw/acpi: remove break after g_assert_not_reached()
  hw/gpio: remove break after g_assert_not_reached()
  hw/misc: remove break after g_assert_not_reached()
  hw/net: remove break after g_assert_not_reached()
  hw/pci-host: remove break after g_assert_not_reached()
  hw/scsi: remove break after g_assert_not_reached()
  hw/tpm: remove break after g_assert_not_reached()
  target/arm: remove break after g_assert_not_reached()
  target/riscv: remove break after g_assert_not_reached()
  tests/qtest: remove break after g_assert_not_reached()
  ui: remove break after g_assert_not_reached()
  fpu: remove break after g_assert_not_reached()
  tcg/loongarch64: remove break after g_assert_not_reached()
  scripts/checkpatch.pl: emit error when using assert(false)

 docs/spin/aio_notify_accept.promela     |  6 +++---
 docs/spin/aio_notify_bug.promela        |  6 +++---
 include/hw/s390x/cpu-topology.h         |  2 +-
 accel/tcg/plugin-gen.c                  |  1 -
 block/qcow2.c                           |  2 +-
 block/ssh.c                             |  1 -
 hw/acpi/aml-build.c                     |  3 +--
 hw/arm/highbank.c                       |  2 +-
 hw/char/avr_usart.c                     |  2 +-
 hw/core/numa.c                          |  2 +-
 hw/gpio/nrf51_gpio.c                    |  1 -
 hw/hyperv/hyperv_testdev.c              |  6 +++---
 hw/hyperv/vmbus.c                       | 12 ++++++------
 hw/misc/imx6_ccm.c                      |  1 -
 hw/misc/mac_via.c                       |  2 --
 hw/net/e1000e_core.c                    |  2 +-
 hw/net/i82596.c                         |  2 +-
 hw/net/igb_core.c                       |  2 +-
 hw/net/net_rx_pkt.c                     |  3 +--
 hw/nvme/ctrl.c                          |  8 ++++----
 hw/pci-host/gt64120.c                   |  2 --
 hw/pci/pci-stub.c                       |  4 ++--
 hw/ppc/spapr_events.c                   |  2 +-
 hw/scsi/virtio-scsi.c                   |  1 -
 hw/tpm/tpm_spapr.c                      |  1 -
 hw/watchdog/watchdog.c                  |  2 +-
 migration/dirtyrate.c                   |  2 +-
 migration/migration-hmp-cmds.c          |  2 +-
 migration/postcopy-ram.c                | 14 +++++++-------
 migration/ram.c                         |  6 +++---
 qobject/qlit.c                          |  2 +-
 qobject/qnum.c                          |  8 ++++----
 system/rtc.c                            |  2 +-
 target/arm/hyp_gdbstub.c                |  1 -
 target/i386/kvm/kvm.c                   |  4 ++--
 target/ppc/dfp_helper.c                 |  8 ++++----
 target/ppc/mmu_helper.c                 |  2 +-
 target/riscv/monitor.c                  |  1 -
 tests/qtest/ipmi-bt-test.c              |  2 +-
 tests/qtest/ipmi-kcs-test.c             |  4 ++--
 tests/qtest/migration-helpers.c         |  1 -
 tests/qtest/numa-test.c                 | 10 +++++-----
 tests/qtest/rtl8139-test.c              |  2 +-
 tests/unit/test-xs-node.c               |  4 ++--
 ui/qemu-pixman.c                        |  1 -
 fpu/softfloat-parts.c.inc               |  2 --
 target/riscv/insn_trans/trans_rvv.c.inc |  2 --
 tcg/loongarch64/tcg-target.c.inc        |  1 -
 scripts/checkpatch.pl                   |  3 +++
 49 files changed, 72 insertions(+), 90 deletions(-)

-- 
2.39.2



             reply	other threads:[~2024-09-10 22:16 UTC|newest]

Thread overview: 122+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2024-09-10 22:15 Pierrick Bouvier [this message]
2024-09-10 22:15 ` [PATCH 01/39] docs/spin: replace assert(0) with g_assert_not_reached() Pierrick Bouvier
2024-09-11  1:36   ` Richard Henderson
2024-09-11 12:33   ` Eric Blake
2024-09-11 12:37     ` Eric Blake
2024-09-11 12:46       ` Maciej S. Szmigiero
2024-09-11 12:51         ` Richard W.M. Jones
2024-09-11 15:25           ` Pierrick Bouvier
2024-09-11 16:55             ` Richard Henderson
2024-09-11 16:13           ` Thomas Huth
2024-09-12  0:28             ` Pierrick Bouvier
2024-09-11 15:23       ` Pierrick Bouvier
2024-09-10 22:15 ` [PATCH 02/39] hw/acpi: " Pierrick Bouvier
2024-09-11  1:37   ` Richard Henderson
2024-09-10 22:15 ` [PATCH 03/39] hw/arm: " Pierrick Bouvier
2024-09-11  1:38   ` Richard Henderson
2024-09-10 22:15 ` [PATCH 04/39] hw/char: " Pierrick Bouvier
2024-09-11  1:39   ` Richard Henderson
2024-09-11  6:11   ` Philippe Mathieu-Daudé
2024-09-10 22:15 ` [PATCH 05/39] hw/core: " Pierrick Bouvier
2024-09-11  1:43   ` Richard Henderson
2024-09-11  6:12   ` Philippe Mathieu-Daudé
2024-09-10 22:15 ` [PATCH 06/39] hw/net: " Pierrick Bouvier
2024-09-11  2:06   ` Richard Henderson
2024-09-10 22:15 ` [PATCH 07/39] hw/watchdog: " Pierrick Bouvier
2024-09-11  2:14   ` Richard Henderson
2024-09-11  6:12   ` Philippe Mathieu-Daudé
2024-09-11  8:35   ` Richard W.M. Jones
2024-09-10 22:15 ` [PATCH 08/39] migration: " Pierrick Bouvier
2024-09-10 22:25   ` Fabiano Rosas
2024-09-11  2:17   ` Richard Henderson
2024-09-11  2:37     ` Pierrick Bouvier
2024-09-11 13:40   ` Peter Xu
2024-09-10 22:15 ` [PATCH 09/39] qobject: " Pierrick Bouvier
2024-09-11  3:12   ` Richard Henderson
2024-09-11 16:56   ` Kevin Wolf
2024-09-10 22:15 ` [PATCH 10/39] system: " Pierrick Bouvier
2024-09-11  3:13   ` Richard Henderson
2024-09-11  6:12   ` Philippe Mathieu-Daudé
2024-09-10 22:15 ` [PATCH 11/39] target/ppc: " Pierrick Bouvier
2024-09-11  3:14   ` Richard Henderson
2024-09-11 15:27     ` Pierrick Bouvier
2024-09-11  9:40   ` Daniel Henrique Barboza
2024-09-10 22:15 ` [PATCH 12/39] tests/qtest: " Pierrick Bouvier
2024-09-11  3:17   ` Richard Henderson
2024-09-11  5:43   ` Thomas Huth
2024-09-10 22:15 ` [PATCH 13/39] tests/unit: " Pierrick Bouvier
2024-09-11  3:19   ` Richard Henderson
2024-09-10 22:15 ` [PATCH 14/39] include/hw/s390x: replace assert(false) " Pierrick Bouvier
2024-09-11  3:19   ` Richard Henderson
2024-09-11  5:42   ` Thomas Huth
2024-09-10 22:15 ` [PATCH 15/39] block: " Pierrick Bouvier
2024-09-11  3:20   ` Richard Henderson
2024-09-11 15:47   ` Kevin Wolf
2024-09-10 22:15 ` [PATCH 16/39] hw/hyperv: " Pierrick Bouvier
2024-09-11  3:21   ` Richard Henderson
2024-09-11 10:17   ` Maciej S. Szmigiero
2024-09-10 22:15 ` [PATCH 17/39] hw/net: " Pierrick Bouvier
2024-09-11  3:21   ` Richard Henderson
2024-09-10 22:15 ` [PATCH 18/39] hw/nvme: " Pierrick Bouvier
2024-09-11  3:22   ` Richard Henderson
2024-09-10 22:15 ` [PATCH 19/39] hw/pci: " Pierrick Bouvier
2024-09-11  3:22   ` Richard Henderson
2024-09-11  5:50   ` Philippe Mathieu-Daudé
2024-09-11 15:29     ` Pierrick Bouvier
2024-09-10 22:15 ` [PATCH 20/39] hw/ppc: " Pierrick Bouvier
2024-09-11  3:26   ` Richard Henderson
2024-09-11  9:41   ` Daniel Henrique Barboza
2024-09-11 14:10   ` BALATON Zoltan
2024-09-11 15:32     ` Pierrick Bouvier
2024-09-11 16:08       ` BALATON Zoltan
2024-09-10 22:15 ` [PATCH 21/39] migration: " Pierrick Bouvier
2024-09-10 22:26   ` Fabiano Rosas
2024-09-11  3:26   ` Richard Henderson
2024-09-11  3:27   ` Richard Henderson
2024-09-11 13:40   ` Peter Xu
2024-09-10 22:15 ` [PATCH 22/39] target/i386/kvm: " Pierrick Bouvier
2024-09-11  3:27   ` Richard Henderson
2024-09-10 22:15 ` [PATCH 23/39] tests/qtest: " Pierrick Bouvier
2024-09-11  3:28   ` Richard Henderson
2024-09-10 22:15 ` [PATCH 24/39] accel/tcg: remove break after g_assert_not_reached() Pierrick Bouvier
2024-09-11  3:28   ` Richard Henderson
2024-09-10 22:15 ` [PATCH 25/39] block: " Pierrick Bouvier
2024-09-11  3:29   ` Richard Henderson
2024-09-11  8:35   ` Richard W.M. Jones
2024-09-11 15:53   ` Kevin Wolf
2024-09-10 22:15 ` [PATCH 26/39] hw/acpi: " Pierrick Bouvier
2024-09-11  3:30   ` Richard Henderson
2024-09-10 22:15 ` [PATCH 27/39] hw/gpio: " Pierrick Bouvier
2024-09-11  3:29   ` Richard Henderson
2024-09-11  6:12   ` Philippe Mathieu-Daudé
2024-09-10 22:15 ` [PATCH 28/39] hw/misc: " Pierrick Bouvier
2024-09-11  3:31   ` Richard Henderson
2024-09-11  6:13   ` Philippe Mathieu-Daudé
2024-09-10 22:15 ` [PATCH 29/39] hw/net: " Pierrick Bouvier
2024-09-11  3:31   ` Richard Henderson
2024-09-10 22:15 ` [PATCH 30/39] hw/pci-host: " Pierrick Bouvier
2024-09-11  3:32   ` Richard Henderson
2024-09-11  6:13   ` Philippe Mathieu-Daudé
2024-09-10 22:15 ` [PATCH 31/39] hw/scsi: " Pierrick Bouvier
2024-09-11  3:33   ` Richard Henderson
2024-09-11 15:56   ` Kevin Wolf
2024-09-10 22:15 ` [PATCH 32/39] hw/tpm: " Pierrick Bouvier
2024-09-11  3:33   ` Richard Henderson
2024-09-10 22:16 ` [PATCH 33/39] target/arm: " Pierrick Bouvier
2024-09-11  3:33   ` Richard Henderson
2024-09-10 22:16 ` [PATCH 34/39] target/riscv: " Pierrick Bouvier
2024-09-11  3:34   ` Richard Henderson
2024-09-11  9:35   ` Daniel Henrique Barboza
2024-09-10 22:16 ` [PATCH 35/39] tests/qtest: " Pierrick Bouvier
2024-09-11  3:34   ` Richard Henderson
2024-09-10 22:16 ` [PATCH 36/39] ui: " Pierrick Bouvier
2024-09-11  3:34   ` Richard Henderson
2024-09-11  6:13   ` Philippe Mathieu-Daudé
2024-09-10 22:16 ` [PATCH 37/39] fpu: " Pierrick Bouvier
2024-09-11  3:35   ` Richard Henderson
2024-09-10 22:16 ` [PATCH 38/39] tcg/loongarch64: " Pierrick Bouvier
2024-09-11  3:35   ` Richard Henderson
2024-09-10 22:16 ` [PATCH 39/39] scripts/checkpatch.pl: emit error when using assert(false) Pierrick Bouvier
2024-09-11  3:35   ` Richard Henderson
2024-09-11  8:39 ` [PATCH 00/39] Use g_assert_not_reached instead of (g_)assert(0,false) Philippe Mathieu-Daudé
2024-09-11 15:34   ` Pierrick Bouvier

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=20240910221606.1817478-1-pierrick.bouvier@linaro.org \
    --to=pierrick.bouvier@linaro.org \
    --cc=akihiko.odaki@daynix.com \
    --cc=alex.bennee@linaro.org \
    --cc=alistair.francis@wdc.com \
    --cc=anisinha@redhat.com \
    --cc=armbru@redhat.com \
    --cc=aurelien@aurel32.net \
    --cc=bmeng.cn@gmail.com \
    --cc=borntraeger@linux.ibm.com \
    --cc=danielhb413@gmail.com \
    --cc=david@gibson.dropbear.id.au \
    --cc=dbarboza@ventanamicro.com \
    --cc=deller@gmx.de \
    --cc=dmitry.fleytman@gmail.com \
    --cc=eduardo@habkost.net \
    --cc=fam@euphon.net \
    --cc=farman@linux.ibm.com \
    --cc=farosas@suse.de \
    --cc=foss@defmacro.it \
    --cc=git@xen0n.name \
    --cc=harshpb@linux.ibm.com \
    --cc=hreitz@redhat.com \
    --cc=imammedo@redhat.com \
    --cc=its@irrelevant.dk \
    --cc=jasowang@redhat.com \
    --cc=jcd@tribudubois.net \
    --cc=joel@jms.id.au \
    --cc=kbusch@kernel.org \
    --cc=kvm@vger.kernel.org \
    --cc=kwolf@redhat.com \
    --cc=laurent@vivier.eu \
    --cc=liwei1518@gmail.com \
    --cc=lvivier@redhat.com \
    --cc=maciej.szmigiero@oracle.com \
    --cc=marcandre.lureau@redhat.com \
    --cc=marcel.apfelbaum@gmail.com \
    --cc=minyard@acm.org \
    --cc=mrolnik@gmail.com \
    --cc=mst@redhat.com \
    --cc=mtosatti@redhat.com \
    --cc=npiggin@gmail.com \
    --cc=nsg@linux.ibm.com \
    --cc=palmer@dabbelt.com \
    --cc=pasic@linux.ibm.com \
    --cc=pbonzini@redhat.com \
    --cc=peter.maydell@linaro.org \
    --cc=peterx@redhat.com \
    --cc=philmd@linaro.org \
    --cc=qemu-arm@nongnu.org \
    --cc=qemu-block@nongnu.org \
    --cc=qemu-devel@nongnu.org \
    --cc=qemu-ppc@nongnu.org \
    --cc=qemu-riscv@nongnu.org \
    --cc=qemu-s390x@nongnu.org \
    --cc=richard.henderson@linaro.org \
    --cc=rjones@redhat.com \
    --cc=robh@kernel.org \
    --cc=sriram.yagnaraman@ericsson.com \
    --cc=stefanb@linux.vnet.ibm.com \
    --cc=thuth@redhat.com \
    --cc=wangyanan55@huawei.com \
    --cc=yong.huang@smartx.com \
    --cc=zhao1.liu@intel.com \
    --cc=zhiwei_liu@linux.alibaba.com \
    /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).