Skip to content
Snippets Groups Projects
checkpatch.pl 187 KiB
Newer Older
  • Learn to ignore specific revisions
  • 			my $pos = pos_last_openparen($rest);
    			if ($pos >= 0) {
    				$line =~ /^(\+| )([ \t]*)/;
    				my $newindent = $2;
    
    				my $goodtabindent = $oldindent .
    					"\t" x ($pos / 8) .
    					" "  x ($pos % 8);
    				my $goodspaceindent = $oldindent . " "  x $pos;
    
    				if ($newindent ne $goodtabindent &&
    				    $newindent ne $goodspaceindent) {
    
    
    					if (CHK("PARENTHESIS_ALIGNMENT",
    						"Alignment should match open parenthesis\n" . $hereprev) &&
    					    $fix && $line =~ /^\+/) {
    
    						$fixed[$fixlinenr] =~
    
    						    s/^\+[ \t]*/\+$goodtabindent/;
    					}
    
    # check for space after cast like "(int) foo" or "(struct foo) bar"
    # avoid checking a few false positives:
    #   "sizeof(<type>)" or "__alignof__(<type>)"
    #   function pointer declarations like "(*foo)(int) = bar;"
    #   structure definitions like "(struct foo) { 0 };"
    #   multiline macros that define functions
    #   known attributes or the __attribute__ keyword
    		if ($line =~ /^\+(.*)\(\s*$Type\s*\)([ \t]++)((?![={]|\\$|$Attribute|__attribute__))/ &&
    		    (!defined($1) || $1 !~ /\b(?:sizeof|__alignof__)\s*$/)) {
    
    				"No space is necessary after a cast\n" . $herecurr) &&
    
    				$fixed[$fixlinenr] =~
    				    s/(\(\s*$Type\s*\))[ \t]+/$1/;
    
    # Block comment styles
    # Networking with an initial /*
    
    		if ($realfile =~ m@^(drivers/net/|net/)@ &&
    
    		    $prevrawline =~ /^\+[ \t]*\/\*[ \t]*$/ &&
    
    		    $rawline =~ /^\+[ \t]*\*/ &&
    		    $realline > 2) {
    
    			WARN("NETWORKING_BLOCK_COMMENT_STYLE",
    			     "networking block comments don't use an empty /* line, use /* Comment...\n" . $hereprev);
    		}
    
    
    # Block comments use * on subsequent lines
    		if ($prevline =~ /$;[ \t]*$/ &&			#ends in comment
    		    $prevrawline =~ /^\+.*?\/\*/ &&		#starting /*
    
    		    $prevrawline !~ /\*\/[ \t]*$/ &&		#no trailing */
    		    $rawline =~ /^\+/ &&			#line is new
    		    $rawline !~ /^\+[ \t]*\*/) {		#no leading *
    
    			WARN("BLOCK_COMMENT_STYLE",
    			     "Block comments use * on subsequent lines\n" . $hereprev);
    
    # Block comments use */ on trailing lines
    		if ($rawline !~ m@^\+[ \t]*\*/[ \t]*$@ &&	#trailing */
    
    		    $rawline !~ m@^\+.*/\*.*\*/[ \t]*$@ &&	#inline /*...*/
    		    $rawline !~ m@^\+.*\*{2,}/[ \t]*$@ &&	#trailing **/
    		    $rawline =~ m@^\+[ \t]*.+\*\/[ \t]*$@) {	#non blank */
    
    			WARN("BLOCK_COMMENT_STYLE",
    			     "Block comments use a trailing */ on a separate line\n" . $herecurr);
    		}
    
    # Block comment * alignment
    		if ($prevline =~ /$;[ \t]*$/ &&			#ends in comment
    		    $line =~ /^\+[ \t]*$;/ &&			#leading comment
    		    $rawline =~ /^\+[ \t]*\*/ &&		#leading *
    		    (($prevrawline =~ /^\+.*?\/\*/ &&		#leading /*
    		      $prevrawline !~ /\*\/[ \t]*$/) ||		#no trailing */
    		     $prevrawline =~ /^\+[ \t]*\*/)) {		#leading *
    			my $oldindent;
    			$prevrawline =~ m@^\+([ \t]*/?)\*@;
    			if (defined($1)) {
    				$oldindent = expand_tabs($1);
    			} else {
    				$prevrawline =~ m@^\+(.*/?)\*@;
    				$oldindent = expand_tabs($1);
    			}
    			$rawline =~ m@^\+([ \t]*)\*@;
    			my $newindent = $1;
    			$newindent = expand_tabs($newindent);
    			if (length($oldindent) ne length($newindent)) {
    				WARN("BLOCK_COMMENT_STYLE",
    				     "Block comments should align the * on each line\n" . $hereprev);
    			}
    		}
    
    # check for missing blank lines after struct/union declarations
    # with exceptions for various attributes and macros
    		if ($prevline =~ /^[\+ ]};?\s*$/ &&
    		    $line =~ /^\+/ &&
    		    !($line =~ /^\+\s*$/ ||
    		      $line =~ /^\+\s*EXPORT_SYMBOL/ ||
    		      $line =~ /^\+\s*MODULE_/i ||
    		      $line =~ /^\+\s*\#\s*(?:end|elif|else)/ ||
    		      $line =~ /^\+[a-z_]*init/ ||
    		      $line =~ /^\+\s*(?:static\s+)?[A-Z_]*ATTR/ ||
    		      $line =~ /^\+\s*DECLARE/ ||
    		      $line =~ /^\+\s*__setup/)) {
    			if (CHK("LINE_SPACING",
    				"Please use a blank line after function/struct/union/enum declarations\n" . $hereprev) &&
    			    $fix) {
    				fix_insert_line($fixlinenr, "\+");
    			}
    		}
    
    # check for multiple consecutive blank lines
    		if ($prevline =~ /^[\+ ]\s*$/ &&
    		    $line =~ /^\+\s*$/ &&
    		    $last_blank_line != ($linenr - 1)) {
    			if (CHK("LINE_SPACING",
    				"Please don't use multiple blank lines\n" . $hereprev) &&
    			    $fix) {
    				fix_delete_line($fixlinenr, $rawline);
    			}
    
    			$last_blank_line = $linenr;
    		}
    
    # check for missing blank lines after declarations
    		if ($sline =~ /^\+\s+\S/ &&			#Not at char 1
    			# actual declarations
    		    ($prevline =~ /^\+\s+$Declare\s*$Ident\s*[=,;:\[]/ ||
    			# function pointer declarations
    		     $prevline =~ /^\+\s+$Declare\s*\(\s*\*\s*$Ident\s*\)\s*[=,;:\[\(]/ ||
    			# foo bar; where foo is some local typedef or #define
    		     $prevline =~ /^\+\s+$Ident(?:\s+|\s*\*\s*)$Ident\s*[=,;\[]/ ||
    			# known declaration macros
    		     $prevline =~ /^\+\s+$declaration_macros/) &&
    			# for "else if" which can look like "$Ident $Ident"
    		    !($prevline =~ /^\+\s+$c90_Keywords\b/ ||
    			# other possible extensions of declaration lines
    		      $prevline =~ /(?:$Compare|$Assignment|$Operators)\s*$/ ||
    			# not starting a section or a macro "\" extended line
    		      $prevline =~ /(?:\{\s*|\\)$/) &&
    			# looks like a declaration
    		    !($sline =~ /^\+\s+$Declare\s*$Ident\s*[=,;:\[]/ ||
    			# function pointer declarations
    		      $sline =~ /^\+\s+$Declare\s*\(\s*\*\s*$Ident\s*\)\s*[=,;:\[\(]/ ||
    			# foo bar; where foo is some local typedef or #define
    		      $sline =~ /^\+\s+$Ident(?:\s+|\s*\*\s*)$Ident\s*[=,;\[]/ ||
    			# known declaration macros
    		      $sline =~ /^\+\s+$declaration_macros/ ||
    			# start of struct or union or enum
    		      $sline =~ /^\+\s+(?:union|struct|enum|typedef)\b/ ||
    			# start or end of block or continuation of declaration
    		      $sline =~ /^\+\s+(?:$|[\{\}\.\#\"\?\:\(\[])/ ||
    			# bitfield continuation
    		      $sline =~ /^\+\s+$Ident\s*:\s*\d+\s*[,;]/ ||
    			# other possible extensions of declaration lines
    		      $sline =~ /^\+\s+\(?\s*(?:$Compare|$Assignment|$Operators)/) &&
    			# indentation of previous and current line are the same
    		    (($prevline =~ /\+(\s+)\S/) && $sline =~ /^\+$1\S/)) {
    			if (WARN("LINE_SPACING",
    				 "Missing a blank line after declarations\n" . $hereprev) &&
    			    $fix) {
    				fix_insert_line($fixlinenr, "\+");
    			}
    
    # check for spaces at the beginning of a line.
    # Exceptions:
    #  1) within comments
    #  2) indented preprocessor commands
    #  3) hanging labels
    
    		if ($rawline =~ /^\+ / && $line !~ /^\+ *(?:$;|#|$Ident:)/)  {
    
    			my $herevet = "$here\n" . cat_vet($rawline) . "\n";
    
    			if (WARN("LEADING_SPACE",
    				 "please, no spaces at the start of a line\n" . $herevet) &&
    			    $fix) {
    
    				$fixed[$fixlinenr] =~ s/^\+([ \t]+)/"\+" . tabify($1)/e;
    
    		}
    
    # check we are in a valid C source file if not then ignore this hunk
    		next if ($realfile !~ /\.(h|c)$/);
    
    
    # check if this appears to be the start function declaration, save the name
    		if ($sline =~ /^\+\{\s*$/ &&
    		    $prevline =~ /^\+(?:(?:(?:$Storage|$Inline)\s*)*\s*$Type\s*)?($Ident)\(/) {
    			$context_function = $1;
    		}
    
    # check if this appears to be the end of function declaration
    		if ($sline =~ /^\+\}\s*$/) {
    			undef $context_function;
    		}
    
    # check indentation of any line with a bare else
    # (but not if it is a multiple line "if (foo) return bar; else return baz;")
    # if the previous line is a break or return and is indented 1 tab more...
    		if ($sline =~ /^\+([\t]+)(?:}[ \t]*)?else(?:[ \t]*{)?\s*$/) {
    			my $tabs = length($1) + 1;
    			if ($prevline =~ /^\+\t{$tabs,$tabs}break\b/ ||
    			    ($prevline =~ /^\+\t{$tabs,$tabs}return\b/ &&
    			     defined $lines[$linenr] &&
    			     $lines[$linenr] !~ /^[ \+]\t{$tabs,$tabs}return/)) {
    				WARN("UNNECESSARY_ELSE",
    				     "else is not generally useful after a break or return\n" . $hereprev);
    			}
    		}
    
    # check indentation of a line with a break;
    # if the previous line is a goto or return and is indented the same # of tabs
    		if ($sline =~ /^\+([\t]+)break\s*;\s*$/) {
    			my $tabs = $1;
    			if ($prevline =~ /^\+$tabs(?:goto|return)\b/) {
    				WARN("UNNECESSARY_BREAK",
    				     "break is not useful after a goto or return\n" . $hereprev);
    			}
    
    # check for RCS/CVS revision markers
    		if ($rawline =~ /^\+.*\$(Revision|Log|Id)(?:\$|)/) {
    			WARN("CVS_KEYWORD",
    			     "CVS style keyword markers, these will _not_ be updated\n". $herecurr);
    		}
    
    # Blackfin: don't use __builtin_bfin_[cs]sync
    		if ($line =~ /__builtin_bfin_csync/) {
    			my $herevet = "$here\n" . cat_vet($line) . "\n";
    			ERROR("CSYNC",
    			      "use the CSYNC() macro in asm/blackfin.h\n" . $herevet);
    		}
    		if ($line =~ /__builtin_bfin_ssync/) {
    			my $herevet = "$here\n" . cat_vet($line) . "\n";
    			ERROR("SSYNC",
    			      "use the SSYNC() macro in asm/blackfin.h\n" . $herevet);
    		}
    
    
    # check for old HOTPLUG __dev<foo> section markings
    		if ($line =~ /\b(__dev(init|exit)(data|const|))\b/) {
    			WARN("HOTPLUG_SECTION",
    			     "Using $1 is unnecessary\n" . $herecurr);
    		}
    
    
    # Check for potential 'bare' types
    		my ($stat, $cond, $line_nr_next, $remain_next, $off_next,
    		    $realline_next);
    
    #print "LINE<$line>\n";
    
    		if ($linenr > $suppress_statement &&
    
    		    $realcnt && $sline =~ /.\s*\S/) {
    
    			($stat, $cond, $line_nr_next, $remain_next, $off_next) =
    				ctx_statement_block($linenr, $realcnt, 0);
    			$stat =~ s/\n./\n /g;
    			$cond =~ s/\n./\n /g;
    
    
    #print "linenr<$linenr> <$stat>\n";
    			# If this statement has no statement boundaries within
    			# it there is no point in retrying a statement scan
    			# until we hit end of it.
    			my $frag = $stat; $frag =~ s/;+\s*$//;
    			if ($frag !~ /(?:{|;)/) {
    #print "skip<$line_nr_next>\n";
    				$suppress_statement = $line_nr_next;
    			}
    
    
    			# Find the real next line.
    			$realline_next = $line_nr_next;
    			if (defined $realline_next &&
    			    (!defined $lines[$realline_next - 1] ||
    			     substr($lines[$realline_next - 1], $off_next) =~ /^\s*$/)) {
    				$realline_next++;
    			}
    
    			my $s = $stat;
    			$s =~ s/{.*$//s;
    
    			# Ignore goto labels.
    			if ($s =~ /$Ident:\*$/s) {
    
    			# Ignore functions being called
    			} elsif ($s =~ /^.\s*$Ident\s*\(/s) {
    
    			} elsif ($s =~ /^.\s*else\b/s) {
    
    			# declarations always start with types
    			} elsif ($prev_values eq 'E' && $s =~ /^.\s*(?:$Storage\s+)?(?:$Inline\s+)?(?:const\s+)?((?:\s*$Ident)+?)\b(?:\s+$Sparse)?\s*\**\s*(?:$Ident|\(\*[^\)]*\))(?:\s*$Modifier)?\s*(?:;|=|,|\()/s) {
    				my $type = $1;
    				$type =~ s/\s+/ /g;
    				possible($type, "A:" . $s);
    
    			# definitions in global scope can only start with types
    			} elsif ($s =~ /^.(?:$Storage\s+)?(?:$Inline\s+)?(?:const\s+)?($Ident)\b\s*(?!:)/s) {
    				possible($1, "B:" . $s);
    			}
    
    			# any (foo ... *) is a pointer cast, and foo is a type
    			while ($s =~ /\(($Ident)(?:\s+$Sparse)*[\s\*]+\s*\)/sg) {
    				possible($1, "C:" . $s);
    			}
    
    			# Check for any sort of function declaration.
    			# int foo(something bar, other baz);
    			# void (*store_gdt)(x86_descr_ptr *);
    			if ($prev_values eq 'E' && $s =~ /^(.(?:typedef\s*)?(?:(?:$Storage|$Inline)\s*)*\s*$Type\s*(?:\b$Ident|\(\*\s*$Ident\))\s*)\(/s) {
    				my ($name_len) = length($1);
    
    				my $ctx = $s;
    				substr($ctx, 0, $name_len + 1, '');
    				$ctx =~ s/\)[^\)]*$//;
    
    				for my $arg (split(/\s*,\s*/, $ctx)) {
    					if ($arg =~ /^(?:const\s+)?($Ident)(?:\s+$Sparse)*\s*\**\s*(:?\b$Ident)?$/s || $arg =~ /^($Ident)$/s) {
    
    						possible($1, "D:" . $s);
    					}
    				}
    			}
    
    		}
    
    #
    # Checks which may be anchored in the context.
    #
    
    # Check for switch () and associated case and default
    # statements should be at the same indent.
    		if ($line=~/\bswitch\s*\(.*\)/) {
    			my $err = '';
    			my $sep = '';
    			my @ctx = ctx_block_outer($linenr, $realcnt);
    			shift(@ctx);
    			for my $ctx (@ctx) {
    				my ($clen, $cindent) = line_stats($ctx);
    				if ($ctx =~ /^\+\s*(case\s+|default:)/ &&
    							$indent != $cindent) {
    					$err .= "$sep$ctx\n";
    					$sep = '';
    				} else {
    					$sep = "[...]\n";
    				}
    			}
    			if ($err ne '') {
    				ERROR("SWITCH_CASE_INDENT_LEVEL",
    				      "switch and case should be at the same indent\n$hereline$err");
    			}
    		}
    
    # 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
    
    		if ($line =~ /(.*)\b((?:if|while|for|switch|(?:[a-z_]+|)for_each[a-z_]+)\s*\(|do\b|else\b)/ && $line !~ /^.\s*\#/) {
    
    			my $pre_ctx = "$1$2";
    
    			my ($level, @ctx) = ctx_statement_level($linenr, $realcnt, 0);
    
    
    			if ($line =~ /^\+\t{6,}/) {
    				WARN("DEEP_INDENTATION",
    				     "Too many leading tabs - consider code refactoring\n" . $herecurr);
    			}
    
    
    			my $ctx_cnt = $realcnt - $#ctx - 1;
    			my $ctx = join("\n", @ctx);
    
    			my $ctx_ln = $linenr;
    			my $ctx_skip = $realcnt;
    
    			while ($ctx_skip > $ctx_cnt || ($ctx_skip == $ctx_cnt &&
    					defined $lines[$ctx_ln - 1] &&
    					$lines[$ctx_ln - 1] =~ /^-/)) {
    				##print "SKIP<$ctx_skip> CNT<$ctx_cnt>\n";
    				$ctx_skip-- if (!defined $lines[$ctx_ln - 1] || $lines[$ctx_ln - 1] !~ /^-/);
    				$ctx_ln++;
    			}
    
    			#print "realcnt<$realcnt> ctx_cnt<$ctx_cnt>\n";
    			#print "pre<$pre_ctx>\nline<$line>\nctx<$ctx>\nnext<$lines[$ctx_ln - 1]>\n";
    
    
    			if ($ctx !~ /{\s*/ && defined($lines[$ctx_ln - 1]) && $lines[$ctx_ln - 1] =~ /^\+\s*{/) {
    
    				ERROR("OPEN_BRACE",
    				      "that open brace { should be on the previous line\n" .
    					"$here\n$ctx\n$rawlines[$ctx_ln - 1]\n");
    			}
    			if ($level == 0 && $pre_ctx !~ /}\s*while\s*\($/ &&
    			    $ctx =~ /\)\s*\;\s*$/ &&
    			    defined $lines[$ctx_ln - 1])
    			{
    				my ($nlength, $nindent) = line_stats($lines[$ctx_ln - 1]);
    				if ($nindent > $indent) {
    					WARN("TRAILING_SEMICOLON",
    					     "trailing semicolon indicates no statements, indent implies otherwise\n" .
    						"$here\n$ctx\n$rawlines[$ctx_ln - 1]\n");
    				}
    			}
    		}
    
    # Check relative indent for conditionals and blocks.
    
    		if ($line =~ /\b(?:(?:if|while|for|(?:[a-z_]+|)for_each[a-z_]+)\s*\(|(?:do|else)\b)/ && $line !~ /^.\s*#/ && $line !~ /\}\s*while\s*/) {
    
    			($stat, $cond, $line_nr_next, $remain_next, $off_next) =
    				ctx_statement_block($linenr, $realcnt, 0)
    					if (!defined $stat);
    
    			my ($s, $c) = ($stat, $cond);
    
    			substr($s, 0, length($c), '');
    
    
    			# remove inline comments
    			$s =~ s/$;/ /g;
    			$c =~ s/$;/ /g;
    
    
    			# Find out how long the conditional actually is.
    			my @newlines = ($c =~ /\n/gs);
    			my $cond_lines = 1 + $#newlines;
    
    
    			# Make sure we remove the line prefixes as we have
    			# none on the first line, and are going to readd them
    			# where necessary.
    			$s =~ s/\n./\n/gs;
    			while ($s =~ /\n\s+\\\n/) {
    				$cond_lines += $s =~ s/\n\s+\\\n/\n/g;
    			}
    
    
    			# We want to check the first line inside the block
    			# starting at the end of the conditional, so remove:
    			#  1) any blank line termination
    			#  2) any opening brace { on end of the line
    			#  3) any do (...) {
    			my $continuation = 0;
    			my $check = 0;
    			$s =~ s/^.*\bdo\b//;
    			$s =~ s/^\s*{//;
    			if ($s =~ s/^\s*\\//) {
    				$continuation = 1;
    			}
    			if ($s =~ s/^\s*?\n//) {
    				$check = 1;
    				$cond_lines++;
    			}
    
    			# Also ignore a loop construct at the end of a
    			# preprocessor statement.
    			if (($prevline =~ /^.\s*#\s*define\s/ ||
    			    $prevline =~ /\\\s*$/) && $continuation == 0) {
    				$check = 0;
    			}
    
    			my $cond_ptr = -1;
    			$continuation = 0;
    			while ($cond_ptr != $cond_lines) {
    				$cond_ptr = $cond_lines;
    
    				# If we see an #else/#elif then the code
    				# is not linear.
    				if ($s =~ /^\s*\#\s*(?:else|elif)/) {
    					$check = 0;
    				}
    
    				# Ignore:
    				#  1) blank lines, they should be at 0,
    				#  2) preprocessor lines, and
    				#  3) labels.
    				if ($continuation ||
    				    $s =~ /^\s*?\n/ ||
    				    $s =~ /^\s*#\s*?/ ||
    				    $s =~ /^\s*$Ident\s*:/) {
    					$continuation = ($s =~ /^.*?\\\n/) ? 1 : 0;
    					if ($s =~ s/^.*?\n//) {
    						$cond_lines++;
    					}
    				}
    			}
    
    			my (undef, $sindent) = line_stats("+" . $s);
    			my $stat_real = raw_line($linenr, $cond_lines);
    
    			# Check if either of these lines are modified, else
    			# this is not this patch's fault.
    			if (!defined($stat_real) ||
    			    $stat !~ /^\+/ && $stat_real !~ /^\+/) {
    				$check = 0;
    			}
    			if (defined($stat_real) && $cond_lines > 1) {
    				$stat_real = "[...]\n$stat_real";
    			}
    
    			#print "line<$line> prevline<$prevline> indent<$indent> sindent<$sindent> check<$check> continuation<$continuation> s<$s> cond_lines<$cond_lines> stat_real<$stat_real> stat<$stat>\n";
    
    
    			if ($check && $s ne '' &&
    			    (($sindent % 8) != 0 ||
    			     ($sindent < $indent) ||
    			     ($sindent == $indent &&
    			      ($s !~ /^\s*(?:\}|\{|else\b)/)) ||
    			     ($sindent > $indent + 8))) {
    
    				WARN("SUSPECT_CODE_INDENT",
    				     "suspect code indent for conditional statements ($indent, $sindent)\n" . $herecurr . "$stat_real\n");
    			}
    		}
    
    		# Track the 'values' across context and added lines.
    		my $opline = $line; $opline =~ s/^./ /;
    		my ($curr_values, $curr_vars) =
    				annotate_values($opline . "\n", $prev_values);
    		$curr_values = $prev_values . $curr_values;
    		if ($dbg_values) {
    			my $outline = $opline; $outline =~ s/\t/ /g;
    			print "$linenr > .$outline\n";
    			print "$linenr > $curr_values\n";
    			print "$linenr >  $curr_vars\n";
    		}
    		$prev_values = substr($curr_values, -1);
    
    #ignore lines not being added
    
    		next if ($line =~ /^[^\+]/);
    
    # check for dereferences that span multiple lines
    		if ($prevline =~ /^\+.*$Lval\s*(?:\.|->)\s*$/ &&
    		    $line =~ /^\+\s*(?!\#\s*(?!define\s+|if))\s*$Lval/) {
    			$prevline =~ /($Lval\s*(?:\.|->))\s*$/;
    			my $ref = $1;
    			$line =~ /^.\s*($Lval)/;
    			$ref .= $1;
    			$ref =~ s/\s//g;
    			WARN("MULTILINE_DEREFERENCE",
    			     "Avoid multiple line dereference - prefer '$ref'\n" . $hereprev);
    		}
    
    # check for declarations of signed or unsigned without int
    		while ($line =~ m{\b($Declare)\s*(?!char\b|short\b|int\b|long\b)\s*($Ident)?\s*[=,;\[\)\(]}g) {
    			my $type = $1;
    			my $var = $2;
    			$var = "" if (!defined $var);
    			if ($type =~ /^(?:(?:$Storage|$Inline|$Attribute)\s+)*((?:un)?signed)((?:\s*\*)*)\s*$/) {
    				my $sign = $1;
    				my $pointer = $2;
    
    				$pointer = "" if (!defined $pointer);
    
    				if (WARN("UNSPECIFIED_INT",
    					 "Prefer '" . trim($sign) . " int" . rtrim($pointer) . "' to bare use of '$sign" . rtrim($pointer) . "'\n" . $herecurr) &&
    				    $fix) {
    					my $decl = trim($sign) . " int ";
    					my $comp_pointer = $pointer;
    					$comp_pointer =~ s/\s//g;
    					$decl .= $comp_pointer;
    					$decl = rtrim($decl) if ($var eq "");
    					$fixed[$fixlinenr] =~ s@\b$sign\s*\Q$pointer\E\s*$var\b@$decl$var@;
    				}
    			}
    		}
    
    
    # TEST: allow direct testing of the type matcher.
    		if ($dbg_type) {
    			if ($line =~ /^.\s*$Declare\s*$/) {
    				ERROR("TEST_TYPE",
    				      "TEST: is type\n" . $herecurr);
    			} elsif ($dbg_type > 1 && $line =~ /^.+($Declare)/) {
    				ERROR("TEST_NOT_TYPE",
    				      "TEST: is not type ($1 is)\n". $herecurr);
    			}
    			next;
    		}
    # TEST: allow direct testing of the attribute matcher.
    		if ($dbg_attr) {
    			if ($line =~ /^.\s*$Modifier\s*$/) {
    				ERROR("TEST_ATTR",
    				      "TEST: is attr\n" . $herecurr);
    			} elsif ($dbg_attr > 1 && $line =~ /^.+($Modifier)/) {
    				ERROR("TEST_NOT_ATTR",
    				      "TEST: is not attr ($1 is)\n". $herecurr);
    			}
    			next;
    		}
    
    # check for initialisation to aggregates open brace on the next line
    		if ($line =~ /^.\s*{/ &&
    		    $prevline =~ /(?:^|[^=])=\s*$/) {
    
    			if (ERROR("OPEN_BRACE",
    				  "that open brace { should be on the previous line\n" . $hereprev) &&
    			    $fix && $prevline =~ /^\+/ && $line =~ /^\+/) {
    				fix_delete_line($fixlinenr - 1, $prevrawline);
    				fix_delete_line($fixlinenr, $rawline);
    				my $fixedline = $prevrawline;
    				$fixedline =~ s/\s*=\s*$/ = {/;
    				fix_insert_line($fixlinenr, $fixedline);
    				$fixedline = $line;
    				$fixedline =~ s/^(.\s*)\{\s*/$1/;
    				fix_insert_line($fixlinenr, $fixedline);
    			}
    
    		}
    
    #
    # Checks which are anchored on the added line.
    #
    
    # check for malformed paths in #include statements (uses RAW line)
    		if ($rawline =~ m{^.\s*\#\s*include\s+[<"](.*)[">]}) {
    			my $path = $1;
    			if ($path =~ m{//}) {
    				ERROR("MALFORMED_INCLUDE",
    
    				      "malformed #include filename\n" . $herecurr);
    			}
    			if ($path =~ "^uapi/" && $realfile =~ m@\binclude/uapi/@) {
    				ERROR("UAPI_INCLUDE",
    				      "No #include in ...include/uapi/... should use a uapi/ path prefix\n" . $herecurr);
    
    			}
    		}
    
    # no C99 // comments
    		if ($line =~ m{//}) {
    
    			if (ERROR("C99_COMMENTS",
    				  "do not use C99 // comments\n" . $herecurr) &&
    			    $fix) {
    
    				my $line = $fixed[$fixlinenr];
    
    				if ($line =~ /\/\/(.*)$/) {
    					my $comment = trim($1);
    
    					$fixed[$fixlinenr] =~ s@\/\/(.*)$@/\* $comment \*/@;
    
    		}
    		# Remove C99 comments.
    		$line =~ s@//.*@@;
    		$opline =~ s@//.*@@;
    
    # EXPORT_SYMBOL should immediately follow the thing it is exporting, consider
    # the whole statement.
    #print "APW <$lines[$realline_next - 1]>\n";
    		if (defined $realline_next &&
    		    exists $lines[$realline_next - 1] &&
    		    !defined $suppress_export{$realline_next} &&
    		    ($lines[$realline_next - 1] =~ /EXPORT_SYMBOL.*\((.*)\)/ ||
    		     $lines[$realline_next - 1] =~ /EXPORT_UNUSED_SYMBOL.*\((.*)\)/)) {
    			# Handle definitions which produce identifiers with
    			# a prefix:
    			#   XXX(foo);
    			#   EXPORT_SYMBOL(something_foo);
    			my $name = $1;
    
    			if ($stat =~ /^(?:.\s*}\s*\n)?.([A-Z_]+)\s*\(\s*($Ident)/ &&
    
    			    $name =~ /^${Ident}_$2/) {
    #print "FOO C name<$name>\n";
    				$suppress_export{$realline_next} = 1;
    
    			} elsif ($stat !~ /(?:
    				\n.}\s*$|
    				^.DEFINE_$Ident\(\Q$name\E\)|
    				^.DECLARE_$Ident\(\Q$name\E\)|
    				^.LIST_HEAD\(\Q$name\E\)|
    				^.(?:$Storage\s+)?$Type\s*\(\s*\*\s*\Q$name\E\s*\)\s*\(|
    				\b\Q$name\E(?:\s+$Attribute)*\s*(?:;|=|\[|\()
    			    )/x) {
    #print "FOO A<$lines[$realline_next - 1]> stat<$stat> name<$name>\n";
    				$suppress_export{$realline_next} = 2;
    			} else {
    				$suppress_export{$realline_next} = 1;
    			}
    		}
    		if (!defined $suppress_export{$linenr} &&
    		    $prevline =~ /^.\s*$/ &&
    		    ($line =~ /EXPORT_SYMBOL.*\((.*)\)/ ||
    		     $line =~ /EXPORT_UNUSED_SYMBOL.*\((.*)\)/)) {
    #print "FOO B <$lines[$linenr - 1]>\n";
    			$suppress_export{$linenr} = 2;
    		}
    		if (defined $suppress_export{$linenr} &&
    		    $suppress_export{$linenr} == 2) {
    			WARN("EXPORT_SYMBOL",
    			     "EXPORT_SYMBOL(foo); should immediately follow its function/variable\n" . $herecurr);
    		}
    
    # check for global initialisers.
    
    		if ($line =~ /^\+$Type\s*$Ident(?:\s+$Modifier)*\s*=\s*($zero_initializer)\s*;/) {
    
    			if (ERROR("GLOBAL_INITIALISERS",
    
    				  "do not initialise globals to $1\n" . $herecurr) &&
    
    				$fixed[$fixlinenr] =~ s/(^.$Type\s*$Ident(?:\s+$Modifier)*)\s*=\s*$zero_initializer\s*;/$1;/;
    
    		}
    # check for static initialisers.
    
    		if ($line =~ /^\+.*\bstatic\s.*=\s*($zero_initializer)\s*;/) {
    
    			if (ERROR("INITIALISED_STATIC",
    
    				  "do not initialise statics to $1\n" .
    
    				$fixed[$fixlinenr] =~ s/(\bstatic\s.*?)\s*=\s*$zero_initializer\s*;/$1;/;
    
    # check for misordered declarations of char/short/int/long with signed/unsigned
    		while ($sline =~ m{(\b$TypeMisordered\b)}g) {
    			my $tmp = trim($1);
    			WARN("MISORDERED_TYPE",
    			     "type '$tmp' should be specified in [[un]signed] [short|int|long|long long] order\n" . $herecurr);
    		}
    
    
    # check for static const char * arrays.
    		if ($line =~ /\bstatic\s+const\s+char\s*\*\s*(\w+)\s*\[\s*\]\s*=\s*/) {
    			WARN("STATIC_CONST_CHAR_ARRAY",
    			     "static const char * array should probably be static const char * const\n" .
    				$herecurr);
                   }
    
    # check for static char foo[] = "bar" declarations.
    		if ($line =~ /\bstatic\s+char\s+(\w+)\s*\[\s*\]\s*=\s*"/) {
    			WARN("STATIC_CONST_CHAR_ARRAY",
    			     "static char array declaration should probably be static const char\n" .
    				$herecurr);
                   }
    
    
    # check for const <foo> const where <foo> is not a pointer or array type
    		if ($sline =~ /\bconst\s+($BasicType)\s+const\b/) {
    			my $found = $1;
    			if ($sline =~ /\bconst\s+\Q$found\E\s+const\b\s*\*/) {
    				WARN("CONST_CONST",
    				     "'const $found const *' should probably be 'const $found * const'\n" . $herecurr);
    			} elsif ($sline !~ /\bconst\s+\Q$found\E\s+const\s+\w+\s*\[/) {
    				WARN("CONST_CONST",
    				     "'const $found const' should probably be 'const $found'\n" . $herecurr);
    			}
    		}
    
    # check for non-global char *foo[] = {"bar", ...} declarations.
    		if ($line =~ /^.\s+(?:static\s+|const\s+)?char\s+\*\s*\w+\s*\[\s*\]\s*=\s*\{/) {
    			WARN("STATIC_CONST_CHAR_ARRAY",
    			     "char * array declaration might be better as static const\n" .
    				$herecurr);
                   }
    
    # check for sizeof(foo)/sizeof(foo[0]) that could be ARRAY_SIZE(foo)
    		if ($line =~ m@\bsizeof\s*\(\s*($Lval)\s*\)@) {
    			my $array = $1;
    			if ($line =~ m@\b(sizeof\s*\(\s*\Q$array\E\s*\)\s*/\s*sizeof\s*\(\s*\Q$array\E\s*\[\s*0\s*\]\s*\))@) {
    				my $array_div = $1;
    				if (WARN("ARRAY_SIZE",
    					 "Prefer ARRAY_SIZE($array)\n" . $herecurr) &&
    				    $fix) {
    					$fixed[$fixlinenr] =~ s/\Q$array_div\E/ARRAY_SIZE($array)/;
    				}
    			}
    		}
    
    
    # check for function declarations without arguments like "int foo()"
    		if ($line =~ /(\b$Type\s+$Ident)\s*\(\s*\)/) {
    			if (ERROR("FUNCTION_WITHOUT_ARGS",
    				  "Bad function definition - $1() should probably be $1(void)\n" . $herecurr) &&
    			    $fix) {
    
    				$fixed[$fixlinenr] =~ s/(\b($Type)\s+($Ident))\s*\(\s*\)/$2 $3(void)/;
    
    		}
    
    # check for new typedefs, only function parameters and sparse annotations
    # make sense.
    		if ($line =~ /\btypedef\s/ &&
    		    $line !~ /\btypedef\s+$Type\s*\(\s*\*?$Ident\s*\)\s*\(/ &&
    		    $line !~ /\btypedef\s+$Type\s+$Ident\s*\(/ &&
    		    $line !~ /\b$typeTypedefs\b/ &&
    
    		    $line !~ /\b__bitwise\b/) {
    
    			WARN("NEW_TYPEDEFS",
    			     "do not add new typedefs\n" . $herecurr);
    		}
    
    # * goes on variable not on type
    		# (char*[ const])
    
    		while ($line =~ m{(\($NonptrType(\s*(?:$Modifier\b\s*|\*\s*)+)\))}g) {
    			#print "AA<$1>\n";
    
    			my ($ident, $from, $to) = ($1, $2, $2);
    
    
    			# Should start with a space.
    			$to =~ s/^(\S)/ $1/;
    			# Should not end with a space.
    			$to =~ s/\s+$//;
    			# '*'s should not have spaces between.
    			while ($to =~ s/\*\s+\*/\*\*/) {
    			}
    
    
    ##			print "1: from<$from> to<$to> ident<$ident>\n";
    
    			if ($from ne $to) {
    
    				if (ERROR("POINTER_LOCATION",
    					  "\"(foo$from)\" should be \"(foo$to)\"\n" .  $herecurr) &&
    				    $fix) {
    					my $sub_from = $ident;
    					my $sub_to = $ident;
    					$sub_to =~ s/\Q$from\E/$to/;
    
    					$fixed[$fixlinenr] =~
    
    					    s@\Q$sub_from\E@$sub_to@;
    				}
    
    		}
    		while ($line =~ m{(\b$NonptrType(\s*(?:$Modifier\b\s*|\*\s*)+)($Ident))}g) {
    			#print "BB<$1>\n";
    
    			my ($match, $from, $to, $ident) = ($1, $2, $2, $3);
    
    
    			# Should start with a space.
    			$to =~ s/^(\S)/ $1/;
    			# Should not end with a space.
    			$to =~ s/\s+$//;
    			# '*'s should not have spaces between.
    			while ($to =~ s/\*\s+\*/\*\*/) {
    			}
    			# Modifiers should have spaces.
    			$to =~ s/(\b$Modifier$)/$1 /;
    
    
    ##			print "2: from<$from> to<$to> ident<$ident>\n";
    
    			if ($from ne $to && $ident !~ /^$Modifier$/) {
    
    				if (ERROR("POINTER_LOCATION",
    					  "\"foo${from}bar\" should be \"foo${to}bar\"\n" .  $herecurr) &&
    				    $fix) {
    
    					my $sub_from = $match;
    					my $sub_to = $match;
    					$sub_to =~ s/\Q$from\E/$to/;
    
    					$fixed[$fixlinenr] =~
    
    					    s@\Q$sub_from\E@$sub_to@;
    				}
    
    # avoid BUG() or BUG_ON()
    		if ($line =~ /\b(?:BUG|BUG_ON)\b/) {
    			my $msg_type = \&WARN;
    			$msg_type = \&CHK if ($file);
    			&{$msg_type}("AVOID_BUG",
    				     "Avoid crashing the kernel - try using WARN_ON & recovery code rather than BUG() or BUG_ON()\n" . $herecurr);
    		}
    
    # avoid LINUX_VERSION_CODE
    
    		if ($line =~ /\bLINUX_VERSION_CODE\b/) {
    			WARN("LINUX_VERSION_CODE",
    			     "LINUX_VERSION_CODE should be avoided, code should be for the version to which it is merged\n" . $herecurr);
    		}
    
    # check for uses of printk_ratelimit
    		if ($line =~ /\bprintk_ratelimit\s*\(/) {
    			WARN("PRINTK_RATELIMITED",
    
    			     "Prefer printk_ratelimited or pr_<level>_ratelimited to printk_ratelimit\n" . $herecurr);
    
    		}
    
    # printk should use KERN_* levels.  Note that follow on printk's on the
    # same line do not need a level, so we use the current block context
    # to try and find and validate the current printk.  In summary the current
    # printk includes all preceding printk's which have no newline on the end.
    # we assume the first bad printk is the one to report.
    		if ($line =~ /\bprintk\((?!KERN_)\s*"/) {
    			my $ok = 0;
    			for (my $ln = $linenr - 1; $ln >= $first_line; $ln--) {
    				#print "CHECK<$lines[$ln - 1]\n";
    				# we have a preceding printk if it ends
    				# with "\n" ignore it, else it is to blame
    				if ($lines[$ln - 1] =~ m{\bprintk\(}) {
    					if ($rawlines[$ln - 1] !~ m{\\n"}) {
    						$ok = 1;
    					}
    					last;
    				}
    			}
    			if ($ok == 0) {
    				WARN("PRINTK_WITHOUT_KERN_LEVEL",
    				     "printk() should include KERN_ facility level\n" . $herecurr);
    			}
    		}
    
    
    		if ($line =~ /\bprintk\s*\(\s*KERN_([A-Z]+)/) {
    			my $orig = $1;
    			my $level = lc($orig);
    			$level = "warn" if ($level eq "warning");
    			my $level2 = $level;
    			$level2 = "dbg" if ($level eq "debug");
    			WARN("PREFER_PR_LEVEL",
    
    			     "Prefer [subsystem eg: netdev]_$level2([subsystem]dev, ... then dev_$level2(dev, ... then pr_$level(...  to printk(KERN_$orig ...\n" . $herecurr);
    
    		}
    
    		if ($line =~ /\bpr_warning\s*\(/) {
    
    			if (WARN("PREFER_PR_LEVEL",
    				 "Prefer pr_warn(... to pr_warning(...\n" . $herecurr) &&
    			    $fix) {
    
    				$fixed[$fixlinenr] =~
    
    				    s/\bpr_warning\b/pr_warn/;
    			}
    
    		}
    
    		if ($line =~ /\bdev_printk\s*\(\s*KERN_([A-Z]+)/) {
    			my $orig = $1;
    			my $level = lc($orig);
    			$level = "warn" if ($level eq "warning");
    			$level = "dbg" if ($level eq "debug");
    			WARN("PREFER_DEV_LEVEL",
    			     "Prefer dev_$level(... to dev_printk(KERN_$orig, ...\n" . $herecurr);
    		}
    
    
    # ENOSYS means "bad syscall nr" and nothing else.  This will have a small
    # number of false positives, but assembly files are not checked, so at
    # least the arch entry code will not trigger this warning.
    		if ($line =~ /\bENOSYS\b/) {
    			WARN("ENOSYS",
    			     "ENOSYS means 'invalid syscall nr' and nothing else\n" . $herecurr);
    		}
    
    
    # function brace can't be on same line, except for #defines of do while,
    # or if closed on same line
    
    		if (($line=~/$Type\s*$Ident\(.*\).*\s*{/) and
    
    		    !($line=~/\#\s*define.*do\s\{/) and !($line=~/}/)) {
    
    			if (ERROR("OPEN_BRACE",
    				  "open brace '{' following function declarations go on the next line\n" . $herecurr) &&
    			    $fix) {
    				fix_delete_line($fixlinenr, $rawline);
    				my $fixed_line = $rawline;
    				$fixed_line =~ /(^..*$Type\s*$Ident\(.*\)\s*){(.*)$/;
    				my $line1 = $1;
    				my $line2 = $2;
    				fix_insert_line($fixlinenr, ltrim($line1));
    				fix_insert_line($fixlinenr, "\+{");
    				if ($line2 !~ /^\s*$/) {
    					fix_insert_line($fixlinenr, "\+\t" . trim($line2));
    				}
    			}
    
    		}
    
    # open braces for enum, union and struct go on the same line.
    		if ($line =~ /^.\s*{/ &&
    		    $prevline =~ /^.\s*(?:typedef\s+)?(enum|union|struct)(?:\s+$Ident)?\s*$/) {
    
    			if (ERROR("OPEN_BRACE",
    				  "open brace '{' following $1 go on the same line\n" . $hereprev) &&
    			    $fix && $prevline =~ /^\+/ && $line =~ /^\+/) {
    				fix_delete_line($fixlinenr - 1, $prevrawline);
    				fix_delete_line($fixlinenr, $rawline);
    				my $fixedline = rtrim($prevrawline) . " {";
    				fix_insert_line($fixlinenr, $fixedline);
    				$fixedline = $rawline;
    				$fixedline =~ s/^(.\s*)\{\s*/$1\t/;
    				if ($fixedline !~ /^\+\s*$/) {
    					fix_insert_line($fixlinenr, $fixedline);
    				}
    			}
    
    		}
    
    # missing space after union, struct or enum definition
    
    		if ($line =~ /^.\s*(?:typedef\s+)?(enum|union|struct)(?:\s+$Ident){1,2}[=\{]/) {
    			if (WARN("SPACING",
    				 "missing space after $1 definition\n" . $herecurr) &&
    			    $fix) {
    
    				$fixed[$fixlinenr] =~
    
    				    s/^(.\s*(?:typedef\s+)?(?:enum|union|struct)(?:\s+$Ident){1,2})([=\{])/$1 $2/;
    			}
    		}
    
    # Function pointer declarations
    # check spacing between type, funcptr, and args
    # canonical declaration is "type (*funcptr)(args...)"
    
    		if ($line =~ /^.\s*($Declare)\((\s*)\*(\s*)($Ident)(\s*)\)(\s*)\(/) {
    
    			my $declare = $1;
    			my $pre_pointer_space = $2;
    			my $post_pointer_space = $3;
    			my $funcname = $4;
    			my $post_funcname_space = $5;
    			my $pre_args_space = $6;
    
    
    # the $Declare variable will capture all spaces after the type
    # so check it for a missing trailing missing space but pointer return types
    # don't need a space so don't warn for those.
    			my $post_declare_space = "";
    			if ($declare =~ /(\s+)$/) {
    				$post_declare_space = $1;
    				$declare = rtrim($declare);
    			}
    			if ($declare !~ /\*$/ && $post_declare_space =~ /^$/) {
    
    				WARN("SPACING",
    				     "missing space after return type\n" . $herecurr);
    
    				$post_declare_space = " ";
    
    			}
    
    # unnecessary space "type  (*funcptr)(args...)"
    
    # This test is not currently implemented because these declarations are
    # equivalent to
    #	int  foo(int bar, ...)
    # and this is form shouldn't/doesn't generate a checkpatch warning.
    #
    #			elsif ($declare =~ /\s{2,}$/) {
    #				WARN("SPACING",
    #				     "Multiple spaces after return type\n" . $herecurr);
    #			}
    
    
    # unnecessary space "type ( *funcptr)(args...)"
    			if (defined $pre_pointer_space &&
    			    $pre_pointer_space =~ /^\s/) {
    				WARN("SPACING",
    				     "Unnecessary space after function pointer open parenthesis\n" . $herecurr);
    			}
    
    # unnecessary space "type (* funcptr)(args...)"
    			if (defined $post_pointer_space &&
    			    $post_pointer_space =~ /^\s/) {
    				WARN("SPACING",
    				     "Unnecessary space before function pointer name\n" . $herecurr);
    			}
    
    # unnecessary space "type (*funcptr )(args...)"
    			if (defined $post_funcname_space &&
    			    $post_funcname_space =~ /^\s/) {
    				WARN("SPACING",
    				     "Unnecessary space after function pointer name\n" . $herecurr);
    			}
    
    # unnecessary space "type (*funcptr) (args...)"
    			if (defined $pre_args_space &&
    			    $pre_args_space =~ /^\s/) {
    				WARN("SPACING",
    				     "Unnecessary space before function pointer arguments\n" . $herecurr);