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

lists.openwall.net		lists / announce owl-users owl-dev john-users john-dev passwdqc-users yescrypt popa3d-users / oss-security kernel-hardening musl sabotage tlsify passwords / crypt-dev xvendor / Bugtraq Full-Disclosure linux-kernel linux-netdev linux-ext4 linux-hardening linux-cve-announce PHC
Open Source and information security mailing list archives

Hash Suite for Android: free password hash cracker in your pocket

[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]

Message-ID: <CAGXu5jJRNUZcCyRS_xXG-XYWVLkCtV1h62-H3OsQWKB4jQ02kQ@mail.gmail.com>
Date:   Tue, 9 Apr 2019 08:18:13 -0700
From:   Kees Cook <keescook@...gle.com>
To:     David Howells <dhowells@...hat.com>
Cc:     "Gustavo A. R. Silva" <gustavo@...eddedor.com>,
        linux-afs@...ts.infradead.org, LKML <linux-kernel@...r.kernel.org>,
        Stephen Rothwell <sfr@...b.auug.org.au>
Subject: Re: [PATCH] afs: Mark expected switch fall-throughs

On Tue, Apr 9, 2019 at 2:28 AM David Howells <dhowells@...hat.com> wrote:
> Kees Cook <keescook@...gle.com> 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