All of lore.kernel.org
 help / color / mirror / Atom feed
From: "Michael S. Tsirkin" <mst@redhat.com>
To: Peter Maydell <peter.maydell@linaro.org>
Cc: qemu-trivial@nongnu.org, qemu-ppc@nongnu.org,
	qemu-devel@nongnu.org, patches@linaro.org
Subject: Re: [Qemu-trivial] [PATCH 00/12] Avoid shifting left into sign bit
Date: Tue, 11 Mar 2014 00:00:35 +0200	[thread overview]
Message-ID: <20140310220035.GF7104@redhat.com> (raw)
In-Reply-To: <1394478649-9453-1-git-send-email-peter.maydell@linaro.org>

On Mon, Mar 10, 2014 at 07:10:36PM +0000, Peter Maydell wrote:
> This is a set of patches which silence clang -fsanitize=undefined
> warnings about shifting left into the sign bit of a signed value.
> Typically this is the result of "1 << 31" and similar constructs;
> the fix is to add a "U" suffix to the 1 so that we do unsigned
> arithmetic rather than signed arithmetic.
> 
> Since these patches are very minor changes to a fairly
> wide ranging set of files, it seems easiest to send these
> through the -trivial queue. Happy to split the series up
> if people disagree.

I'm fine with this for pci and pc bits.

> Mostly I think these warnings are not particularly exciting
> (even the adversarial optimizations preferred by modern
> compilers will probably not break "1 << 31") but there are
> a lot of them, the fix is pretty trivial, and getting rid of
> them allows us to see the interesting sanitizer warnings more
> clearly.
> 
> My method here has been just to look at the warnings produced
> during a 'make check' run; no doubt actually running a guest
> for various platforms would identify more of these.
> 
> thanks
> -- PMM
> 
> Peter Maydell (12):
>   target-i386: Avoid shifting left into sign bit
>   hw/intc/apic.c: Use uint32_t for mask word in foreach_apic
>   hw/pci/pci_host.c: Avoid shifting left into sign bit
>   hw/i386/acpi_build.c: Avoid shifting left into sign bit
>   target-mips: Avoid shifting left into sign bit
>   hw/usb/hcd-ohci.c: Avoid shifting left into sign bit
>   hw/intc/openpic: Avoid shifting left into sign bit
>   hw/ppc: Avoid shifting left into sign bit
>   tests/libqos/pci-pc: Avoid shifting left into sign bit
>   hw/intc/slavio_intctl: Avoid shifting left into sign bit
>   hw/intc/xilinx_intc: Avoid shifting left into sign bit
>   hw/pci-host/apb.c: Avoid shifting left into sign bit
> 
>  hw/i386/acpi-build.c         |  2 +-
>  hw/intc/apic.c               |  5 +++--
>  hw/intc/openpic.c            |  4 ++--
>  hw/intc/slavio_intctl.c      |  2 +-
>  hw/intc/xilinx_intc.c        |  3 ++-
>  hw/pci-host/apb.c            |  2 +-
>  hw/pci/pci_host.c            |  3 ++-
>  hw/ppc/ppc.c                 |  2 +-
>  hw/ppc/ppc440_bamboo.c       |  4 ++--
>  hw/ppc/ppc4xx_devs.c         |  2 +-
>  hw/ppc/ppc_booke.c           |  4 ++--
>  hw/ppc/virtex_ml507.c        |  4 ++--
>  hw/usb/hcd-ohci.c            |  6 +++---
>  target-i386/cpu.h            |  8 ++++----
>  target-mips/cpu.h            |  2 +-
>  target-mips/helper.c         |  8 ++++----
>  target-mips/op_helper.c      |  2 +-
>  target-mips/translate_init.c | 22 +++++++++++-----------
>  tests/libqos/pci-pc.c        | 12 ++++++------
>  19 files changed, 50 insertions(+), 47 deletions(-)
> 
> -- 
> 1.9.0
> 


WARNING: multiple messages have this Message-ID (diff)
From: "Michael S. Tsirkin" <mst@redhat.com>
To: Peter Maydell <peter.maydell@linaro.org>
Cc: qemu-trivial@nongnu.org, qemu-ppc@nongnu.org,
	qemu-devel@nongnu.org, patches@linaro.org
