On 09/28/2016 02:15 PM, Michael Matz wrote:
P.S.: Initially I even wanted to argue that the mere existence of _any_ comment before a case label would disable the warning. I don't have the numbers but I bet even that version would have found the very same bugs that the picky version has.
Sounds like a pretty good idea to me for a default setting. If we really want to have multiple levels of the warning. I agree that it's likely to find the majority of problems, and it no longer depends on language and spelling of the comment.
Bernd
