2015-04-27 14:13:34

by David Howells

[permalink] [raw]
Subject: Compiler warning about comparing result of !!test_bit() to an integer

Hi Jiri,

This line in hid-input.c:

if (usage->type == EV_KEY && !!test_bit(usage->code, input->key) != value)
input_event(input, EV_MSC, MSC_SCAN, usage->hid);

gives:

../drivers/hid/hid-input.c: In function 'hidinput_hid_event':
../drivers/hid/hid-input.c:1160:167: warning: logical not is only applied to the left hand side of comparison [-Wlogical-not-parentheses]

with gcc-5.1. Given that 'value' doesn't appear to be a boolean, is this correct?

This was introduced by commit c01d50d181f074a60bf3ed54eb055ce1679afb98.

David


2015-04-27 14:25:06

by Jiri Kosina

[permalink] [raw]
Subject: Re: Compiler warning about comparing result of !!test_bit() to an integer

On Mon, 27 Apr 2015, David Howells wrote:

> Hi Jiri,
>
> This line in hid-input.c:
>
> if (usage->type == EV_KEY && !!test_bit(usage->code, input->key) != value)
> input_event(input, EV_MSC, MSC_SCAN, usage->hid);
>
> gives:
>
> ../drivers/hid/hid-input.c: In function 'hidinput_hid_event':
> ../drivers/hid/hid-input.c:1160:167: warning: logical not is only applied to the left hand side of comparison [-Wlogical-not-parentheses]
>
> with gcc-5.1. Given that 'value' doesn't appear to be a boolean, is this correct?

gcc-5 became somehow very picky about '!!' usages. I recall quite some
internal discussions with our gcc guys, which resulted in upstream gcc
bugzillas being filled about gcc warning in completely legitimate cases.

>
> This was introduced by commit c01d50d181f074a60bf3ed54eb055ce1679afb98.

Gah, that was long time ago! :)

This is because we want to handle autorepeat (i.e. value 2) correctly. Now
that you ask, it seems to me that we actually should be doing

!!test_bit(usage->code, input->key) != !!value

to be really exact (i.e. so that we really can't have oscilating state).

I'll think about it a little bit more, and eventually probably fix it this
way with your Reported-by: if you are OK with that.

Thanks,

--
Jiri Kosina
SUSE Labs

2015-04-27 15:17:38

by David Howells

[permalink] [raw]
Subject: Re: Compiler warning about comparing result of !!test_bit() to an integer

Jiri Kosina <[email protected]> wrote:

> gcc-5 became somehow very picky about '!!' usages. I recall quite some
> internal discussions with our gcc guys, which resulted in upstream gcc
> bugzillas being filled about gcc warning in completely legitimate cases.

I suspect it's more that it's picky about '!' usages - which covers '!!'. I'm
guessing they're trying to pick up people doing if(!x==y) when they mean
if(!(x==y)) or somesuch.
Jiri Kosina <[email protected]> wrote:

> This is because we want to handle autorepeat (i.e. value 2) correctly. Now
> that you ask, it seems to me that we actually should be doing
>
> !!test_bit(usage->code, input->key) != !!value

I wonder if you could cast to bool instead? test_bit() possibly *should*
return a bool these days, thus rendering the '!!' unnecessary.

> to be really exact (i.e. so that we really can't have oscilating state).
>
> I'll think about it a little bit more, and eventually probably fix it this
> way with your Reported-by: if you are OK with that.

Yep.

David