Re: [PATCH] x86/syscalls: Mark expected switch fall-throughs
From: Gustavo A. R. Silva
Date: Tue Nov 28 2017 - 13:05:18 EST
Quoting Thomas Gleixner <tglx@xxxxxxxxxxxxx>:
On Mon, 27 Nov 2017, Gustavo A. R. Silva wrote:
In preparation to enabling -Wimplicit-fallthrough, mark switch cases
where we are expecting to fall through.
case 0:
if (!n--) break;
*args++ = regs->bx;
+ /* fall through */
And these gazillions of pointless comments help enabling of
-Wimplicit-fallthrough in which way?
The -Wimplicit-fallthrough option was added to GCC 7. We want to add
that option to the top-level Makefile so we can have the compiler help
us not make mistakes as missing "break"s or "continue"s. This also
documents the intention for humans and provides a way for analyzers to
report issues or ignore False Positives.
So prior to adding such option to the Makefile, we have to properly
add a code comment wherever the code is intended to fall through.
During the process of placing these comments I have identified actual
bugs (missing "break"s/"continue"s) in a variety of components in the
kernel, so I think this effort is valuable. Lastly, such a simple
comment in the code can save a person plenty of time during a code
review.
Thanks
--
Gustavo A. R. Silva