On 24/11/2020 21:25, Kees Cook wrote:
I still think this isn't right -- it's a case statement that runs off the end without an explicit flow control determination.
Proves too much — for instance case foo: case bar: thing; break; doesn't require a fallthrough; after case foo:, and afaik no-one is suggesting it should. Yet it, too, is "a case statement that runs off the end without an explicit flow control determination".
-ed