On Sun, 2018-10-21 at 19:29 +0100, Greg Kroah-Hartman wrote:i > On Sun, Oct 21, 2018 at 07:14:12PM +0200, Miguel Ojeda wrote: > > These are two patches are meant to go on top of the rest of the compiler > > attributes series on: > > > > https://github.com/ojeda/linux/tree/compiler-attributes > > > > which will be sent to Greg for the next merge window. > > > > Please review them and let me know! (specially if someone is against > > __fallthrough for some reason :-). > > Will this work with all of the static tools that are currently looking > for the comment instead? Does anyone have a list of the static tools that use comment style fallthrough notations? > I know coverity handles that, what about others? No doubt tool updates would be useful.