On Tue, Apr 9, 2019 at 2:28 AM David Howells <dhowe...@redhat.com> wrote: > Kees Cook <keesc...@google.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