Subject: Re: [Qemu-devel] [PATCH 00/12] Avoid shifting left into sign bit
Date: Tue, 11 Mar 2014 00:00:35 +0200	[thread overview]
Message-ID: <20140310220035.GF7104@redhat.com> (raw)
In-Reply-To: <1394478649-9453-1-git-send-email-peter.maydell@linaro.org>

On Mon, Mar 10, 2014 at 07:10:36PM +0000, Peter Maydell wrote:
> This is a set of patches which silence clang -fsanitize=undefined
> warnings about shifting left into the sign bit of a signed value.
> Typically this is the result of "1 << 31" and similar constructs;
> the fix is to add a "U" suffix to the 1 so that we do unsigned
> arithmetic rather than signed arithmetic.
> 
> Since these patches are very minor changes to a fairly
> wide ranging set of files, it seems easiest to send these
> through the -trivial queue. Happy to split the series up
> if people disagree.

I'm fine with this for pci and pc bits.

> Mostly I think these warnings are not particularly exciting
> (even the adversarial optimizations preferred by modern
> compilers will probably not break "1 << 31") but there are
> a lot of them, the fix is pretty trivial, and getting rid of
> them allows us to see the interesting sanitizer warnings more
> clearly.
> 
> My method here has been just to look at the warnings produced
> during a 'make check' run; no doubt actually running a guest
> for various platforms would identify more of these.
> 
> thanks
> -- PMM
> 
> Peter Maydell (12):
>   target-i386: Avoid shifting left into sign bit
>   hw/intc/apic.c: Use uint32_t for mask word in foreach_apic
>   hw/pci/pci_host.c: Avoid shifting left into sign bit
>   hw/i386/acpi_build.c: Avoid shifting left into sign bit
>   target-mips: Avoid shifting left into sign bit
>   hw/usb/hcd-ohci.c: Avoid shifting left into sign bit
>   hw/intc/openpic: Avoid shifting left into sign bit
>   hw/ppc: Avoid shifting left into sign bit
>   tests/libqos/pci-pc: Avoid shifting left into sign bit
>   hw/intc/slavio_intctl: Avoid shifting left into sign bit
>   hw/intc/xilinx_intc: Avoid shifting left into sign bit
>   hw/pci-host/apb.c: Avoid shifting left into sign bit
> 
>  hw/i386/acpi-build.c         |  2 +-
>  hw/intc/apic.c               |  5 +++--
>  hw/intc/openpic.c            |  4 ++--
>  hw/intc/slavio_intctl.c      |  2 +-
>  hw/intc/xilinx_intc.c        |  3 ++-
>  hw/pci-host/apb.c            |  2 +-
>  hw/pci/pci_host.c            |  3 ++-
>  hw/ppc/ppc.c                 |  2 +-
>  hw/ppc/ppc440_bamboo.c       |  4 ++--
>  hw/ppc/ppc4xx_devs.c         |  2 +-
>  hw/ppc/ppc_booke.c           |  4 ++--
>  hw/ppc/virtex_ml507.c        |  4 ++--
>  hw/usb/hcd-ohci.c            |  6 +++---
>  target-i386/cpu.h            |  8 ++++----
>  target-mips/cpu.h            |  2 +-
>  target-mips/helper.c         |  8 ++++----
>  target-mips/op_helper.c      |  2 +-
>  target-mips/translate_init.c | 22 +++++++++++-----------
>  tests/libqos/pci-pc.c        | 12 ++++++------
>  19 files changed, 50 insertions(+), 47 deletions(-)
> 
> -- 
> 1.9.0
> 

  parent reply	other threads:[~2014-03-10 22:01 UTC|newest]

