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? I know coverity handles that, what about others? thanks, greg k-h