On Sun, Oct 21, 2018 at 8:29 PM Greg Kroah-Hartman <gregkh@xxxxxxxxxxxxxxxxxxx> wrote: > > 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? Thank you Greg, good question. I will try to keep all the information we can get about the tools in the commit message. I will also contact the different tools about this. Cheers, Miguel
