2 # (c) 2001, Dave Jones. <davej@codemonkey.org.uk> (the file handling bit)
3 # (c) 2005, Joel Schopp <jschopp@austin.ibm.com> (the ugly bit)
4 # (c) 2007, Andy Whitcroft <apw@uk.ibm.com> (new conditions, test suite, etc)
5 # Licensed under the terms of the GNU GPL License version 2
14 use Getopt
::Long
qw(:config no_auto_abbrev);
24 'signoff!' => \
$chk_signoff,
25 'patch!' => \
$chk_patch,
26 'test-type!' => \
$tst_type,
32 print "usage: $P [options] patchfile\n";
33 print "version: $V\n";
34 print "options: -q => quiet\n";
35 print " --no-tree => run without a kernel tree\n";
39 if ($tree && !top_of_kernel_tree
()) {
40 print "Must be run from the top-level dir. of a kernel tree\n";
44 my @dep_includes = ();
45 my @dep_functions = ();
46 my $removal = 'Documentation/feature-removal-schedule.txt';
47 if ($tree && -f
$removal) {
48 open(REMOVE
, "<$removal") || die "$P: $removal: open failed - $!\n";
50 if (/^Check:\s+(.*\S)/) {
51 for my $entry (split(/[, ]+/, $1)) {
52 if ($entry =~ m
@include/(.*)@
) {
53 push(@dep_includes, $1);
55 } elsif ($entry !~ m@
/@
) {
56 push(@dep_functions, $entry);
68 if (!process
($ARGV, @rawlines)) {
77 sub top_of_kernel_tree
{
78 if ((-f
"COPYING") && (-f
"CREDITS") && (-f
"Kbuild") &&
79 (-f
"MAINTAINERS") && (-f
"Makefile") && (-f
"README") &&
80 (-d
"Documentation") && (-d
"arch") && (-d
"include") &&
81 (-d
"drivers") && (-d
"fs") && (-d
"init") && (-d
"ipc") &&
82 (-d
"kernel") && (-d
"lib") && (-d
"scripts")) {
93 for my $c (split(//, $str)) {
97 for (; ($n % 8) != 0; $n++) {
112 # Drop the diff line leader and expand tabs
114 $line = expand_tabs
($line);
116 # Pick the indent from the front of the line.
117 my ($white) = ($line =~ /^(\s*)/);
119 return (length($line), length($white));
130 foreach my $c (split(//, $line)) {
131 if ($l ne "\\" && ($c eq "'" || $c eq '"')) {
137 } elsif ($quote eq $c) {
141 if ($quote && $c ne "\t") {
154 my ($linenr, $remain, $outer, $open, $close, $off) = @_;
156 my $start = $linenr - 1;
163 for ($line = $start; $remain > 0; $line++) {
164 next if ($rawlines[$line] =~ /^-/);
167 $blk .= $rawlines[$line];
168 foreach my $c (split(//, $rawlines[$line])) {
169 ##print "C<$c>L<$level><$open$close>O<$off>\n";
175 if ($c eq $close && $level > 0) {
177 last if ($level == 0);
178 } elsif ($c eq $open) {
183 if (!$outer || $level <= 1) {
184 push(@res, $rawlines[$line]);
187 last if ($level == 0);
190 return ($level, @res);
192 sub ctx_block_outer
{
193 my ($linenr, $remain) = @_;
195 my ($level, @r) = ctx_block_get
($linenr, $remain, 1, '{', '}', 0);
199 my ($linenr, $remain) = @_;
201 my ($level, @r) = ctx_block_get
($linenr, $remain, 0, '{', '}', 0);
205 my ($linenr, $remain, $off) = @_;
207 my ($level, @r) = ctx_block_get
($linenr, $remain, 0, '(', ')', $off);
210 sub ctx_block_level
{
211 my ($linenr, $remain) = @_;
213 return ctx_block_get
($linenr, $remain, 0, '{', '}', 0);
216 sub ctx_locate_comment
{
217 my ($first_line, $end_line) = @_;
219 # Catch a comment on the end of the line itself.
220 my ($current_comment) = ($rawlines[$end_line - 1] =~ m@
.*(/\*.*\*/)\s
*$@
);
221 return $current_comment if (defined $current_comment);
223 # Look through the context and try and figure out if there is a
226 $current_comment = '';
227 for (my $linenr = $first_line; $linenr < $end_line; $linenr++) {
228 my $line = $rawlines[$linenr - 1];
230 if ($linenr == $first_line and $line =~ m@
^.\s
*\
*@
) {
233 if ($line =~ m@
/\
*@
) {
236 if (!$in_comment && $current_comment ne '') {
237 $current_comment = '';
239 $current_comment .= $line . "\n" if ($in_comment);
240 if ($line =~ m@\
*/@
) {
245 chomp($current_comment);
246 return($current_comment);
248 sub ctx_has_comment
{
249 my ($first_line, $end_line) = @_;
250 my $cmt = ctx_locate_comment
($first_line, $end_line);
252 ##print "LINE: $rawlines[$end_line - 1 ]\n";
253 ##print "CMMT: $cmt\n";
269 push(@report, $_[0]);
275 report
("ERROR: $_[0]\n");
279 report
("WARNING: $_[0]\n");
283 report
("CHECK: $_[0]\n");
288 my $filename = shift;
304 # Trace the real file/line as we go.
312 my $Ident = qr{[A-Za-z\d_]+};
313 my $Storage = qr{extern|static};
314 my $Sparse = qr{__user|__kernel|__force|__iomem};
343 (?
:\s
*\
*+\s
*const
|\s
*\
*+)?
345 my $Declare = qr{(?:$Storage\s+)?$Type};
346 my $Attribute = qr{const|__read_mostly|__init|__initdata|__meminit};
348 my $Member = qr{->$Ident|\.$Ident|\[[^]]*\]};
349 my $Lval = qr{$Ident(?:$Member)*};
351 # Pre-scan the patch looking for any __setup documentation.
354 foreach my $line (@lines) {
355 if ($line=~/^\+\+\+\s+(\S+)/) {
357 if ($1 =~ m
@Documentation/kernel
-parameters
.txt
$@
) {
363 if ($setup_docs && $line =~ /^\+/) {
364 push(@setup_docs, $line);
368 foreach my $line (@lines) {
373 #extract the filename as it passes
374 if ($line=~/^\+\+\+\s+(\S+)/) {
376 $realfile =~ s@
^[^/]*/@@
;
380 #extract the line range in the file after the patch is applied
381 if ($line=~/^\@\@ -\d+,\d+ \+(\d+)(,(\d+))? \@\@/) {
383 $first_line = $linenr + 1;
394 # track the line number as we move through the hunk, note that
395 # new versions of GNU diff omit the leading space on completely
396 # blank context lines so we need to count that too.
397 if ($line =~ /^( |\+|$)/) {
399 $realcnt-- if ($realcnt != 0);
401 # track any sort of multi-line comment. Obviously if
402 # the added text or context do not include the whole
403 # comment we will not see it. Such is life.
405 # Guestimate if this is a continuing comment. If this
406 # is the start of a diff block and this line starts
407 # ' *' then it is very likely a comment.
408 if ($linenr == $first_line and $line =~ m@
^.\s
*\
*@
) {
411 if ($line =~ m@
/\
*@
) {
414 if ($line =~ m@\
*/@
) {
418 # Measure the line length and indent.
419 ($length, $indent) = line_stats
($line);
421 # Track the previous line.
422 ($prevline, $stashline) = ($stashline, $line);
423 ($previndent, $stashindent) = ($stashindent, $indent);
424 } elsif ($realcnt == 1) {
428 #make up the handle for any error we report on this line
429 $here = "#$linenr: ";
430 $here .= "FILE: $realfile:$realline:" if ($realcnt != 0);
432 my $hereline = "$here\n$line\n";
433 my $herecurr = "$here\n$line\n";
434 my $hereprev = "$here\n$prevline\n$line\n";
436 #check the patch for a signoff:
437 if ($line =~ /^\s*signed-off-by:/i) {
438 # This is a signoff, if ugly, so do not double report.
440 if (!($line =~ /^\s*Signed-off-by:/)) {
441 WARN
("Signed-off-by: is the preferred form\n" .
444 if ($line =~ /^\s*signed-off-by:\S/i) {
445 WARN
("need space after Signed-off-by:\n" .
450 # Check for wrappage within a valid hunk of the file
451 if ($realcnt != 0 && $line !~ m{^(?:\+|-| |$)}) {
452 ERROR
("patch seems to be corrupt (line wrapped?)\n" .
456 # UTF-8 regex found at http://www.w3.org/International/questions/qa-forms-utf-8.en.php
457 if (($realfile =~ /^$/ || $line =~ /^\+/) &&
459 [\x09\x0A\x0D\x20-\x7E] # ASCII
460 | [\xC2-\xDF][\x80-\xBF] # non-overlong 2-byte
461 | \xE0[\xA0-\xBF][\x80-\xBF] # excluding overlongs
462 | [\xE1-\xEC\xEE\xEF][\x80-\xBF]{2} # straight 3-byte
463 | \xED[\x80-\x9F][\x80-\xBF] # excluding surrogates
464 | \xF0[\x90-\xBF][\x80-\xBF]{2} # planes 1-3
465 | [\xF1-\xF3][\x80-\xBF]{3} # planes 4-15
466 | \xF4[\x80-\x8F][\x80-\xBF]{2} # plane 16
468 ERROR
("Invalid UTF-8\n" . $herecurr);
471 #ignore lines being removed
472 if ($line=~/^-/) {next;}
474 # check we are in a valid source file if not then ignore this hunk
475 next if ($realfile !~ /\.(h|c|s|S|pl|sh)$/);
478 if ($line =~ /^\+.*\S\s+$/ || $line =~ /^\+\s+$/) {
479 my $herevet = "$here\n" . cat_vet
($line) . "\n";
480 ERROR
("trailing whitespace\n" . $herevet);
483 if ($line =~ /^\+/ && !($prevline=~/\/\
*\
*/) && $length > 80) {
484 WARN
("line over 80 characters\n" . $herecurr);
487 # check we are in a valid source file *.[hc] if not then ignore this hunk
488 next if ($realfile !~ /\.[hc]$/);
490 # at the beginning of a line any tabs must come first and anything
491 # more than 8 must use tabs.
492 if ($line=~/^\+\s* \t\s*\S/ or $line=~/^\+\s* \s*/) {
493 my $herevet = "$here\n" . cat_vet
($line) . "\n";
494 ERROR
("use tabs not spaces\n" . $herevet);
498 # The rest of our checks refer specifically to C style
499 # only apply those _outside_ comments.
501 next if ($in_comment);
503 # Remove comments from the line before processing.
504 $line =~ s@
/\*.*\*/@
@g;
508 # Standardise the strings and chars within the input to simplify matching.
509 $line = sanitise_line
($line);
512 # Checks which may be anchored in the context.
515 # Check for switch () and associated case and default
516 # statements should be at the same indent.
517 if ($line=~/\bswitch\s*\(.*\)/) {
520 my @ctx = ctx_block_outer
($linenr, $realcnt);
523 my ($clen, $cindent) = line_stats
($ctx);
524 if ($ctx =~ /^\+\s*(case\s+|default:)/ &&
525 $indent != $cindent) {
526 $err .= "$sep$ctx\n";
533 ERROR
("switch and case should be at the same indent\n$hereline\n$err\n");
537 # if/while/etc brace do not go on next line, unless defining a do while loop,
538 # or if that brace on the next line is for something else
539 if ($line =~ /\b(?:(if|while|for|switch)\s*\(|do\b|else\b)/ && $line !~ /^.#/) {
540 my @ctx = ctx_statement
($linenr, $realcnt, 0);
541 my $ctx_ln = $linenr + $#ctx + 1;
542 my $ctx_cnt = $realcnt - $#ctx - 1;
543 my $ctx = join("\n", @ctx);
545 while ($ctx_cnt > 0 && $lines[$ctx_ln - 1] =~ /^-/) {
549 ##warn "line<$line>\nctx<$ctx>\nnext<$lines[$ctx_ln - 1]>";
551 if ($ctx !~ /{\s*/ && $ctx_cnt > 0 && $lines[$ctx_ln - 1] =~ /^\+\s*{/) {
552 ERROR
("That open brace { should be on the previous line\n" .
553 "$here\n$ctx\n$lines[$ctx_ln - 1]");
557 #ignore lines not being added
558 if ($line=~/^[^\+]/) {next;}
560 # TEST: allow direct testing of the type matcher.
561 if ($tst_type && $line =~ /^.$Declare$/) {
562 ERROR
("TEST: is type $Declare\n" . $herecurr);
566 # check for initialisation to aggregates open brace on the next line
567 if ($prevline =~ /$Declare\s*$Ident\s*=\s*$/ &&
569 ERROR
("That open brace { should be on the previous line\n" . $hereprev);
573 # Checks which are anchored on the added line.
576 # check for malformed paths in #include statements (uses RAW line)
577 if ($rawline =~ m{^.#\s*include\s+[<"](.*)[">]}) {
579 if ($path =~ m{//}) {
580 ERROR
("malformed #include filename\n" .
583 # Sanitise this special form of string.
584 $path = 'X' x
length($path);
585 $line =~ s{\<.*\>}{<$path>};
589 if ($line =~ m{//}) {
590 ERROR
("do not use C99 // comments\n" . $herecurr);
592 # Remove C99 comments.
595 #EXPORT_SYMBOL should immediately follow its function closing }.
596 if (($line =~ /EXPORT_SYMBOL.*\((.*)\)/) ||
597 ($line =~ /EXPORT_UNUSED_SYMBOL.*\((.*)\)/)) {
599 if (($prevline !~ /^}/) &&
600 ($prevline !~ /^\+}/) &&
601 ($prevline !~ /^ }/) &&
602 ($prevline !~ /\s$name(?:\s+$Attribute)?\s*(?:;|=)/)) {
603 WARN
("EXPORT_SYMBOL(foo); should immediately follow its function/variable\n" . $herecurr);
607 # check for external initialisers.
608 if ($line =~ /^.$Type\s*$Ident\s*=\s*(0|NULL);/) {
609 ERROR
("do not initialise externals to 0 or NULL\n" .
612 # check for static initialisers.
613 if ($line =~ /\s*static\s.*=\s*(0|NULL);/) {
614 ERROR
("do not initialise statics to 0 or NULL\n" .
618 # check for new typedefs, only function parameters and sparse annotations
620 if ($line =~ /\btypedef\s/ &&
621 $line !~ /\btypedef\s+$Type\s+\(\s*\*$Ident\s*\)\s*\(/ &&
622 $line !~ /\b__bitwise(?:__|)\b/) {
623 WARN
("do not add new typedefs\n" . $herecurr);
626 # * goes on variable not on type
627 if ($line =~ m{\($NonptrType(\*+)(?:\s+const)?\)}) {
628 ERROR
("\"(foo$1)\" should be \"(foo $1)\"\n" .
631 } elsif ($line =~ m{\($NonptrType\s+(\*+)(?!\s+const)\s+\)}) {
632 ERROR
("\"(foo $1 )\" should be \"(foo $1)\"\n" .
635 } elsif ($line =~ m{$NonptrType(\*+)(?:\s+$Attribute)?\s+[A-Za-z\d_]+}) {
636 ERROR
("\"foo$1 bar\" should be \"foo $1bar\"\n" .
639 } elsif ($line =~ m{$NonptrType\s+(\*+)(?!\s+$Attribute)\s+[A-Za-z\d_]+}) {
640 ERROR
("\"foo $1 bar\" should be \"foo $1bar\"\n" .
644 # # no BUG() or BUG_ON()
645 # if ($line =~ /\b(BUG|BUG_ON)\b/) {
646 # print "Try to use WARN_ON & Recovery code rather than BUG() or BUG_ON()\n";
651 # printk should use KERN_* levels. Note that follow on printk's on the
652 # same line do not need a level, so we use the current block context
653 # to try and find and validate the current printk. In summary the current
654 # printk includes all preceeding printk's which have no newline on the end.
655 # we assume the first bad printk is the one to report.
656 if ($line =~ /\bprintk\((?!KERN_)\s*"/) {
658 for (my $ln = $linenr - 1; $ln >= $first_line; $ln--) {
659 #print "CHECK<$lines[$ln - 1]\n";
660 # we have a preceeding printk if it ends
661 # with "\n" ignore it, else it is to blame
662 if ($lines[$ln - 1] =~ m{\bprintk\(}) {
663 if ($rawlines[$ln - 1] !~ m{\\n"}) {
670 WARN
("printk() should include KERN_ facility level\n" . $herecurr);
674 # function brace can't be on same line, except for #defines of do while,
675 # or if closed on same line
676 if (($line=~/$Type\s*[A-Za-z\d_]+\(.*\).* {/) and
677 !($line=~/\#define.*do\s{/) and !($line=~/}/)) {
678 ERROR
("open brace '{' following function declarations go on the next line\n" . $herecurr);
681 # check for spaces between functions and their parentheses.
682 if ($line =~ /($Ident)\s+\(/ &&
683 $1 !~ /^(?:if|for|while|switch|return|volatile)$/ &&
684 $line !~ /$Type\s+\(/ && $line !~ /^.\#\s*define\b/) {
685 ERROR
("no space between function name and open parenthesis '('\n" . $herecurr);
687 # Check operator spacing.
688 # Note we expand the line with the leading + as the real
689 # line will be displayed with the leading + and the tabs
690 # will therefore also expand that way.
692 $opline = expand_tabs
($opline);
694 if (!($line=~/\#\s*include/)) {
695 my @elements = split(/(<<=|>>=|<=|>=|==|!=|\+=|-=|\*=|\/=|%=|\
^=|\
|=|&=|=>|->|<<|>>|<|>|=|!|~|&&|\
|\
||,|\
^|\
+\
+|--|;|&|\
||\
+|-|\
*|\
/\/|\
/)/, $opline);
697 for (my $n = 0; $n < $#elements; $n += 2) {
698 $off += length($elements[$n]);
701 $a = 'V' if ($elements[$n] ne '');
702 $a = 'W' if ($elements[$n] =~ /\s$/);
703 $a = 'B' if ($elements[$n] =~ /(\[|\()$/);
704 $a = 'O' if ($elements[$n] eq '');
705 $a = 'E' if ($elements[$n] eq '' && $n == 0);
707 my $op = $elements[$n + 1];
710 if (defined $elements[$n + 2]) {
711 $c = 'V' if ($elements[$n + 2] ne '');
712 $c = 'W' if ($elements[$n + 2] =~ /^\s/);
713 $c = 'B' if ($elements[$n + 2] =~ /^(\)|\]|;)/);
714 $c = 'O' if ($elements[$n + 2] eq '');
719 # Pick up the preceeding and succeeding characters.
720 my $ca = substr($opline, 0, $off);
722 if (length($opline) >= ($off + length($elements[$n + 1]))) {
723 $cc = substr($opline, $off + length($elements[$n + 1]));
727 my $ctx = "${a}x${c}";
729 my $at = "(ctx:$ctx)";
731 my $ptr = (" " x
$off) . "^";
732 my $hereptr = "$hereline$ptr\n";
734 ##print "<$s1:$op:$s2> <$elements[$n]:$elements[$n + 1]:$elements[$n + 2]>\n";
736 # ; should have either the end of line or a space or \ after it
738 if ($ctx !~ /.x[WEB]/ && $cc !~ /^\\/ &&
740 ERROR
("need space after that '$op' $at\n" . $hereptr);
744 } elsif ($op eq '//') {
746 # -> should have no spaces
747 } elsif ($op eq '->') {
748 if ($ctx =~ /Wx.|.xW/) {
749 ERROR
("no spaces around that '$op' $at\n" . $hereptr);
752 # , must have a space on the right.
753 } elsif ($op eq ',') {
754 if ($ctx !~ /.xW|.xE/ && $cc !~ /^}/) {
755 ERROR
("need space after that '$op' $at\n" . $hereptr);
758 # unary ! and unary ~ are allowed no space on the right
759 } elsif ($op eq '!' or $op eq '~') {
760 if ($ctx !~ /[WOEB]x./) {
761 ERROR
("need space before that '$op' $at\n" . $hereptr);
764 ERROR
("no space after that '$op' $at\n" . $hereptr);
767 # unary ++ and unary -- are allowed no space on one side.
768 } elsif ($op eq '++' or $op eq '--') {
769 if ($ctx !~ /[WOB]x[^W]/ && $ctx !~ /[^W]x[WOBE]/) {
770 ERROR
("need space one side of that '$op' $at\n" . $hereptr);
772 if ($ctx =~ /Wx./ && $cc =~ /^;/) {
773 ERROR
("no space before that '$op' $at\n" . $hereptr);
776 # & is both unary and binary
779 # binary (consistent spacing):
783 # boiling down to: if there is a space on the right then there
784 # should be one on the left.
788 } elsif ($op eq '&' or $op eq '-') {
789 if ($ctx !~ /VxV|[EW]x[WE]|[EWB]x[VO]/) {
790 ERROR
("need space before that '$op' $at\n" . $hereptr);
793 # * is the same as & only adding:
798 } elsif ($op eq '*') {
799 if ($ca !~ /$Type$/ && $cb !~ /(\*$;|$;\*)/ &&
800 $ctx !~ /VxV|[EW]x[WE]|[EWB]x[VO]|OxV|WxB|BxB/) {
801 ERROR
("need space before that '$op' $at\n" . $hereptr);
804 # << and >> may either have or not have spaces both sides
805 } elsif ($op eq '<<' or $op eq '>>' or $op eq '+' or $op eq '/' or
806 $op eq '^' or $op eq '|')
808 if ($ctx !~ /VxV|WxW|VxE|WxE/) {
809 ERROR
("need consistent spacing around '$op' $at\n" .
813 # All the others need spaces both sides.
814 } elsif ($ctx !~ /[EW]x[WE]/) {
815 ERROR
("need spaces around that '$op' $at\n" . $hereptr);
817 $off += length($elements[$n + 1]);
821 # check for multiple assignments
822 if ($line =~ /^.\s*$Lval\s*=\s*$Lval\s*=(?!=)/) {
823 WARN
("multiple assignments should be avoided\n" . $herecurr);
826 # check for multiple declarations, allowing for a function declaration
828 if ($line =~ /^.\s*$Type\s+$Ident(?:\s*=[^,{]*)?\s*,\s*$Ident.*/ &&
829 $line !~ /^.\s*$Type\s+$Ident(?:\s*=[^,{]*)?\s*,\s*$Type\s*$Ident.*/) {
830 WARN
("declaring multiple variables together should be avoided\n" . $herecurr);
833 #need space before brace following if, while, etc
834 if ($line =~ /\(.*\){/ || $line =~ /do{/) {
835 ERROR
("need a space before the open brace '{'\n" . $herecurr);
838 # closing brace should have a space following it when it has anything
840 if ($line =~ /}(?!(?:,|;|\)))\S/) {
841 ERROR
("need a space after that close brace '}'\n" . $herecurr);
844 #goto labels aren't indented, allow a single space however
845 if ($line=~/^.\s+[A-Za-z\d_]+:(?![0-9]+)/ and
846 !($line=~/^. [A-Za-z\d_]+:/) and !($line=~/^.\s+default:/)) {
847 WARN
("labels should not be indented\n" . $herecurr);
850 # Need a space before open parenthesis after if, while etc
851 if ($line=~/\b(if|while|for|switch)\(/) {
852 ERROR
("need a space before the open parenthesis '('\n" . $herecurr);
855 # Check for illegal assignment in if conditional.
856 if ($line=~/\bif\s*\(.*[^<>!=]=[^=].*\)/) {
857 #next if ($line=~/\".*\Q$op\E.*\"/ or $line=~/\'\Q$op\E\'/);
858 ERROR
("do not use assignment in if condition\n" . $herecurr);
861 # Check for }<nl>else {, these must be at the same
862 # indent level to be relevant to each other.
863 if ($prevline=~/}\s*$/ and $line=~/^.\s*else\s*/ and
864 $previndent == $indent) {
865 ERROR
("else should follow close brace '}'\n" . $hereprev);
868 #studly caps, commented out until figure out how to distinguish between use of existing and adding new
869 # if (($line=~/[\w_][a-z\d]+[A-Z]/) and !($line=~/print/)) {
870 # print "No studly caps, use _\n";
875 #no spaces allowed after \ in define
876 if ($line=~/\#define.*\\\s$/) {
877 WARN
("Whitepspace after \\ makes next lines useless\n" . $herecurr);
880 #warn if <asm/foo.h> is #included and <linux/foo.h> is available (uses RAW line)
881 if ($tree && $rawline =~ m{^.\#\s*include\s*\<asm\/(.*)\.h\>}) {
882 my $checkfile = "include/linux/$1.h";
884 CHK
("Use #include <linux/$1.h> instead of <asm/$1.h>\n" .
889 # if and else should not have general statements after it
890 if ($line =~ /^.\s*(?:}\s*)?else\b(.*)/ &&
891 $1 !~ /^\s*(?:\sif|{|\\|$)/) {
892 ERROR
("trailing statements should be on next line\n" . $herecurr);
895 # multi-statement macros should be enclosed in a do while loop, grab the
896 # first statement and ensure its the whole macro if its not enclosed
897 # in a known goot container
898 if (($prevline=~/\#define.*\\/) and
899 !($prevline=~/do\s+{/) and !($prevline=~/\(\{/) and
900 !($line=~/do.*{/) and !($line=~/\(\{/) and
901 !($line=~/^.\s*$Declare\s/)) {
902 # Grab the first statement, if that is the entire macro
903 # its ok. This may start either on the #define line
909 # If the macro starts on the define line start
910 # grabbing the statement after the identifier
911 $prevline =~ m{^(.#\s*define\s*$Ident(?:\([^\)]*\))?\s*)(.*)\\\s*$};
912 ##print "1<$1> 2<$2>\n";
918 my @ctx = ctx_statement
($ln, $cnt, $off);
919 my $ctx_ln = $ln + $#ctx + 1;
920 my $ctx = join("\n", @ctx);
922 # Pull in any empty extension lines.
923 while ($ctx =~ /\\$/ &&
924 $lines[$ctx_ln - 1] =~ /^.\s*(?:\\)?$/) {
925 $ctx .= $lines[$ctx_ln - 1];
931 ERROR
("Macros with multiple statements should be enclosed in a do - while loop\n" . "$here\n$ctx\n");
933 ERROR
("Macros with complex values should be enclosed in parenthesis\n" . "$here\n$ctx\n");
938 # check for redundant bracing round if etc
939 if ($line =~ /\b(if|while|for|else)\b/) {
940 # Locate the end of the opening statement.
941 my @control = ctx_statement
($linenr, $realcnt, 0);
942 my $nr = $linenr + (scalar(@control) - 1);
943 my $cnt = $realcnt - (scalar(@control) - 1);
945 my $off = $realcnt - $cnt;
946 #print "$off: line<$line>end<" . $lines[$nr - 1] . ">\n";
948 # If this is is a braced statement group check it
949 if ($lines[$nr - 1] =~ /{\s*$/) {
950 my ($lvl, @block) = ctx_block_level
($nr, $cnt);
952 my $stmt = join(' ', @block);
953 $stmt =~ s/^[^{]*{//;
954 $stmt =~ s/}[^}]*$//;
956 #print "block<" . join(' ', @block) . "><" . scalar(@block) . ">\n";
957 #print "stmt<$stmt>\n\n";
959 # Count the ;'s if there is fewer than two
960 # then there can only be one statement,
961 # if there is a brace inside we cannot
962 # trivially detect if its one statement.
963 # Also nested if's often require braces to
964 # disambiguate the else binding so shhh there.
965 my @semi = ($stmt =~ /;/g);
966 ##print "semi<" . scalar(@semi) . ">\n";
967 if ($lvl == 0 && scalar(@semi) < 2 &&
968 $stmt !~ /{/ && $stmt !~ /\bif\b/) {
969 my $herectx = "$here\n" . join("\n", @control, @block[1 .. $#block]) . "\n";
971 ERROR
("braces {} are not necessary for single statement blocks\n" . $herectx);
976 # don't include deprecated include files (uses RAW line)
977 for my $inc (@dep_includes) {
978 if ($rawline =~ m@\#\s
*include\s
*\
<$inc>@
) {
979 ERROR
("Don't use <$inc>: see Documentation/feature-removal-schedule.txt\n" . $herecurr);
983 # don't use deprecated functions
984 for my $func (@dep_functions) {
985 if ($line =~ /\b$func\b/) {
986 ERROR
("Don't use $func(): see Documentation/feature-removal-schedule.txt\n" . $herecurr);
990 # no volatiles please
991 if ($line =~ /\bvolatile\b/ && $line !~ /\basm\s+volatile\b/) {
992 WARN
("Use of volatile is usually wrong: see Documentation/volatile-considered-harmful.txt\n" . $herecurr);
996 if ($line =~ /^.#\s*if\s+0\b/) {
997 CHK
("if this code is redundant consider removing it\n" .
1001 # check for needless kfree() checks
1002 if ($prevline =~ /\bif\s*\(([^\)]*)\)/) {
1004 if ($line =~ /\bkfree\(\Q$expr\E\);/) {
1005 WARN
("kfree(NULL) is safe this check is probabally not required\n" . $hereprev);
1009 # warn about #ifdefs in C files
1010 # if ($line =~ /^.#\s*if(|n)def/ && ($realfile =~ /\.c$/)) {
1011 # print "#ifdef in C files should be avoided\n";
1012 # print "$herecurr";
1016 # check for spinlock_t definitions without a comment.
1017 if ($line =~ /^.\s*(struct\s+mutex|spinlock_t)\s+\S+;/) {
1019 if (!ctx_has_comment
($first_line, $linenr)) {
1020 CHK
("$1 definition without comment\n" . $herecurr);
1023 # check for memory barriers without a comment.
1024 if ($line =~ /\b(mb|rmb|wmb|read_barrier_depends|smp_mb|smp_rmb|smp_wmb|smp_read_barrier_depends)\(/) {
1025 if (!ctx_has_comment
($first_line, $linenr)) {
1026 CHK
("memory barrier without comment\n" . $herecurr);
1029 # check of hardware specific defines
1030 if ($line =~ m@
^.#\s*if.*\b(__i386__|__powerpc64__|__sun__|__s390x__)\b@) {
1031 CHK
("architecture specific defines should be avoided\n" . $herecurr);
1034 # check the location of the inline attribute, that it is between
1035 # storage class and type.
1036 if ($line =~ /$Type\s+(?:inline|__always_inline)\b/ ||
1037 $line =~ /\b(?:inline|always_inline)\s+$Storage/) {
1038 ERROR
("inline keyword should sit between storage class and type\n" . $herecurr);
1041 # check for new externs in .c files.
1042 if ($line =~ /^.\s*extern\s/ && ($realfile =~ /\.c$/)) {
1043 WARN
("externs should be avoided in .c files\n" . $herecurr);
1046 # checks for new __setup's
1047 if ($rawline =~ /\b__setup\("([^"]*)"/) {
1050 if (!grep(/$name/, @setup_docs)) {
1051 CHK
("__setup appears un-documented -- check Documentation/kernel-parameters.txt\n" . $herecurr);
1056 if ($chk_patch && !$is_patch) {
1057 ERROR
("Does not appear to be a unified-diff format patch\n");
1059 if ($is_patch && $chk_signoff && $signoff == 0) {
1060 ERROR
("Missing Signed-off-by: line(s)\n");
1063 if ($clean == 0 && ($chk_patch || $is_patch)) {
1064 print report_dump
();
1066 if ($clean == 1 && $quiet == 0) {
1067 print "Your patch has no obvious style problems and is ready for submission.\n"
1069 if ($clean == 0 && $quiet == 0) {
1070 print "Your patch has style problems, please review. If any of these errors\n";
1071 print "are false positives report them to the maintainer, see\n";
1072 print "CHECKPATCH in MAINTAINERS.\n";