Re: [PATCH] afs: Mark expected switch fall-throughs

From: Kees Cook
Date: Tue Apr 09 2019 - 11:18:27 EST


On Tue, Apr 9, 2019 at 2:28 AM David Howells <dhowells@xxxxxxxxxx> wrote:
> Kees Cook <keescook@xxxxxxxxxx> wrote:
>
> > These look good to me. Gets us another step to finishing this. :)
>
> Can we fix the compiler, please, to say that *every* case (perhaps barring the
> last) is expected to fall through?

Right now we're targeting both compilers and static analyzers. Neither
support this kind of marking, unfortunately. We can, however,
mechanically change this in the future if that becomes possible.

--
Kees Cook