https://gcc.gnu.org/bugzilla/show_bug.cgi?id=7652
Michael T. <m.j.thayer at googlemail dot com> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |m.j.thayer at googlemail dot
com
--- Comment #35 from Michael T. <m.j.thayer at googlemail dot com> ---
(In reply to Florian Weimer from comment #25)
> I contemplated using any comment whatsoever as an indicator that
> fall-through is expected.
Coverity do that:
http://security.coverity.com/blog/2013/Sep/gimme-a-break.html
