| Message ID | 20240912073921.453203-1-pierrick.bouvier@linaro.org (mailing list archive) |
|---|---|
| Headers | show |
| Series | Use g_assert_not_reached instead of (g_)assert(0, false) | expand |
> -----Original Message----- > From: qemu-devel-bounces+yaoxt.fnst=fujitsu.com@nongnu.org > <qemu-devel-bounces+yaoxt.fnst=fujitsu.com@nongnu.org> On Behalf Of > Pierrick Bouvier > Sent: Thursday, September 12, 2024 3:39 PM > To: qemu-devel@nongnu.org > Cc: Jason Wang <jasowang@redhat.com>; Alex Bennée <alex.bennee@linaro.org>; > Laurent Vivier <lvivier@redhat.com>; Marcelo Tosatti <mtosatti@redhat.com>; > Nicholas Piggin <npiggin@gmail.com>; Klaus Jensen <its@irrelevant.dk>; WANG > Xuerui <git@xen0n.name>; Halil Pasic <pasic@linux.ibm.com>; Rob Herring > <robh@kernel.org>; Michael Rolnik <mrolnik@gmail.com>; Zhao Liu > <zhao1.liu@intel.com>; Peter Maydell <peter.maydell@linaro.org>; Richard > Henderson <richard.henderson@linaro.org>; Fabiano Rosas <farosas@suse.de>; > Corey Minyard <minyard@acm.org>; Keith Busch <kbusch@kernel.org>; Thomas > Huth <thuth@redhat.com>; Maciej S. Szmigiero <maciej.szmigiero@oracle.com>; > Harsh Prateek Bora <harshpb@linux.ibm.com>; Kevin Wolf <kwolf@redhat.com>; > Paolo Bonzini <pbonzini@redhat.com>; Jesper Devantier <foss@defmacro.it>; > Hyman Huang <yong.huang@smartx.com>; Philippe Mathieu-Daudé > <philmd@linaro.org>; Palmer Dabbelt <palmer@dabbelt.com>; > qemu-s390x@nongnu.org; Laurent Vivier <laurent@vivier.eu>; > qemu-riscv@nongnu.org; Richard W.M. Jones <rjones@redhat.com>; Liu Zhiwei > <zhiwei_liu@linux.alibaba.com>; Aurelien Jarno <aurelien@aurel32.net>; Daniel P. > Berrangé <berrange@redhat.com>; Marcel Apfelbaum > <marcel.apfelbaum@gmail.com>; kvm@vger.kernel.org; Christian Borntraeger > <borntraeger@linux.ibm.com>; Akihiko Odaki <akihiko.odaki@daynix.com>; > Daniel Henrique Barboza <dbarboza@ventanamicro.com>; Hanna Reitz > <hreitz@redhat.com>; Ani Sinha <anisinha@redhat.com>; > qemu-ppc@nongnu.org; Marc-André Lureau <marcandre.lureau@redhat.com>; > Alistair Francis <alistair.francis@wdc.com>; Bin Meng <bmeng.cn@gmail.com>; > Michael S. Tsirkin <mst@redhat.com>; Helge Deller <deller@gmx.de>; Peter Xu > <peterx@redhat.com>; Daniel Henrique Barboza <danielhb413@gmail.com>; > Dmitry Fleytman <dmitry.fleytman@gmail.com>; Nina Schoetterl-Glausch > <nsg@linux.ibm.com>; Yanan Wang <wangyanan55@huawei.com>; > qemu-arm@nongnu.org; Igor Mammedov <imammedo@redhat.com>; > Jean-Christophe Dubois <jcd@tribudubois.net>; Eric Farman > <farman@linux.ibm.com>; Sriram Yagnaraman > <sriram.yagnaraman@ericsson.com>; qemu-block@nongnu.org; Stefan Berger > <stefanb@linux.vnet.ibm.com>; Joel Stanley <joel@jms.id.au>; Eduardo Habkost > <eduardo@habkost.net>; David Gibson <david@gibson.dropbear.id.au>; Fam > Zheng <fam@euphon.net>; Weiwei Li <liwei1518@gmail.com>; Markus > Armbruster <armbru@redhat.com>; Pierrick Bouvier <pierrick.bouvier@linaro.org> > Subject: [PATCH v2 00/48] Use g_assert_not_reached instead of (g_)assert(0, > false) > > 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@lin > aro.org/. > > In more, cleanup useless break and return after g_assert_not_reached(); I found that not all of the break or return after g_assert_not_reached() were cleaned up, don't they need to be cleaned up? > > And finally, ensure with scripts/checkpatch.pl that we don't reintroduce > (g_)assert(false) in the future. > > New commits (removing return) need review. > > Tested that it build warning free with gcc and clang. > > v2 > - align backslashes for some changes > - add summary in all commits message > - remove redundant comment > > v1 > https://lore.kernel.org/qemu-devel/20240910221606.1817478-1-pierrick.bouvier@ > linaro.org/T/#t > > Pierrick Bouvier (48): > 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() > include/qemu: remove return after g_assert_not_reached() > hw/hyperv: remove return after g_assert_not_reached() > hw/net: remove return after g_assert_not_reached() > hw/pci: remove return after g_assert_not_reached() > hw/ppc: remove return after g_assert_not_reached() > migration: remove return after g_assert_not_reached() > qobject: remove return after g_assert_not_reached() > qom: remove return after g_assert_not_reached() > tests/qtest: remove return 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 +- > include/qemu/pmem.h | 1 - > 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 | 7 +++---- > hw/hyperv/vmbus.c | 15 ++++++--------- > hw/misc/imx6_ccm.c | 1 - > hw/misc/mac_via.c | 2 -- > hw/net/e1000e_core.c | 4 +--- > hw/net/i82596.c | 2 +- > hw/net/igb_core.c | 4 +--- > hw/net/net_rx_pkt.c | 3 +-- > hw/net/vmxnet3.c | 1 - > hw/nvme/ctrl.c | 8 ++++---- > hw/pci-host/gt64120.c | 2 -- > hw/pci/pci-stub.c | 6 ++---- > hw/ppc/ppc.c | 1 - > hw/ppc/spapr_events.c | 3 +-- > hw/scsi/virtio-scsi.c | 1 - > hw/tpm/tpm_spapr.c | 1 - > hw/watchdog/watchdog.c | 2 +- > migration/dirtyrate.c | 3 +-- > migration/migration-hmp-cmds.c | 2 +- > migration/postcopy-ram.c | 21 +++++++-------------- > migration/ram.c | 8 +++----- > qobject/qlit.c | 2 +- > qobject/qnum.c | 12 ++++-------- > qom/object.c | 1 - > 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/acpi-utils.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 +++ > 54 files changed, 72 insertions(+), 120 deletions(-) > > -- > 2.39.2 >
On 9/12/24 18:37, Xingtao Yao (Fujitsu) wrote: > > >> -----Original Message----- >> From: qemu-devel-bounces+yaoxt.fnst=fujitsu.com@nongnu.org >> <qemu-devel-bounces+yaoxt.fnst=fujitsu.com@nongnu.org> On Behalf Of >> Pierrick Bouvier >> Sent: Thursday, September 12, 2024 3:39 PM >> To: qemu-devel@nongnu.org >> Cc: Jason Wang <jasowang@redhat.com>; Alex Bennée <alex.bennee@linaro.org>; >> Laurent Vivier <lvivier@redhat.com>; Marcelo Tosatti <mtosatti@redhat.com>; >> Nicholas Piggin <npiggin@gmail.com>; Klaus Jensen <its@irrelevant.dk>; WANG >> Xuerui <git@xen0n.name>; Halil Pasic <pasic@linux.ibm.com>; Rob Herring >> <robh@kernel.org>; Michael Rolnik <mrolnik@gmail.com>; Zhao Liu >> <zhao1.liu@intel.com>; Peter Maydell <peter.maydell@linaro.org>; Richard >> Henderson <richard.henderson@linaro.org>; Fabiano Rosas <farosas@suse.de>; >> Corey Minyard <minyard@acm.org>; Keith Busch <kbusch@kernel.org>; Thomas >> Huth <thuth@redhat.com>; Maciej S. Szmigiero <maciej.szmigiero@oracle.com>; >> Harsh Prateek Bora <harshpb@linux.ibm.com>; Kevin Wolf <kwolf@redhat.com>; >> Paolo Bonzini <pbonzini@redhat.com>; Jesper Devantier <foss@defmacro.it>; >> Hyman Huang <yong.huang@smartx.com>; Philippe Mathieu-Daudé >> <philmd@linaro.org>; Palmer Dabbelt <palmer@dabbelt.com>; >> qemu-s390x@nongnu.org; Laurent Vivier <laurent@vivier.eu>; >> qemu-riscv@nongnu.org; Richard W.M. Jones <rjones@redhat.com>; Liu Zhiwei >> <zhiwei_liu@linux.alibaba.com>; Aurelien Jarno <aurelien@aurel32.net>; Daniel P. >> Berrangé <berrange@redhat.com>; Marcel Apfelbaum >> <marcel.apfelbaum@gmail.com>; kvm@vger.kernel.org; Christian Borntraeger >> <borntraeger@linux.ibm.com>; Akihiko Odaki <akihiko.odaki@daynix.com>; >> Daniel Henrique Barboza <dbarboza@ventanamicro.com>; Hanna Reitz >> <hreitz@redhat.com>; Ani Sinha <anisinha@redhat.com>; >> qemu-ppc@nongnu.org; Marc-André Lureau <marcandre.lureau@redhat.com>; >> Alistair Francis <alistair.francis@wdc.com>; Bin Meng <bmeng.cn@gmail.com>; >> Michael S. Tsirkin <mst@redhat.com>; Helge Deller <deller@gmx.de>; Peter Xu >> <peterx@redhat.com>; Daniel Henrique Barboza <danielhb413@gmail.com>; >> Dmitry Fleytman <dmitry.fleytman@gmail.com>; Nina Schoetterl-Glausch >> <nsg@linux.ibm.com>; Yanan Wang <wangyanan55@huawei.com>; >> qemu-arm@nongnu.org; Igor Mammedov <imammedo@redhat.com>; >> Jean-Christophe Dubois <jcd@tribudubois.net>; Eric Farman >> <farman@linux.ibm.com>; Sriram Yagnaraman >> <sriram.yagnaraman@ericsson.com>; qemu-block@nongnu.org; Stefan Berger >> <stefanb@linux.vnet.ibm.com>; Joel Stanley <joel@jms.id.au>; Eduardo Habkost >> <eduardo@habkost.net>; David Gibson <david@gibson.dropbear.id.au>; Fam >> Zheng <fam@euphon.net>; Weiwei Li <liwei1518@gmail.com>; Markus >> Armbruster <armbru@redhat.com>; Pierrick Bouvier <pierrick.bouvier@linaro.org> >> Subject: [PATCH v2 00/48] Use g_assert_not_reached instead of (g_)assert(0, >> false) >> >> 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@lin >> aro.org/. >> >> In more, cleanup useless break and return after g_assert_not_reached(); > I found that not all of the break or return after g_assert_not_reached() were cleaned up, don't they need to be cleaned up? >> >> And finally, ensure with scripts/checkpatch.pl that we don't reintroduce >> (g_)assert(false) in the future. >> >> New commits (removing return) need review. >> >> Tested that it build warning free with gcc and clang. >> >> v2 >> - align backslashes for some changes >> - add summary in all commits message >> - remove redundant comment >> >> v1 >> https://lore.kernel.org/qemu-devel/20240910221606.1817478-1-pierrick.bouvier@ >> linaro.org/T/#t >> >> Pierrick Bouvier (48): >> 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() >> include/qemu: remove return after g_assert_not_reached() >> hw/hyperv: remove return after g_assert_not_reached() >> hw/net: remove return after g_assert_not_reached() >> hw/pci: remove return after g_assert_not_reached() >> hw/ppc: remove return after g_assert_not_reached() >> migration: remove return after g_assert_not_reached() >> qobject: remove return after g_assert_not_reached() >> qom: remove return after g_assert_not_reached() >> tests/qtest: remove return 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 +- >> include/qemu/pmem.h | 1 - >> 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 | 7 +++---- >> hw/hyperv/vmbus.c | 15 ++++++--------- >> hw/misc/imx6_ccm.c | 1 - >> hw/misc/mac_via.c | 2 -- >> hw/net/e1000e_core.c | 4 +--- >> hw/net/i82596.c | 2 +- >> hw/net/igb_core.c | 4 +--- >> hw/net/net_rx_pkt.c | 3 +-- >> hw/net/vmxnet3.c | 1 - >> hw/nvme/ctrl.c | 8 ++++---- >> hw/pci-host/gt64120.c | 2 -- >> hw/pci/pci-stub.c | 6 ++---- >> hw/ppc/ppc.c | 1 - >> hw/ppc/spapr_events.c | 3 +-- >> hw/scsi/virtio-scsi.c | 1 - >> hw/tpm/tpm_spapr.c | 1 - >> hw/watchdog/watchdog.c | 2 +- >> migration/dirtyrate.c | 3 +-- >> migration/migration-hmp-cmds.c | 2 +- >> migration/postcopy-ram.c | 21 +++++++-------------- >> migration/ram.c | 8 +++----- >> qobject/qlit.c | 2 +- >> qobject/qnum.c | 12 ++++-------- >> qom/object.c | 1 - >> 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/acpi-utils.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 +++ >> 54 files changed, 72 insertions(+), 120 deletions(-) >> >> -- >> 2.39.2 >> > Which one did you find? Using which grep command?
> >> -- > >> 2.39.2 > >> > > > > Which one did you find? Using which grep command? Sorry, I made a mistake. I haven't found anything new yet.