| Message ID | 1317995941-26266-1-git-send-email-pbonzini@redhat.com |
|---|---|
| State | New |
| Headers | show |
On 7 October 2011 14:59, Paolo Bonzini <pbonzini@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
On 10/07/2011 08:59 AM, Paolo Bonzini 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. > > Signed-off-by: Paolo Bonzini<pbonzini@redhat.com> Applied. Thanks. Regards, Anthony Liguori > --- > scripts/checkpatch.pl | 6 ------ > 1 files changed, 0 insertions(+), 6 deletions(-) > > diff --git a/scripts/checkpatch.pl b/scripts/checkpatch.pl > index 0eba357..7a71324 100755 > --- a/scripts/checkpatch.pl > +++ b/scripts/checkpatch.pl > @@ -2206,12 +2206,6 @@ sub process { > ERROR("space prohibited before that close parenthesis ')'\n" . $herecurr); > } > > -#goto labels aren't indented, allow a single space however > - if ($line=~/^.\s+[A-Za-z\d_]+:(?![0-9]+)/ and > - !($line=~/^. [A-Za-z\d_]+:/) and !($line=~/^.\s+default:/)) { > - WARN("labels should not be indented\n" . $herecurr); > - } > - > # Return is not a function. > if (defined($stat)&& $stat =~ /^.\s*return(\s*)(\(.*);/s) { > my $spacing = $1;
diff --git a/scripts/checkpatch.pl b/scripts/checkpatch.pl index 0eba357..7a71324 100755 --- a/scripts/checkpatch.pl +++ b/scripts/checkpatch.pl @@ -2206,12 +2206,6 @@ sub process { ERROR("space prohibited before that close parenthesis ')'\n" . $herecurr); } -#goto labels aren't indented, allow a single space however - if ($line=~/^.\s+[A-Za-z\d_]+:(?![0-9]+)/ and - !($line=~/^. [A-Za-z\d_]+:/) and !($line=~/^.\s+default:/)) { - WARN("labels should not be indented\n" . $herecurr); - } - # Return is not a function. if (defined($stat) && $stat =~ /^.\s*return(\s*)(\(.*);/s) { my $spacing = $1;
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. Signed-off-by: Paolo Bonzini <pbonzini@redhat.com> --- scripts/checkpatch.pl | 6 ------ 1 files changed, 0 insertions(+), 6 deletions(-)