On 7 October 2011 14:59, Paolo Bonzini <pbonz...@redhat.com> wrote: > There are 508 non-indented (non-default) labels, and 511 that are > indented. So the rule is debatable at least. Actually, in the > common case of labels at the outermost scope, there is really just > one place where to put the label, so the rule is just wrong IMHO.
Agreed. This is one of the checkpatch shibboleths that I just ignore when submitting patches :-) -- PMM