[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Qemu-devel] [PATCH] spapr_pci: Fix unsafe signed/unsigned compariso

From: Markus Armbruster
Subject: Re: [Qemu-devel] [PATCH] spapr_pci: Fix unsafe signed/unsigned comparisons
Date: Fri, 20 Mar 2015 09:37:51 +0100
User-agent: Gnus/5.13 (Gnus v5.13) Emacs/24.3 (gnu/linux)

David Gibson <address@hidden> writes:

> spapr_pci.c contains a number of expressions of the form (uval == -1) or
> (uval != -1), where 'uval' is an unsigned value.
> This mostly works in practice, because as long as the width of uval is
> greater or equal than that of (int), the -1 will be promoted to the
> unsigned type, which is the expected outcome.
> However, at least for the cases where uval is uint32_t, this would break
> on platforms where sizeof(int) > 4 (and a few such do exist), because then
> the uint32_t value would be promoted to the larger int type, and never be
> equal to -1.

We may not care for portability to such systems.  However, a comparison
between signed and unsigned values still makes careful readers pause to
consider width.

gcc can warn (-Wsign-compare), but we don't enable this warning,
probably because we'd get too many of them.

> This patch fixes these errors.  The fixes for the (uint32_t) cases are
> necessary as described above.  I've made similar fixes to (uint64_t) and
> (hwaddr) cases.  Those are strictly theoretical, since I don't know of any
> platforms where sizeof(int) > 8, but hey, it's not that hard so we might
> as well be strictly C standard compliant.

It fixes all -Wsign-compare warnings from this file (but not from
included headers, but that's outside the scope of this patch).

> Reported-by: Markus Armbruster <address@hidden>
> Signed-off-by: David Gibson <address@hidden>

Reviewed-by: Markus Armbruster <address@hidden>

reply via email to

[Prev in Thread] Current Thread [Next in Thread]