Re: kernel/bpf/verifier.c: 4 * possible unintended fallthrough ?

From: Josef Bacik
Date: Tue Dec 20 2016 - 13:29:18 EST


On Tue, Dec 20, 2016 at 11:34 AM, David Binderman <dcb314@xxxxxxxxxxx> wrote:

Hello there,

From: Alexei Starovoitov <alexei.starovoitov@xxxxxxxxx>
I've tried 4.9 and 5.2 and don't see this warning.

As expected - I used a development version of gcc.
Latest released version is 6.2

Is this 6.x gcc?

7.0 would be more accurate.

I suspect it will have such warnings all over the kernel.

Indeed it has hundreds, but the subject under discussion is file
kernel/bpf/verifier.c.

I am still not sure if I have found a fallthrough bug or not.

You haven't, this is intended so is a useless warning. Thanks,

Josef