Thread overview: 46+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2014-03-10 19:10 [Qemu-trivial] [PATCH 00/12] Avoid shifting left into sign bit Peter Maydell
2014-03-10 19:10 ` [Qemu-devel] " Peter Maydell
2014-03-10 19:10 ` [Qemu-trivial] [PATCH 01/12] target-i386: " Peter Maydell
2014-03-10 19:10   ` [Qemu-devel] " Peter Maydell
2014-03-10 21:57   ` [Qemu-trivial] " Michael S. Tsirkin
2014-03-10 21:57     ` [Qemu-devel] " Michael S. Tsirkin
2014-03-10 19:10 ` [Qemu-trivial] [PATCH 02/12] hw/intc/apic.c: Use uint32_t for mask word in foreach_apic Peter Maydell
2014-03-10 19:10   ` [Qemu-devel] " Peter Maydell
2014-03-10 19:39   ` [Qemu-trivial] " Stefan Weil
2014-03-10 19:39     ` Stefan Weil
2014-03-10 21:56   ` [Qemu-trivial] " Michael S. Tsirkin
2014-03-10 21:56     ` [Qemu-devel] " Michael S. Tsirkin
2014-03-10 19:10 ` [Qemu-trivial] [PATCH 03/12] hw/pci/pci_host.c: Avoid shifting left into sign bit Peter Maydell
2014-03-10 19:10   ` [Qemu-devel] " Peter Maydell
2014-03-10 20:03   ` [Qemu-trivial] " Stefan Weil
2014-03-10 20:03     ` Stefan Weil
2014-03-10 21:46     ` [Qemu-trivial] " Michael S. Tsirkin
2014-03-10 21:46       ` Michael S. Tsirkin
2014-03-10 21:58   ` [Qemu-trivial] " Michael S. Tsirkin
2014-03-10 21:58     ` [Qemu-devel] " Michael S. Tsirkin
2014-03-10 19:10 ` [Qemu-trivial] [PATCH 04/12] hw/i386/acpi_build.c: " Peter Maydell
2014-03-10 19:10   ` [Qemu-devel] " Peter Maydell
2014-03-10 21:56   ` [Qemu-trivial] " Michael S. Tsirkin
2014-03-10 21:56     ` [Qemu-devel] " Michael S. Tsirkin
2014-03-10 19:10 ` [Qemu-trivial] [PATCH 05/12] target-mips: " Peter Maydell
2014-03-10 19:10   ` [Qemu-devel] " Peter Maydell
2014-03-10 19:10 ` [Qemu-trivial] [PATCH 06/12] hw/usb/hcd-ohci.c: " Peter Maydell
2014-03-10 19:10   ` [Qemu-devel] " Peter Maydell
2014-03-10 19:10 ` [Qemu-trivial] [PATCH 07/12] hw/intc/openpic: " Peter Maydell
2014-03-10 19:10   ` [Qemu-devel] " Peter Maydell
2014-03-10 19:10 ` [Qemu-trivial] [PATCH 08/12] hw/ppc: " Peter Maydell
2014-03-10 19:10   ` [Qemu-devel] " Peter Maydell
2014-03-10 19:10 ` [Qemu-trivial] [PATCH 09/12] tests/libqos/pci-pc: " Peter Maydell
2014-03-10 19:10   ` [Qemu-devel] " Peter Maydell
2014-03-10 19:10 ` [Qemu-trivial] [PATCH 10/12] hw/intc/slavio_intctl: " Peter Maydell
2014-03-10 19:10   ` [Qemu-devel] " Peter Maydell
2014-03-10 19:10 ` [Qemu-trivial] [PATCH 11/12] hw/intc/xilinx_intc: " Peter Maydell
2014-03-10 19:10   ` [Qemu-devel] " Peter Maydell
2014-03-10 19:10 ` [Qemu-trivial] [PATCH 12/12] hw/pci-host/apb.c: " Peter Maydell
2014-03-10 19:10   ` [Qemu-devel] " Peter Maydell
2014-03-10 21:59   ` [Qemu-trivial] " Michael S. Tsirkin
2014-03-10 21:59     ` [Qemu-devel] " Michael S. Tsirkin
2014-03-14 16:45     ` [Qemu-trivial] " Michael Tokarev
2014-03-14 16:45       ` [Qemu-devel] " Michael Tokarev
2014-03-10 22:00 ` Michael S. Tsirkin [this message]
2014-03-10 22:00   ` [Qemu-devel] [PATCH 00/12] " Michael S. Tsirkin

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=20140310220035.GF7104@redhat.com \
    --to=mst@redhat.com \
    --cc=patches@linaro.org \
    --cc=peter.maydell@linaro.org \
    --cc=qemu-devel@nongnu.org \
    --cc=qemu-ppc@nongnu.org \
    --cc=qemu-trivial@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 an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.