2017-11-28 12:22:08

by Rasmus Villemoes

[permalink] [raw]
Subject: Re: [PATCH] genirq: Make - vs ?: precedence explicit

On 2017-11-22 21:56, Kees Cook wrote:
> Noticed with a Clang build. This improves the readability of the ?:
> expression, as it has lower precedence than the - expression. Show
> explicitly that - is evaluated first.
>
> Cc: Thomas Gleixner <[email protected]>
> Signed-off-by: Kees Cook <[email protected]>
> ---
> kernel/irq/matrix.c | 2 +-
> 1 file changed, 1 insertion(+), 1 deletion(-)
>
> diff --git a/kernel/irq/matrix.c b/kernel/irq/matrix.c
> index a3cbbc8191c5..7df2480005f8 100644
> --- a/kernel/irq/matrix.c
> +++ b/kernel/irq/matrix.c
> @@ -384,7 +384,7 @@ unsigned int irq_matrix_available(struct irq_matrix *m, bool cpudown)
> {
> struct cpumap *cm = this_cpu_ptr(m->maps);
>
> - return m->global_available - cpudown ? cm->available : 0;
> + return (m->global_available - cpudown) ? cm->available : 0;
> }

I see that this got applied, and that doesn't change the semantics of
the code. But surely the code is and was buggy, right? From the kernel
doc, I'm pretty sure the idea is to subtract cm->available if cpudown is
true, otherwise subtract 0, i.e.

return m->global_available - (cpudown ? cm->available : 0);

Rasmus

From 1584801275767666053@xxx Wed Nov 22 20:57:53 +0000 2017
X-GM-THRID: 1584801275767666053
X-Gmail-Labels: Inbox,Category Forums,HistoricalUnread