update checkpatch.pl to version 0.06

Update to checkpatch.pl v0.06.  Of note:

 - do { and else handled correctly as control structures for { matching
 - trailing whitespace correctly tripped when line otherwise empty
 - support for const, including const foo * const bar
 - multiline macros defining values correctly reported

This version of checkpatch.pl can be found at the following URL:

http://www.kernel.org/pub/linux/kernel/people/apw/checkpatch/checkpatch.pl-0.06

Full Changelog:

Andy Whitcroft (14):
      Version: 0.06
      cleanup the Type regular expression declarations
      fix up block counting
      end of line counts as a space for ++ and --
      do { needs the same checks as if, for et al
      handle "const foo * const a" as a valid type
      add spacing checks following ;
      complete whitespace lines should trip trailing whitespace check
      else is also a block control structure
      badly formatted else can trip function declaration
      detect and report trailing statements after else
      types need to be terminated by a boundary
      multiline macros defining values should be surrounded by parentheses
      soften the wording of the Signed-off-by: warnings

Signed-off-by: Andy Whitcroft <apw@shadowen.org>
Cc: "Randy.Dunlap" <rdunlap@xenotime.net>
Signed-off-by: Andrew Morton <akpm@linux-foundation.org>
Signed-off-by: Linus Torvalds <torvalds@linux-foundation.org>
This commit is contained in:
Andy Whitcroft 2007-06-23 17:16:44 -07:00 committed by Linus Torvalds
parent debee0768e
commit d8aaf12142
1 changed files with 94 additions and 55 deletions

View File

@ -9,7 +9,7 @@ use strict;
my $P = $0; my $P = $0;
$P =~ s@.*/@@g; $P =~ s@.*/@@g;
my $V = '0.05'; my $V = '0.06';
use Getopt::Long qw(:config no_auto_abbrev); use Getopt::Long qw(:config no_auto_abbrev);
@ -271,24 +271,38 @@ sub process {
my $in_comment = 0; my $in_comment = 0;
my $first_line = 0; my $first_line = 0;
my $ident = '[A-Za-z\d_]+'; my $Ident = qr{[A-Za-z\d_]+};
my $storage = '(?:extern|static)'; my $Storage = qr{extern|static};
my $sparse = '(?:__user|__kernel|__force|__iomem)'; my $Sparse = qr{__user|__kernel|__force|__iomem};
my $type = '(?:unsigned\s+)?' . my $NonptrType = qr{
'(?:void|char|short|int|long|unsigned|float|double|' . \b
'long\s+long|' . (?:const\s+)?
"struct\\s+${ident}|" . (?:unsigned\s+)?
"union\\s+${ident}|" . (?:
"${ident}_t)" . void|
"(?:\\s+$sparse)*" . char|
'(?:\s*\*+)?'; short|
my $attribute = '(?:__read_mostly|__init|__initdata)'; int|
long|
my $Ident = $ident; unsigned|
my $Type = $type; float|
my $Storage = $storage; double|
my $Declare = "(?:$storage\\s+)?$type"; long\s+int|
my $Attribute = $attribute; long\s+long|
long\s+long\s+int|
struct\s+$Ident|
union\s+$Ident|
${Ident}_t
)
(?:\s+$Sparse)*
\b
}x;
my $Type = qr{
\b$NonptrType\b
(?:\s*\*+\s*const|\s*\*+)?
}x;
my $Declare = qr{(?:$Storage\s+)?$Type};
my $Attribute = qr{__read_mostly|__init|__initdata};
foreach my $line (@lines) { foreach my $line (@lines) {
$linenr++; $linenr++;
@ -321,6 +335,7 @@ sub process {
# blank context lines so we need to count that too. # blank context lines so we need to count that too.
if ($line =~ /^( |\+|$)/) { if ($line =~ /^( |\+|$)/) {
$realline++; $realline++;
$realcnt-- if ($realcnt != 0);
# track any sort of multi-line comment. Obviously if # track any sort of multi-line comment. Obviously if
# the added text or context do not include the whole # the added text or context do not include the whole
@ -345,8 +360,9 @@ sub process {
# Track the previous line. # Track the previous line.
($prevline, $stashline) = ($stashline, $line); ($prevline, $stashline) = ($stashline, $line);
($previndent, $stashindent) = ($stashindent, $indent); ($previndent, $stashindent) = ($stashindent, $indent);
} elsif ($realcnt == 1) {
$realcnt--;
} }
$realcnt-- if ($realcnt != 0);
#make up the handle for any error we report on this line #make up the handle for any error we report on this line
$here = "#$linenr: "; $here = "#$linenr: ";
@ -357,14 +373,11 @@ sub process {
my $hereprev = "$here\n$prevline\n$line\n\n"; my $hereprev = "$here\n$prevline\n$line\n\n";
#check the patch for a signoff: #check the patch for a signoff:
if ($line =~ /^\s*Signed-off-by:\s/) { if ($line =~ /^\s*signed-off-by:/i) {
$signoff++;
} elsif ($line =~ /^\s*signed-off-by:/i) {
# This is a signoff, if ugly, so do not double report. # This is a signoff, if ugly, so do not double report.
$signoff++; $signoff++;
if (!($line =~ /^\s*Signed-off-by:/)) { if (!($line =~ /^\s*Signed-off-by:/)) {
print "use Signed-off-by:\n"; print "Signed-off-by: is the preferred form\n";
print "$herecurr"; print "$herecurr";
$clean = 0; $clean = 0;
} }
@ -389,7 +402,7 @@ sub process {
next if ($realfile !~ /\.(h|c|s|S|pl|sh)$/); next if ($realfile !~ /\.(h|c|s|S|pl|sh)$/);
#trailing whitespace #trailing whitespace
if ($line=~/^\+.*\S\s+$/) { if ($line =~ /^\+.*\S\s+$/ || $line =~ /^\+\s+$/) {
my $herevet = "$here\n" . cat_vet($line) . "\n\n"; my $herevet = "$here\n" . cat_vet($line) . "\n\n";
print "trailing whitespace\n"; print "trailing whitespace\n";
print "$herevet"; print "$herevet";
@ -525,26 +538,25 @@ sub process {
} }
# * goes on variable not on type # * goes on variable not on type
if ($line =~ m{[A-Za-z\d_]+(\*+) [A-Za-z\d_]+}) { if ($line =~ m{\($NonptrType(\*+)(?:\s+const)?\)}) {
print "\"foo$1 bar\" should be \"foo $1bar\"\n";
print "$herecurr";
$clean = 0;
}
if ($line =~ m{$Type (\*) [A-Za-z\d_]+} ||
$line =~ m{[A-Za-z\d_]+ (\*\*+) [A-Za-z\d_]+}) {
print "\"foo $1 bar\" should be \"foo $1bar\"\n";
print "$herecurr";
$clean = 0;
}
if ($line =~ m{\([A-Za-z\d_\s]+[A-Za-z\d_](\*+)\)}) {
print "\"(foo$1)\" should be \"(foo $1)\"\n"; print "\"(foo$1)\" should be \"(foo $1)\"\n";
print "$herecurr"; print "$herecurr";
$clean = 0; $clean = 0;
}
if ($line =~ m{\([A-Za-z\d_\s]+[A-Za-z\d_]\s+(\*+)\s+\)}) { } elsif ($line =~ m{\($NonptrType\s+(\*+)(?!\s+const)\s+\)}) {
print "\"(foo $1 )\" should be \"(foo $1)\"\n"; print "\"(foo $1 )\" should be \"(foo $1)\"\n";
print "$herecurr"; print "$herecurr";
$clean = 0; $clean = 0;
} elsif ($line =~ m{$NonptrType(\*+)(?:\s+const)?\s+[A-Za-z\d_]+}) {
print "\"foo$1 bar\" should be \"foo $1bar\"\n";
print "$herecurr";
$clean = 0;
} elsif ($line =~ m{$NonptrType\s+(\*+)(?!\s+const)\s+[A-Za-z\d_]+}) {
print "\"foo $1 bar\" should be \"foo $1bar\"\n";
print "$herecurr";
$clean = 0;
} }
# # no BUG() or BUG_ON() # # no BUG() or BUG_ON()
@ -581,7 +593,7 @@ sub process {
# function brace can't be on same line, except for #defines of do while, # function brace can't be on same line, except for #defines of do while,
# or if closed on same line # or if closed on same line
if (($line=~/[A-Za-z\d_]+\**\s+\**[A-Za-z\d_]+\(.*\).* {/) and if (($line=~/$Type\s*[A-Za-z\d_]+\(.*\).* {/) and
!($line=~/\#define.*do\s{/) and !($line=~/}/)) { !($line=~/\#define.*do\s{/) and !($line=~/}/)) {
print "braces following function declarations go on the next line\n"; print "braces following function declarations go on the next line\n";
print "$herecurr"; print "$herecurr";
@ -624,7 +636,7 @@ sub process {
my $ca = substr($opline, $off - 1, 1); my $ca = substr($opline, $off - 1, 1);
my $cc = ''; my $cc = '';
if (length($opline) >= ($off + length($elements[$n + 1]))) { if (length($opline) >= ($off + length($elements[$n + 1]))) {
$cc = substr($opline, $off + length($elements[$n + 1]), 1); $cc = substr($opline, $off + length($elements[$n + 1]));
} }
my $ctx = "${a}x${c}"; my $ctx = "${a}x${c}";
@ -636,8 +648,16 @@ sub process {
##print "<$s1:$op:$s2> <$elements[$n]:$elements[$n + 1]:$elements[$n + 2]>\n"; ##print "<$s1:$op:$s2> <$elements[$n]:$elements[$n + 1]:$elements[$n + 2]>\n";
# We need ; as an operator. // is a comment. # ; should have either the end of line or a space or \ after it
if ($op eq ';' or $op eq '//') { if ($op eq ';') {
if ($ctx !~ /.x[WE]/ && $cc !~ /^\\/) {
print "need space after that '$op' $at\n";
print "$hereptr";
$clean = 0;
}
# // is a comment
} elsif ($op eq '//') {
# -> should have no spaces # -> should have no spaces
} elsif ($op eq '->') { } elsif ($op eq '->') {
@ -649,7 +669,7 @@ sub process {
# , must have a space on the right. # , must have a space on the right.
} elsif ($op eq ',') { } elsif ($op eq ',') {
if ($ctx !~ /.xW|.xE/ && $cc ne '}') { if ($ctx !~ /.xW|.xE/ && $cc !~ /^}/) {
print "need space after that '$op' $at\n"; print "need space after that '$op' $at\n";
print "$hereptr"; print "$hereptr";
$clean = 0; $clean = 0;
@ -670,12 +690,12 @@ sub process {
# unary ++ and unary -- are allowed no space on one side. # unary ++ and unary -- are allowed no space on one side.
} elsif ($op eq '++' or $op eq '--') { } elsif ($op eq '++' or $op eq '--') {
if ($ctx !~ /[WOB]x[^W]/ && $ctx !~ /[^W]x[WOB]/) { if ($ctx !~ /[WOB]x[^W]/ && $ctx !~ /[^W]x[WOBE]/) {
print "need space one side of that '$op' $at\n"; print "need space one side of that '$op' $at\n";
print "$hereptr"; print "$hereptr";
$clean = 0; $clean = 0;
} }
if ($ctx =~ /Wx./ && $cc eq ';') { if ($ctx =~ /Wx./ && $cc =~ /^;/) {
print "no space before that '$op' $at\n"; print "no space before that '$op' $at\n";
print "$hereptr"; print "$hereptr";
$clean = 0; $clean = 0;
@ -707,7 +727,7 @@ sub process {
# #
} elsif ($op eq '*') { } elsif ($op eq '*') {
if ($ca eq '*') { if ($ca eq '*') {
if ($cc =~ /\s/) { if ($cc =~ /^\s(?!\s*const)/) {
print "no space after that '$op' $at\n"; print "no space after that '$op' $at\n";
print "$hereptr"; print "$hereptr";
$clean = 0; $clean = 0;
@ -803,7 +823,7 @@ sub process {
# if/while/etc brace do not go on next line, unless defining a do while loop, # if/while/etc brace do not go on next line, unless defining a do while loop,
# or if that brace on the next line is for something else # or if that brace on the next line is for something else
if ($prevline=~/\b(if|while|for|switch)\s*\(/) { if ($prevline=~/\b(?:(if|while|for|switch)\s*\(|do\b|else\b)/) {
my @opened = $prevline=~/\(/g; my @opened = $prevline=~/\(/g;
my @closed = $prevline=~/\)/g; my @closed = $prevline=~/\)/g;
my $nr_line = $linenr; my $nr_line = $linenr;
@ -823,14 +843,22 @@ sub process {
@closed = $prevline=~/\)/g; @closed = $prevline=~/\)/g;
} }
if (($prevline=~/\b(if|while|for|switch)\s*\(.*\)\s*$/) and ($next_line=~/{/) and if (($prevline=~/\b(?:(if|while|for|switch)\s*\(.*\)|do|else)\s*$/) and ($next_line=~/{/) and
!($next_line=~/\b(if|while|for|switch)/) and !($next_line=~/\#define.*do.*while/)) { !($next_line=~/\b(?:if|while|for|switch|do|else)\b/) and !($next_line=~/\#define.*do.*while/)) {
print "That { should be on the previous line\n"; print "That { should be on the previous line\n";
print "$here\n$display_segment\n$next_line\n\n"; print "$here\n$display_segment\n$next_line\n\n";
$clean = 0; $clean = 0;
} }
} }
# if and else should not have general statements after it
if ($line =~ /^.\s*(?:}\s*)?else\b(.*)/ &&
$1 !~ /^\s*(?:\sif|{|$)/) {
print "trailing statements should be on next line\n";
print "$herecurr";
$clean = 0;
}
# multi-statement macros should be enclosed in a do while loop, grab the # multi-statement macros should be enclosed in a do while loop, grab the
# first statement and ensure its the whole macro if its not enclosed # first statement and ensure its the whole macro if its not enclosed
# in a known goot container # in a known goot container
@ -841,11 +869,22 @@ sub process {
# Grab the first statement, if that is the entire macro # Grab the first statement, if that is the entire macro
# its ok. This may start either on the #define line # its ok. This may start either on the #define line
# or the one below. # or the one below.
my $ctx1 = join('', ctx_statement($linenr - 1, $realcnt + 1)); my $ln = $linenr;
my $ctx2 = join('', ctx_statement($linenr, $realcnt)); my $cnt = $realcnt;
if ($ctx1 =~ /\\$/ && $ctx2 =~ /\\$/) { # If the macro starts on the define line start there.
print "Macros with multiple statements should be enclosed in a do - while loop\n"; if ($prevline !~ m{^.#\s*define\s*$Ident(?:\([^\)]*\))?\s*\\\s*$}) {
$ln--;
$cnt++;
}
my $ctx = join('', ctx_statement($ln, $cnt));
if ($ctx =~ /\\$/) {
if ($ctx =~ /;/) {
print "Macros with multiple statements should be enclosed in a do - while loop\n";
} else {
print "Macros with complex values should be enclosed in parenthesis\n";
}
print "$hereprev"; print "$hereprev";
$clean = 0; $clean = 0;
} }