KVM: x86: Use jmp to invoke kvm_spurious_fault() from .fixup
[linux/fpc-iii.git] / scripts / checkpatch.pl
blob6ac6550d751c169b21853f67d4b6261f2547ac81
1 #!/usr/bin/perl -w
2 # (c) 2001, Dave Jones. (the file handling bit)
3 # (c) 2005, Joel Schopp <jschopp@austin.ibm.com> (the ugly bit)
4 # (c) 2007,2008, Andy Whitcroft <apw@uk.ibm.com> (new conditions, test suite)
5 # (c) 2008-2010 Andy Whitcroft <apw@canonical.com>
6 # Licensed under the terms of the GNU GPL License version 2
8 use strict;
9 use POSIX;
10 use File::Basename;
11 use Cwd 'abs_path';
12 use Term::ANSIColor qw(:constants);
14 my $P = $0;
15 my $D = dirname(abs_path($P));
17 my $V = '0.32';
19 use Getopt::Long qw(:config no_auto_abbrev);
21 my $quiet = 0;
22 my $tree = 1;
23 my $chk_signoff = 1;
24 my $chk_patch = 1;
25 my $tst_only;
26 my $emacs = 0;
27 my $terse = 0;
28 my $showfile = 0;
29 my $file = 0;
30 my $check = 0;
31 my $check_orig = 0;
32 my $summary = 1;
33 my $mailback = 0;
34 my $summary_file = 0;
35 my $show_types = 0;
36 my $fix = 0;
37 my $fix_inplace = 0;
38 my $root;
39 my %debug;
40 my %camelcase = ();
41 my %use_type = ();
42 my @use = ();
43 my %ignore_type = ();
44 my @ignore = ();
45 my $help = 0;
46 my $configuration_file = ".checkpatch.conf";
47 my $max_line_length = 80;
48 my $ignore_perl_version = 0;
49 my $minimum_perl_version = 5.10.0;
50 my $min_conf_desc_length = 4;
51 my $spelling_file = "$D/spelling.txt";
52 my $codespell = 0;
53 my $codespellfile = "/usr/share/codespell/dictionary.txt";
54 my $color = 1;
56 sub help {
57 my ($exitcode) = @_;
59 print << "EOM";
60 Usage: $P [OPTION]... [FILE]...
61 Version: $V
63 Options:
64 -q, --quiet quiet
65 --no-tree run without a kernel tree
66 --no-signoff do not check for 'Signed-off-by' line
67 --patch treat FILE as patchfile (default)
68 --emacs emacs compile window format
69 --terse one line per report
70 --showfile emit diffed file position, not input file position
71 -f, --file treat FILE as regular source file
72 --subjective, --strict enable more subjective tests
73 --types TYPE(,TYPE2...) show only these comma separated message types
74 --ignore TYPE(,TYPE2...) ignore various comma separated message types
75 --max-line-length=n set the maximum line length, if exceeded, warn
76 --min-conf-desc-length=n set the min description length, if shorter, warn
77 --show-types show the message "types" in the output
78 --root=PATH PATH to the kernel tree root
79 --no-summary suppress the per-file summary
80 --mailback only produce a report in case of warnings/errors
81 --summary-file include the filename in summary
82 --debug KEY=[0|1] turn on/off debugging of KEY, where KEY is one of
83 'values', 'possible', 'type', and 'attr' (default
84 is all off)
85 --test-only=WORD report only warnings/errors containing WORD
86 literally
87 --fix EXPERIMENTAL - may create horrible results
88 If correctable single-line errors exist, create
89 "<inputfile>.EXPERIMENTAL-checkpatch-fixes"
90 with potential errors corrected to the preferred
91 checkpatch style
92 --fix-inplace EXPERIMENTAL - may create horrible results
93 Is the same as --fix, but overwrites the input
94 file. It's your fault if there's no backup or git
95 --ignore-perl-version override checking of perl version. expect
96 runtime errors.
97 --codespell Use the codespell dictionary for spelling/typos
98 (default:/usr/share/codespell/dictionary.txt)
99 --codespellfile Use this codespell dictionary
100 --color Use colors when output is STDOUT (default: on)
101 -h, --help, --version display this help and exit
103 When FILE is - read standard input.
106 exit($exitcode);
109 my $conf = which_conf($configuration_file);
110 if (-f $conf) {
111 my @conf_args;
112 open(my $conffile, '<', "$conf")
113 or warn "$P: Can't find a readable $configuration_file file $!\n";
115 while (<$conffile>) {
116 my $line = $_;
118 $line =~ s/\s*\n?$//g;
119 $line =~ s/^\s*//g;
120 $line =~ s/\s+/ /g;
122 next if ($line =~ m/^\s*#/);
123 next if ($line =~ m/^\s*$/);
125 my @words = split(" ", $line);
126 foreach my $word (@words) {
127 last if ($word =~ m/^#/);
128 push (@conf_args, $word);
131 close($conffile);
132 unshift(@ARGV, @conf_args) if @conf_args;
135 GetOptions(
136 'q|quiet+' => \$quiet,
137 'tree!' => \$tree,
138 'signoff!' => \$chk_signoff,
139 'patch!' => \$chk_patch,
140 'emacs!' => \$emacs,
141 'terse!' => \$terse,
142 'showfile!' => \$showfile,
143 'f|file!' => \$file,
144 'subjective!' => \$check,
145 'strict!' => \$check,
146 'ignore=s' => \@ignore,
147 'types=s' => \@use,
148 'show-types!' => \$show_types,
149 'max-line-length=i' => \$max_line_length,
150 'min-conf-desc-length=i' => \$min_conf_desc_length,
151 'root=s' => \$root,
152 'summary!' => \$summary,
153 'mailback!' => \$mailback,
154 'summary-file!' => \$summary_file,
155 'fix!' => \$fix,
156 'fix-inplace!' => \$fix_inplace,
157 'ignore-perl-version!' => \$ignore_perl_version,
158 'debug=s' => \%debug,
159 'test-only=s' => \$tst_only,
160 'codespell!' => \$codespell,
161 'codespellfile=s' => \$codespellfile,
162 'color!' => \$color,
163 'h|help' => \$help,
164 'version' => \$help
165 ) or help(1);
167 help(0) if ($help);
169 $fix = 1 if ($fix_inplace);
170 $check_orig = $check;
172 my $exit = 0;
174 if ($^V && $^V lt $minimum_perl_version) {
175 printf "$P: requires at least perl version %vd\n", $minimum_perl_version;
176 if (!$ignore_perl_version) {
177 exit(1);
181 if ($#ARGV < 0) {
182 print "$P: no input files\n";
183 exit(1);
186 sub hash_save_array_words {
187 my ($hashRef, $arrayRef) = @_;
189 my @array = split(/,/, join(',', @$arrayRef));
190 foreach my $word (@array) {
191 $word =~ s/\s*\n?$//g;
192 $word =~ s/^\s*//g;
193 $word =~ s/\s+/ /g;
194 $word =~ tr/[a-z]/[A-Z]/;
196 next if ($word =~ m/^\s*#/);
197 next if ($word =~ m/^\s*$/);
199 $hashRef->{$word}++;
203 sub hash_show_words {
204 my ($hashRef, $prefix) = @_;
206 if (keys %$hashRef) {
207 print "\nNOTE: $prefix message types:";
208 foreach my $word (sort keys %$hashRef) {
209 print " $word";
211 print "\n";
215 hash_save_array_words(\%ignore_type, \@ignore);
216 hash_save_array_words(\%use_type, \@use);
218 my $dbg_values = 0;
219 my $dbg_possible = 0;
220 my $dbg_type = 0;
221 my $dbg_attr = 0;
222 for my $key (keys %debug) {
223 ## no critic
224 eval "\${dbg_$key} = '$debug{$key}';";
225 die "$@" if ($@);
228 my $rpt_cleaners = 0;
230 if ($terse) {
231 $emacs = 1;
232 $quiet++;
235 if ($tree) {
236 if (defined $root) {
237 if (!top_of_kernel_tree($root)) {
238 die "$P: $root: --root does not point at a valid tree\n";
240 } else {
241 if (top_of_kernel_tree('.')) {
242 $root = '.';
243 } elsif ($0 =~ m@(.*)/scripts/[^/]*$@ &&
244 top_of_kernel_tree($1)) {
245 $root = $1;
249 if (!defined $root) {
250 print "Must be run from the top-level dir. of a kernel tree\n";
251 exit(2);
255 my $emitted_corrupt = 0;
257 our $Ident = qr{
258 [A-Za-z_][A-Za-z\d_]*
259 (?:\s*\#\#\s*[A-Za-z_][A-Za-z\d_]*)*
261 our $Storage = qr{extern|static|asmlinkage};
262 our $Sparse = qr{
263 __user|
264 __kernel|
265 __force|
266 __iomem|
267 __pmem|
268 __must_check|
269 __init_refok|
270 __kprobes|
271 __ref|
272 __rcu
274 our $InitAttributePrefix = qr{__(?:mem|cpu|dev|net_|)};
275 our $InitAttributeData = qr{$InitAttributePrefix(?:initdata\b)};
276 our $InitAttributeConst = qr{$InitAttributePrefix(?:initconst\b)};
277 our $InitAttributeInit = qr{$InitAttributePrefix(?:init\b)};
278 our $InitAttribute = qr{$InitAttributeData|$InitAttributeConst|$InitAttributeInit};
280 # Notes to $Attribute:
281 # We need \b after 'init' otherwise 'initconst' will cause a false positive in a check
282 our $Attribute = qr{
283 const|
284 __percpu|
285 __nocast|
286 __safe|
287 __bitwise__|
288 __packed__|
289 __packed2__|
290 __naked|
291 __maybe_unused|
292 __always_unused|
293 __noreturn|
294 __used|
295 __cold|
296 __pure|
297 __noclone|
298 __deprecated|
299 __read_mostly|
300 __kprobes|
301 $InitAttribute|
302 ____cacheline_aligned|
303 ____cacheline_aligned_in_smp|
304 ____cacheline_internodealigned_in_smp|
305 __weak
307 our $Modifier;
308 our $Inline = qr{inline|__always_inline|noinline|__inline|__inline__};
309 our $Member = qr{->$Ident|\.$Ident|\[[^]]*\]};
310 our $Lval = qr{$Ident(?:$Member)*};
312 our $Int_type = qr{(?i)llu|ull|ll|lu|ul|l|u};
313 our $Binary = qr{(?i)0b[01]+$Int_type?};
314 our $Hex = qr{(?i)0x[0-9a-f]+$Int_type?};
315 our $Int = qr{[0-9]+$Int_type?};
316 our $Octal = qr{0[0-7]+$Int_type?};
317 our $String = qr{"[X\t]*"};
318 our $Float_hex = qr{(?i)0x[0-9a-f]+p-?[0-9]+[fl]?};
319 our $Float_dec = qr{(?i)(?:[0-9]+\.[0-9]*|[0-9]*\.[0-9]+)(?:e-?[0-9]+)?[fl]?};
320 our $Float_int = qr{(?i)[0-9]+e-?[0-9]+[fl]?};
321 our $Float = qr{$Float_hex|$Float_dec|$Float_int};
322 our $Constant = qr{$Float|$Binary|$Octal|$Hex|$Int};
323 our $Assignment = qr{\*\=|/=|%=|\+=|-=|<<=|>>=|&=|\^=|\|=|=};
324 our $Compare = qr{<=|>=|==|!=|<|(?<!-)>};
325 our $Arithmetic = qr{\+|-|\*|\/|%};
326 our $Operators = qr{
327 <=|>=|==|!=|
328 =>|->|<<|>>|<|>|!|~|
329 &&|\|\||,|\^|\+\+|--|&|\||$Arithmetic
332 our $c90_Keywords = qr{do|for|while|if|else|return|goto|continue|switch|default|case|break}x;
334 our $BasicType;
335 our $NonptrType;
336 our $NonptrTypeMisordered;
337 our $NonptrTypeWithAttr;
338 our $Type;
339 our $TypeMisordered;
340 our $Declare;
341 our $DeclareMisordered;
343 our $NON_ASCII_UTF8 = qr{
344 [\xC2-\xDF][\x80-\xBF] # non-overlong 2-byte
345 | \xE0[\xA0-\xBF][\x80-\xBF] # excluding overlongs
346 | [\xE1-\xEC\xEE\xEF][\x80-\xBF]{2} # straight 3-byte
347 | \xED[\x80-\x9F][\x80-\xBF] # excluding surrogates
348 | \xF0[\x90-\xBF][\x80-\xBF]{2} # planes 1-3
349 | [\xF1-\xF3][\x80-\xBF]{3} # planes 4-15
350 | \xF4[\x80-\x8F][\x80-\xBF]{2} # plane 16
353 our $UTF8 = qr{
354 [\x09\x0A\x0D\x20-\x7E] # ASCII
355 | $NON_ASCII_UTF8
358 our $typeC99Typedefs = qr{(?:__)?(?:[us]_?)?int_?(?:8|16|32|64)_t};
359 our $typeOtherOSTypedefs = qr{(?x:
360 u_(?:char|short|int|long) | # bsd
361 u(?:nchar|short|int|long) # sysv
363 our $typeKernelTypedefs = qr{(?x:
364 (?:__)?(?:u|s|be|le)(?:8|16|32|64)|
365 atomic_t
367 our $typeTypedefs = qr{(?x:
368 $typeC99Typedefs\b|
369 $typeOtherOSTypedefs\b|
370 $typeKernelTypedefs\b
373 our $zero_initializer = qr{(?:(?:0[xX])?0+$Int_type?|NULL|false)\b};
375 our $logFunctions = qr{(?x:
376 printk(?:_ratelimited|_once|)|
377 (?:[a-z0-9]+_){1,2}(?:printk|emerg|alert|crit|err|warning|warn|notice|info|debug|dbg|vdbg|devel|cont|WARN)(?:_ratelimited|_once|)|
378 WARN(?:_RATELIMIT|_ONCE|)|
379 panic|
380 MODULE_[A-Z_]+|
381 seq_vprintf|seq_printf|seq_puts
384 our $signature_tags = qr{(?xi:
385 Signed-off-by:|
386 Acked-by:|
387 Tested-by:|
388 Reviewed-by:|
389 Reported-by:|
390 Suggested-by:|
391 To:|
395 our @typeListMisordered = (
396 qr{char\s+(?:un)?signed},
397 qr{int\s+(?:(?:un)?signed\s+)?short\s},
398 qr{int\s+short(?:\s+(?:un)?signed)},
399 qr{short\s+int(?:\s+(?:un)?signed)},
400 qr{(?:un)?signed\s+int\s+short},
401 qr{short\s+(?:un)?signed},
402 qr{long\s+int\s+(?:un)?signed},
403 qr{int\s+long\s+(?:un)?signed},
404 qr{long\s+(?:un)?signed\s+int},
405 qr{int\s+(?:un)?signed\s+long},
406 qr{int\s+(?:un)?signed},
407 qr{int\s+long\s+long\s+(?:un)?signed},
408 qr{long\s+long\s+int\s+(?:un)?signed},
409 qr{long\s+long\s+(?:un)?signed\s+int},
410 qr{long\s+long\s+(?:un)?signed},
411 qr{long\s+(?:un)?signed},
414 our @typeList = (
415 qr{void},
416 qr{(?:(?:un)?signed\s+)?char},
417 qr{(?:(?:un)?signed\s+)?short\s+int},
418 qr{(?:(?:un)?signed\s+)?short},
419 qr{(?:(?:un)?signed\s+)?int},
420 qr{(?:(?:un)?signed\s+)?long\s+int},
421 qr{(?:(?:un)?signed\s+)?long\s+long\s+int},
422 qr{(?:(?:un)?signed\s+)?long\s+long},
423 qr{(?:(?:un)?signed\s+)?long},
424 qr{(?:un)?signed},
425 qr{float},
426 qr{double},
427 qr{bool},
428 qr{struct\s+$Ident},
429 qr{union\s+$Ident},
430 qr{enum\s+$Ident},
431 qr{${Ident}_t},
432 qr{${Ident}_handler},
433 qr{${Ident}_handler_fn},
434 @typeListMisordered,
436 our @typeListFile = ();
437 our @typeListWithAttr = (
438 @typeList,
439 qr{struct\s+$InitAttribute\s+$Ident},
440 qr{union\s+$InitAttribute\s+$Ident},
443 our @modifierList = (
444 qr{fastcall},
446 our @modifierListFile = ();
448 our @mode_permission_funcs = (
449 ["module_param", 3],
450 ["module_param_(?:array|named|string)", 4],
451 ["module_param_array_named", 5],
452 ["debugfs_create_(?:file|u8|u16|u32|u64|x8|x16|x32|x64|size_t|atomic_t|bool|blob|regset32|u32_array)", 2],
453 ["proc_create(?:_data|)", 2],
454 ["(?:CLASS|DEVICE|SENSOR)_ATTR", 2],
457 #Create a search pattern for all these functions to speed up a loop below
458 our $mode_perms_search = "";
459 foreach my $entry (@mode_permission_funcs) {
460 $mode_perms_search .= '|' if ($mode_perms_search ne "");
461 $mode_perms_search .= $entry->[0];
464 our $mode_perms_world_writable = qr{
465 S_IWUGO |
466 S_IWOTH |
467 S_IRWXUGO |
468 S_IALLUGO |
469 0[0-7][0-7][2367]
472 our $allowed_asm_includes = qr{(?x:
473 irq|
474 memory|
475 time|
476 reboot
478 # memory.h: ARM has a custom one
480 # Load common spelling mistakes and build regular expression list.
481 my $misspellings;
482 my %spelling_fix;
484 if (open(my $spelling, '<', $spelling_file)) {
485 while (<$spelling>) {
486 my $line = $_;
488 $line =~ s/\s*\n?$//g;
489 $line =~ s/^\s*//g;
491 next if ($line =~ m/^\s*#/);
492 next if ($line =~ m/^\s*$/);
494 my ($suspect, $fix) = split(/\|\|/, $line);
496 $spelling_fix{$suspect} = $fix;
498 close($spelling);
499 } else {
500 warn "No typos will be found - file '$spelling_file': $!\n";
503 if ($codespell) {
504 if (open(my $spelling, '<', $codespellfile)) {
505 while (<$spelling>) {
506 my $line = $_;
508 $line =~ s/\s*\n?$//g;
509 $line =~ s/^\s*//g;
511 next if ($line =~ m/^\s*#/);
512 next if ($line =~ m/^\s*$/);
513 next if ($line =~ m/, disabled/i);
515 $line =~ s/,.*$//;
517 my ($suspect, $fix) = split(/->/, $line);
519 $spelling_fix{$suspect} = $fix;
521 close($spelling);
522 } else {
523 warn "No codespell typos will be found - file '$codespellfile': $!\n";
527 $misspellings = join("|", sort keys %spelling_fix) if keys %spelling_fix;
529 sub build_types {
530 my $mods = "(?x: \n" . join("|\n ", (@modifierList, @modifierListFile)) . "\n)";
531 my $all = "(?x: \n" . join("|\n ", (@typeList, @typeListFile)) . "\n)";
532 my $Misordered = "(?x: \n" . join("|\n ", @typeListMisordered) . "\n)";
533 my $allWithAttr = "(?x: \n" . join("|\n ", @typeListWithAttr) . "\n)";
534 $Modifier = qr{(?:$Attribute|$Sparse|$mods)};
535 $BasicType = qr{
536 (?:$typeTypedefs\b)|
537 (?:${all}\b)
539 $NonptrType = qr{
540 (?:$Modifier\s+|const\s+)*
542 (?:typeof|__typeof__)\s*\([^\)]*\)|
543 (?:$typeTypedefs\b)|
544 (?:${all}\b)
546 (?:\s+$Modifier|\s+const)*
548 $NonptrTypeMisordered = qr{
549 (?:$Modifier\s+|const\s+)*
551 (?:${Misordered}\b)
553 (?:\s+$Modifier|\s+const)*
555 $NonptrTypeWithAttr = qr{
556 (?:$Modifier\s+|const\s+)*
558 (?:typeof|__typeof__)\s*\([^\)]*\)|
559 (?:$typeTypedefs\b)|
560 (?:${allWithAttr}\b)
562 (?:\s+$Modifier|\s+const)*
564 $Type = qr{
565 $NonptrType
566 (?:(?:\s|\*|\[\])+\s*const|(?:\s|\*\s*(?:const\s*)?|\[\])+|(?:\s*\[\s*\])+)?
567 (?:\s+$Inline|\s+$Modifier)*
569 $TypeMisordered = qr{
570 $NonptrTypeMisordered
571 (?:(?:\s|\*|\[\])+\s*const|(?:\s|\*\s*(?:const\s*)?|\[\])+|(?:\s*\[\s*\])+)?
572 (?:\s+$Inline|\s+$Modifier)*
574 $Declare = qr{(?:$Storage\s+(?:$Inline\s+)?)?$Type};
575 $DeclareMisordered = qr{(?:$Storage\s+(?:$Inline\s+)?)?$TypeMisordered};
577 build_types();
579 our $Typecast = qr{\s*(\(\s*$NonptrType\s*\)){0,1}\s*};
581 # Using $balanced_parens, $LvalOrFunc, or $FuncArg
582 # requires at least perl version v5.10.0
583 # Any use must be runtime checked with $^V
585 our $balanced_parens = qr/(\((?:[^\(\)]++|(?-1))*\))/;
586 our $LvalOrFunc = qr{((?:[\&\*]\s*)?$Lval)\s*($balanced_parens{0,1})\s*};
587 our $FuncArg = qr{$Typecast{0,1}($LvalOrFunc|$Constant|$String)};
589 our $declaration_macros = qr{(?x:
590 (?:$Storage\s+)?(?:[A-Z_][A-Z0-9]*_){0,2}(?:DEFINE|DECLARE)(?:_[A-Z0-9]+){1,6}\s*\(|
591 (?:$Storage\s+)?LIST_HEAD\s*\(|
592 (?:$Storage\s+)?${Type}\s+uninitialized_var\s*\(
595 sub deparenthesize {
596 my ($string) = @_;
597 return "" if (!defined($string));
599 while ($string =~ /^\s*\(.*\)\s*$/) {
600 $string =~ s@^\s*\(\s*@@;
601 $string =~ s@\s*\)\s*$@@;
604 $string =~ s@\s+@ @g;
606 return $string;
609 sub seed_camelcase_file {
610 my ($file) = @_;
612 return if (!(-f $file));
614 local $/;
616 open(my $include_file, '<', "$file")
617 or warn "$P: Can't read '$file' $!\n";
618 my $text = <$include_file>;
619 close($include_file);
621 my @lines = split('\n', $text);
623 foreach my $line (@lines) {
624 next if ($line !~ /(?:[A-Z][a-z]|[a-z][A-Z])/);
625 if ($line =~ /^[ \t]*(?:#[ \t]*define|typedef\s+$Type)\s+(\w*(?:[A-Z][a-z]|[a-z][A-Z])\w*)/) {
626 $camelcase{$1} = 1;
627 } elsif ($line =~ /^\s*$Declare\s+(\w*(?:[A-Z][a-z]|[a-z][A-Z])\w*)\s*[\(\[,;]/) {
628 $camelcase{$1} = 1;
629 } elsif ($line =~ /^\s*(?:union|struct|enum)\s+(\w*(?:[A-Z][a-z]|[a-z][A-Z])\w*)\s*[;\{]/) {
630 $camelcase{$1} = 1;
635 my $camelcase_seeded = 0;
636 sub seed_camelcase_includes {
637 return if ($camelcase_seeded);
639 my $files;
640 my $camelcase_cache = "";
641 my @include_files = ();
643 $camelcase_seeded = 1;
645 if (-e ".git") {
646 my $git_last_include_commit = `git log --no-merges --pretty=format:"%h%n" -1 -- include`;
647 chomp $git_last_include_commit;
648 $camelcase_cache = ".checkpatch-camelcase.git.$git_last_include_commit";
649 } else {
650 my $last_mod_date = 0;
651 $files = `find $root/include -name "*.h"`;
652 @include_files = split('\n', $files);
653 foreach my $file (@include_files) {
654 my $date = POSIX::strftime("%Y%m%d%H%M",
655 localtime((stat $file)[9]));
656 $last_mod_date = $date if ($last_mod_date < $date);
658 $camelcase_cache = ".checkpatch-camelcase.date.$last_mod_date";
661 if ($camelcase_cache ne "" && -f $camelcase_cache) {
662 open(my $camelcase_file, '<', "$camelcase_cache")
663 or warn "$P: Can't read '$camelcase_cache' $!\n";
664 while (<$camelcase_file>) {
665 chomp;
666 $camelcase{$_} = 1;
668 close($camelcase_file);
670 return;
673 if (-e ".git") {
674 $files = `git ls-files "include/*.h"`;
675 @include_files = split('\n', $files);
678 foreach my $file (@include_files) {
679 seed_camelcase_file($file);
682 if ($camelcase_cache ne "") {
683 unlink glob ".checkpatch-camelcase.*";
684 open(my $camelcase_file, '>', "$camelcase_cache")
685 or warn "$P: Can't write '$camelcase_cache' $!\n";
686 foreach (sort { lc($a) cmp lc($b) } keys(%camelcase)) {
687 print $camelcase_file ("$_\n");
689 close($camelcase_file);
693 sub git_commit_info {
694 my ($commit, $id, $desc) = @_;
696 return ($id, $desc) if ((which("git") eq "") || !(-e ".git"));
698 my $output = `git log --no-color --format='%H %s' -1 $commit 2>&1`;
699 $output =~ s/^\s*//gm;
700 my @lines = split("\n", $output);
702 return ($id, $desc) if ($#lines < 0);
704 if ($lines[0] =~ /^error: short SHA1 $commit is ambiguous\./) {
705 # Maybe one day convert this block of bash into something that returns
706 # all matching commit ids, but it's very slow...
708 # echo "checking commits $1..."
709 # git rev-list --remotes | grep -i "^$1" |
710 # while read line ; do
711 # git log --format='%H %s' -1 $line |
712 # echo "commit $(cut -c 1-12,41-)"
713 # done
714 } elsif ($lines[0] =~ /^fatal: ambiguous argument '$commit': unknown revision or path not in the working tree\./) {
715 } else {
716 $id = substr($lines[0], 0, 12);
717 $desc = substr($lines[0], 41);
720 return ($id, $desc);
723 $chk_signoff = 0 if ($file);
725 my @rawlines = ();
726 my @lines = ();
727 my @fixed = ();
728 my @fixed_inserted = ();
729 my @fixed_deleted = ();
730 my $fixlinenr = -1;
732 my $vname;
733 for my $filename (@ARGV) {
734 my $FILE;
735 if ($file) {
736 open($FILE, '-|', "diff -u /dev/null $filename") ||
737 die "$P: $filename: diff failed - $!\n";
738 } elsif ($filename eq '-') {
739 open($FILE, '<&STDIN');
740 } else {
741 open($FILE, '<', "$filename") ||
742 die "$P: $filename: open failed - $!\n";
744 if ($filename eq '-') {
745 $vname = 'Your patch';
746 } else {
747 $vname = $filename;
749 while (<$FILE>) {
750 chomp;
751 push(@rawlines, $_);
753 close($FILE);
755 if ($#ARGV > 0 && $quiet == 0) {
756 print '-' x length($vname) . "\n";
757 print "$vname\n";
758 print '-' x length($vname) . "\n";
761 if (!process($filename)) {
762 $exit = 1;
764 @rawlines = ();
765 @lines = ();
766 @fixed = ();
767 @fixed_inserted = ();
768 @fixed_deleted = ();
769 $fixlinenr = -1;
770 @modifierListFile = ();
771 @typeListFile = ();
772 build_types();
775 if (!$quiet) {
776 hash_show_words(\%use_type, "Used");
777 hash_show_words(\%ignore_type, "Ignored");
779 if ($^V lt 5.10.0) {
780 print << "EOM"
782 NOTE: perl $^V is not modern enough to detect all possible issues.
783 An upgrade to at least perl v5.10.0 is suggested.
786 if ($exit) {
787 print << "EOM"
789 NOTE: If any of the errors are false positives, please report
790 them to the maintainer, see CHECKPATCH in MAINTAINERS.
795 exit($exit);
797 sub top_of_kernel_tree {
798 my ($root) = @_;
800 my @tree_check = (
801 "COPYING", "CREDITS", "Kbuild", "MAINTAINERS", "Makefile",
802 "README", "Documentation", "arch", "include", "drivers",
803 "fs", "init", "ipc", "kernel", "lib", "scripts",
806 foreach my $check (@tree_check) {
807 if (! -e $root . '/' . $check) {
808 return 0;
811 return 1;
814 sub parse_email {
815 my ($formatted_email) = @_;
817 my $name = "";
818 my $address = "";
819 my $comment = "";
821 if ($formatted_email =~ /^(.*)<(\S+\@\S+)>(.*)$/) {
822 $name = $1;
823 $address = $2;
824 $comment = $3 if defined $3;
825 } elsif ($formatted_email =~ /^\s*<(\S+\@\S+)>(.*)$/) {
826 $address = $1;
827 $comment = $2 if defined $2;
828 } elsif ($formatted_email =~ /(\S+\@\S+)(.*)$/) {
829 $address = $1;
830 $comment = $2 if defined $2;
831 $formatted_email =~ s/$address.*$//;
832 $name = $formatted_email;
833 $name = trim($name);
834 $name =~ s/^\"|\"$//g;
835 # If there's a name left after stripping spaces and
836 # leading quotes, and the address doesn't have both
837 # leading and trailing angle brackets, the address
838 # is invalid. ie:
839 # "joe smith joe@smith.com" bad
840 # "joe smith <joe@smith.com" bad
841 if ($name ne "" && $address !~ /^<[^>]+>$/) {
842 $name = "";
843 $address = "";
844 $comment = "";
848 $name = trim($name);
849 $name =~ s/^\"|\"$//g;
850 $address = trim($address);
851 $address =~ s/^\<|\>$//g;
853 if ($name =~ /[^\w \-]/i) { ##has "must quote" chars
854 $name =~ s/(?<!\\)"/\\"/g; ##escape quotes
855 $name = "\"$name\"";
858 return ($name, $address, $comment);
861 sub format_email {
862 my ($name, $address) = @_;
864 my $formatted_email;
866 $name = trim($name);
867 $name =~ s/^\"|\"$//g;
868 $address = trim($address);
870 if ($name =~ /[^\w \-]/i) { ##has "must quote" chars
871 $name =~ s/(?<!\\)"/\\"/g; ##escape quotes
872 $name = "\"$name\"";
875 if ("$name" eq "") {
876 $formatted_email = "$address";
877 } else {
878 $formatted_email = "$name <$address>";
881 return $formatted_email;
884 sub which {
885 my ($bin) = @_;
887 foreach my $path (split(/:/, $ENV{PATH})) {
888 if (-e "$path/$bin") {
889 return "$path/$bin";
893 return "";
896 sub which_conf {
897 my ($conf) = @_;
899 foreach my $path (split(/:/, ".:$ENV{HOME}:.scripts")) {
900 if (-e "$path/$conf") {
901 return "$path/$conf";
905 return "";
908 sub expand_tabs {
909 my ($str) = @_;
911 my $res = '';
912 my $n = 0;
913 for my $c (split(//, $str)) {
914 if ($c eq "\t") {
915 $res .= ' ';
916 $n++;
917 for (; ($n % 8) != 0; $n++) {
918 $res .= ' ';
920 next;
922 $res .= $c;
923 $n++;
926 return $res;
928 sub copy_spacing {
929 (my $res = shift) =~ tr/\t/ /c;
930 return $res;
933 sub line_stats {
934 my ($line) = @_;
936 # Drop the diff line leader and expand tabs
937 $line =~ s/^.//;
938 $line = expand_tabs($line);
940 # Pick the indent from the front of the line.
941 my ($white) = ($line =~ /^(\s*)/);
943 return (length($line), length($white));
946 my $sanitise_quote = '';
948 sub sanitise_line_reset {
949 my ($in_comment) = @_;
951 if ($in_comment) {
952 $sanitise_quote = '*/';
953 } else {
954 $sanitise_quote = '';
957 sub sanitise_line {
958 my ($line) = @_;
960 my $res = '';
961 my $l = '';
963 my $qlen = 0;
964 my $off = 0;
965 my $c;
967 # Always copy over the diff marker.
968 $res = substr($line, 0, 1);
970 for ($off = 1; $off < length($line); $off++) {
971 $c = substr($line, $off, 1);
973 # Comments we are wacking completly including the begin
974 # and end, all to $;.
975 if ($sanitise_quote eq '' && substr($line, $off, 2) eq '/*') {
976 $sanitise_quote = '*/';
978 substr($res, $off, 2, "$;$;");
979 $off++;
980 next;
982 if ($sanitise_quote eq '*/' && substr($line, $off, 2) eq '*/') {
983 $sanitise_quote = '';
984 substr($res, $off, 2, "$;$;");
985 $off++;
986 next;
988 if ($sanitise_quote eq '' && substr($line, $off, 2) eq '//') {
989 $sanitise_quote = '//';
991 substr($res, $off, 2, $sanitise_quote);
992 $off++;
993 next;
996 # A \ in a string means ignore the next character.
997 if (($sanitise_quote eq "'" || $sanitise_quote eq '"') &&
998 $c eq "\\") {
999 substr($res, $off, 2, 'XX');
1000 $off++;
1001 next;
1003 # Regular quotes.
1004 if ($c eq "'" || $c eq '"') {
1005 if ($sanitise_quote eq '') {
1006 $sanitise_quote = $c;
1008 substr($res, $off, 1, $c);
1009 next;
1010 } elsif ($sanitise_quote eq $c) {
1011 $sanitise_quote = '';
1015 #print "c<$c> SQ<$sanitise_quote>\n";
1016 if ($off != 0 && $sanitise_quote eq '*/' && $c ne "\t") {
1017 substr($res, $off, 1, $;);
1018 } elsif ($off != 0 && $sanitise_quote eq '//' && $c ne "\t") {
1019 substr($res, $off, 1, $;);
1020 } elsif ($off != 0 && $sanitise_quote && $c ne "\t") {
1021 substr($res, $off, 1, 'X');
1022 } else {
1023 substr($res, $off, 1, $c);
1027 if ($sanitise_quote eq '//') {
1028 $sanitise_quote = '';
1031 # The pathname on a #include may be surrounded by '<' and '>'.
1032 if ($res =~ /^.\s*\#\s*include\s+\<(.*)\>/) {
1033 my $clean = 'X' x length($1);
1034 $res =~ s@\<.*\>@<$clean>@;
1036 # The whole of a #error is a string.
1037 } elsif ($res =~ /^.\s*\#\s*(?:error|warning)\s+(.*)\b/) {
1038 my $clean = 'X' x length($1);
1039 $res =~ s@(\#\s*(?:error|warning)\s+).*@$1$clean@;
1042 return $res;
1045 sub get_quoted_string {
1046 my ($line, $rawline) = @_;
1048 return "" if ($line !~ m/($String)/g);
1049 return substr($rawline, $-[0], $+[0] - $-[0]);
1052 sub ctx_statement_block {
1053 my ($linenr, $remain, $off) = @_;
1054 my $line = $linenr - 1;
1055 my $blk = '';
1056 my $soff = $off;
1057 my $coff = $off - 1;
1058 my $coff_set = 0;
1060 my $loff = 0;
1062 my $type = '';
1063 my $level = 0;
1064 my @stack = ();
1065 my $p;
1066 my $c;
1067 my $len = 0;
1069 my $remainder;
1070 while (1) {
1071 @stack = (['', 0]) if ($#stack == -1);
1073 #warn "CSB: blk<$blk> remain<$remain>\n";
1074 # If we are about to drop off the end, pull in more
1075 # context.
1076 if ($off >= $len) {
1077 for (; $remain > 0; $line++) {
1078 last if (!defined $lines[$line]);
1079 next if ($lines[$line] =~ /^-/);
1080 $remain--;
1081 $loff = $len;
1082 $blk .= $lines[$line] . "\n";
1083 $len = length($blk);
1084 $line++;
1085 last;
1087 # Bail if there is no further context.
1088 #warn "CSB: blk<$blk> off<$off> len<$len>\n";
1089 if ($off >= $len) {
1090 last;
1092 if ($level == 0 && substr($blk, $off) =~ /^.\s*#\s*define/) {
1093 $level++;
1094 $type = '#';
1097 $p = $c;
1098 $c = substr($blk, $off, 1);
1099 $remainder = substr($blk, $off);
1101 #warn "CSB: c<$c> type<$type> level<$level> remainder<$remainder> coff_set<$coff_set>\n";
1103 # Handle nested #if/#else.
1104 if ($remainder =~ /^#\s*(?:ifndef|ifdef|if)\s/) {
1105 push(@stack, [ $type, $level ]);
1106 } elsif ($remainder =~ /^#\s*(?:else|elif)\b/) {
1107 ($type, $level) = @{$stack[$#stack - 1]};
1108 } elsif ($remainder =~ /^#\s*endif\b/) {
1109 ($type, $level) = @{pop(@stack)};
1112 # Statement ends at the ';' or a close '}' at the
1113 # outermost level.
1114 if ($level == 0 && $c eq ';') {
1115 last;
1118 # An else is really a conditional as long as its not else if
1119 if ($level == 0 && $coff_set == 0 &&
1120 (!defined($p) || $p =~ /(?:\s|\}|\+)/) &&
1121 $remainder =~ /^(else)(?:\s|{)/ &&
1122 $remainder !~ /^else\s+if\b/) {
1123 $coff = $off + length($1) - 1;
1124 $coff_set = 1;
1125 #warn "CSB: mark coff<$coff> soff<$soff> 1<$1>\n";
1126 #warn "[" . substr($blk, $soff, $coff - $soff + 1) . "]\n";
1129 if (($type eq '' || $type eq '(') && $c eq '(') {
1130 $level++;
1131 $type = '(';
1133 if ($type eq '(' && $c eq ')') {
1134 $level--;
1135 $type = ($level != 0)? '(' : '';
1137 if ($level == 0 && $coff < $soff) {
1138 $coff = $off;
1139 $coff_set = 1;
1140 #warn "CSB: mark coff<$coff>\n";
1143 if (($type eq '' || $type eq '{') && $c eq '{') {
1144 $level++;
1145 $type = '{';
1147 if ($type eq '{' && $c eq '}') {
1148 $level--;
1149 $type = ($level != 0)? '{' : '';
1151 if ($level == 0) {
1152 if (substr($blk, $off + 1, 1) eq ';') {
1153 $off++;
1155 last;
1158 # Preprocessor commands end at the newline unless escaped.
1159 if ($type eq '#' && $c eq "\n" && $p ne "\\") {
1160 $level--;
1161 $type = '';
1162 $off++;
1163 last;
1165 $off++;
1167 # We are truly at the end, so shuffle to the next line.
1168 if ($off == $len) {
1169 $loff = $len + 1;
1170 $line++;
1171 $remain--;
1174 my $statement = substr($blk, $soff, $off - $soff + 1);
1175 my $condition = substr($blk, $soff, $coff - $soff + 1);
1177 #warn "STATEMENT<$statement>\n";
1178 #warn "CONDITION<$condition>\n";
1180 #print "coff<$coff> soff<$off> loff<$loff>\n";
1182 return ($statement, $condition,
1183 $line, $remain + 1, $off - $loff + 1, $level);
1186 sub statement_lines {
1187 my ($stmt) = @_;
1189 # Strip the diff line prefixes and rip blank lines at start and end.
1190 $stmt =~ s/(^|\n)./$1/g;
1191 $stmt =~ s/^\s*//;
1192 $stmt =~ s/\s*$//;
1194 my @stmt_lines = ($stmt =~ /\n/g);
1196 return $#stmt_lines + 2;
1199 sub statement_rawlines {
1200 my ($stmt) = @_;
1202 my @stmt_lines = ($stmt =~ /\n/g);
1204 return $#stmt_lines + 2;
1207 sub statement_block_size {
1208 my ($stmt) = @_;
1210 $stmt =~ s/(^|\n)./$1/g;
1211 $stmt =~ s/^\s*{//;
1212 $stmt =~ s/}\s*$//;
1213 $stmt =~ s/^\s*//;
1214 $stmt =~ s/\s*$//;
1216 my @stmt_lines = ($stmt =~ /\n/g);
1217 my @stmt_statements = ($stmt =~ /;/g);
1219 my $stmt_lines = $#stmt_lines + 2;
1220 my $stmt_statements = $#stmt_statements + 1;
1222 if ($stmt_lines > $stmt_statements) {
1223 return $stmt_lines;
1224 } else {
1225 return $stmt_statements;
1229 sub ctx_statement_full {
1230 my ($linenr, $remain, $off) = @_;
1231 my ($statement, $condition, $level);
1233 my (@chunks);
1235 # Grab the first conditional/block pair.
1236 ($statement, $condition, $linenr, $remain, $off, $level) =
1237 ctx_statement_block($linenr, $remain, $off);
1238 #print "F: c<$condition> s<$statement> remain<$remain>\n";
1239 push(@chunks, [ $condition, $statement ]);
1240 if (!($remain > 0 && $condition =~ /^\s*(?:\n[+-])?\s*(?:if|else|do)\b/s)) {
1241 return ($level, $linenr, @chunks);
1244 # Pull in the following conditional/block pairs and see if they
1245 # could continue the statement.
1246 for (;;) {
1247 ($statement, $condition, $linenr, $remain, $off, $level) =
1248 ctx_statement_block($linenr, $remain, $off);
1249 #print "C: c<$condition> s<$statement> remain<$remain>\n";
1250 last if (!($remain > 0 && $condition =~ /^(?:\s*\n[+-])*\s*(?:else|do)\b/s));
1251 #print "C: push\n";
1252 push(@chunks, [ $condition, $statement ]);
1255 return ($level, $linenr, @chunks);
1258 sub ctx_block_get {
1259 my ($linenr, $remain, $outer, $open, $close, $off) = @_;
1260 my $line;
1261 my $start = $linenr - 1;
1262 my $blk = '';
1263 my @o;
1264 my @c;
1265 my @res = ();
1267 my $level = 0;
1268 my @stack = ($level);
1269 for ($line = $start; $remain > 0; $line++) {
1270 next if ($rawlines[$line] =~ /^-/);
1271 $remain--;
1273 $blk .= $rawlines[$line];
1275 # Handle nested #if/#else.
1276 if ($lines[$line] =~ /^.\s*#\s*(?:ifndef|ifdef|if)\s/) {
1277 push(@stack, $level);
1278 } elsif ($lines[$line] =~ /^.\s*#\s*(?:else|elif)\b/) {
1279 $level = $stack[$#stack - 1];
1280 } elsif ($lines[$line] =~ /^.\s*#\s*endif\b/) {
1281 $level = pop(@stack);
1284 foreach my $c (split(//, $lines[$line])) {
1285 ##print "C<$c>L<$level><$open$close>O<$off>\n";
1286 if ($off > 0) {
1287 $off--;
1288 next;
1291 if ($c eq $close && $level > 0) {
1292 $level--;
1293 last if ($level == 0);
1294 } elsif ($c eq $open) {
1295 $level++;
1299 if (!$outer || $level <= 1) {
1300 push(@res, $rawlines[$line]);
1303 last if ($level == 0);
1306 return ($level, @res);
1308 sub ctx_block_outer {
1309 my ($linenr, $remain) = @_;
1311 my ($level, @r) = ctx_block_get($linenr, $remain, 1, '{', '}', 0);
1312 return @r;
1314 sub ctx_block {
1315 my ($linenr, $remain) = @_;
1317 my ($level, @r) = ctx_block_get($linenr, $remain, 0, '{', '}', 0);
1318 return @r;
1320 sub ctx_statement {
1321 my ($linenr, $remain, $off) = @_;
1323 my ($level, @r) = ctx_block_get($linenr, $remain, 0, '(', ')', $off);
1324 return @r;
1326 sub ctx_block_level {
1327 my ($linenr, $remain) = @_;
1329 return ctx_block_get($linenr, $remain, 0, '{', '}', 0);
1331 sub ctx_statement_level {
1332 my ($linenr, $remain, $off) = @_;
1334 return ctx_block_get($linenr, $remain, 0, '(', ')', $off);
1337 sub ctx_locate_comment {
1338 my ($first_line, $end_line) = @_;
1340 # Catch a comment on the end of the line itself.
1341 my ($current_comment) = ($rawlines[$end_line - 1] =~ m@.*(/\*.*\*/)\s*(?:\\\s*)?$@);
1342 return $current_comment if (defined $current_comment);
1344 # Look through the context and try and figure out if there is a
1345 # comment.
1346 my $in_comment = 0;
1347 $current_comment = '';
1348 for (my $linenr = $first_line; $linenr < $end_line; $linenr++) {
1349 my $line = $rawlines[$linenr - 1];
1350 #warn " $line\n";
1351 if ($linenr == $first_line and $line =~ m@^.\s*\*@) {
1352 $in_comment = 1;
1354 if ($line =~ m@/\*@) {
1355 $in_comment = 1;
1357 if (!$in_comment && $current_comment ne '') {
1358 $current_comment = '';
1360 $current_comment .= $line . "\n" if ($in_comment);
1361 if ($line =~ m@\*/@) {
1362 $in_comment = 0;
1366 chomp($current_comment);
1367 return($current_comment);
1369 sub ctx_has_comment {
1370 my ($first_line, $end_line) = @_;
1371 my $cmt = ctx_locate_comment($first_line, $end_line);
1373 ##print "LINE: $rawlines[$end_line - 1 ]\n";
1374 ##print "CMMT: $cmt\n";
1376 return ($cmt ne '');
1379 sub raw_line {
1380 my ($linenr, $cnt) = @_;
1382 my $offset = $linenr - 1;
1383 $cnt++;
1385 my $line;
1386 while ($cnt) {
1387 $line = $rawlines[$offset++];
1388 next if (defined($line) && $line =~ /^-/);
1389 $cnt--;
1392 return $line;
1395 sub cat_vet {
1396 my ($vet) = @_;
1397 my ($res, $coded);
1399 $res = '';
1400 while ($vet =~ /([^[:cntrl:]]*)([[:cntrl:]]|$)/g) {
1401 $res .= $1;
1402 if ($2 ne '') {
1403 $coded = sprintf("^%c", unpack('C', $2) + 64);
1404 $res .= $coded;
1407 $res =~ s/$/\$/;
1409 return $res;
1412 my $av_preprocessor = 0;
1413 my $av_pending;
1414 my @av_paren_type;
1415 my $av_pend_colon;
1417 sub annotate_reset {
1418 $av_preprocessor = 0;
1419 $av_pending = '_';
1420 @av_paren_type = ('E');
1421 $av_pend_colon = 'O';
1424 sub annotate_values {
1425 my ($stream, $type) = @_;
1427 my $res;
1428 my $var = '_' x length($stream);
1429 my $cur = $stream;
1431 print "$stream\n" if ($dbg_values > 1);
1433 while (length($cur)) {
1434 @av_paren_type = ('E') if ($#av_paren_type < 0);
1435 print " <" . join('', @av_paren_type) .
1436 "> <$type> <$av_pending>" if ($dbg_values > 1);
1437 if ($cur =~ /^(\s+)/o) {
1438 print "WS($1)\n" if ($dbg_values > 1);
1439 if ($1 =~ /\n/ && $av_preprocessor) {
1440 $type = pop(@av_paren_type);
1441 $av_preprocessor = 0;
1444 } elsif ($cur =~ /^(\(\s*$Type\s*)\)/ && $av_pending eq '_') {
1445 print "CAST($1)\n" if ($dbg_values > 1);
1446 push(@av_paren_type, $type);
1447 $type = 'c';
1449 } elsif ($cur =~ /^($Type)\s*(?:$Ident|,|\)|\(|\s*$)/) {
1450 print "DECLARE($1)\n" if ($dbg_values > 1);
1451 $type = 'T';
1453 } elsif ($cur =~ /^($Modifier)\s*/) {
1454 print "MODIFIER($1)\n" if ($dbg_values > 1);
1455 $type = 'T';
1457 } elsif ($cur =~ /^(\#\s*define\s*$Ident)(\(?)/o) {
1458 print "DEFINE($1,$2)\n" if ($dbg_values > 1);
1459 $av_preprocessor = 1;
1460 push(@av_paren_type, $type);
1461 if ($2 ne '') {
1462 $av_pending = 'N';
1464 $type = 'E';
1466 } elsif ($cur =~ /^(\#\s*(?:undef\s*$Ident|include\b))/o) {
1467 print "UNDEF($1)\n" if ($dbg_values > 1);
1468 $av_preprocessor = 1;
1469 push(@av_paren_type, $type);
1471 } elsif ($cur =~ /^(\#\s*(?:ifdef|ifndef|if))/o) {
1472 print "PRE_START($1)\n" if ($dbg_values > 1);
1473 $av_preprocessor = 1;
1475 push(@av_paren_type, $type);
1476 push(@av_paren_type, $type);
1477 $type = 'E';
1479 } elsif ($cur =~ /^(\#\s*(?:else|elif))/o) {
1480 print "PRE_RESTART($1)\n" if ($dbg_values > 1);
1481 $av_preprocessor = 1;
1483 push(@av_paren_type, $av_paren_type[$#av_paren_type]);
1485 $type = 'E';
1487 } elsif ($cur =~ /^(\#\s*(?:endif))/o) {
1488 print "PRE_END($1)\n" if ($dbg_values > 1);
1490 $av_preprocessor = 1;
1492 # Assume all arms of the conditional end as this
1493 # one does, and continue as if the #endif was not here.
1494 pop(@av_paren_type);
1495 push(@av_paren_type, $type);
1496 $type = 'E';
1498 } elsif ($cur =~ /^(\\\n)/o) {
1499 print "PRECONT($1)\n" if ($dbg_values > 1);
1501 } elsif ($cur =~ /^(__attribute__)\s*\(?/o) {
1502 print "ATTR($1)\n" if ($dbg_values > 1);
1503 $av_pending = $type;
1504 $type = 'N';
1506 } elsif ($cur =~ /^(sizeof)\s*(\()?/o) {
1507 print "SIZEOF($1)\n" if ($dbg_values > 1);
1508 if (defined $2) {
1509 $av_pending = 'V';
1511 $type = 'N';
1513 } elsif ($cur =~ /^(if|while|for)\b/o) {
1514 print "COND($1)\n" if ($dbg_values > 1);
1515 $av_pending = 'E';
1516 $type = 'N';
1518 } elsif ($cur =~/^(case)/o) {
1519 print "CASE($1)\n" if ($dbg_values > 1);
1520 $av_pend_colon = 'C';
1521 $type = 'N';
1523 } elsif ($cur =~/^(return|else|goto|typeof|__typeof__)\b/o) {
1524 print "KEYWORD($1)\n" if ($dbg_values > 1);
1525 $type = 'N';
1527 } elsif ($cur =~ /^(\()/o) {
1528 print "PAREN('$1')\n" if ($dbg_values > 1);
1529 push(@av_paren_type, $av_pending);
1530 $av_pending = '_';
1531 $type = 'N';
1533 } elsif ($cur =~ /^(\))/o) {
1534 my $new_type = pop(@av_paren_type);
1535 if ($new_type ne '_') {
1536 $type = $new_type;
1537 print "PAREN('$1') -> $type\n"
1538 if ($dbg_values > 1);
1539 } else {
1540 print "PAREN('$1')\n" if ($dbg_values > 1);
1543 } elsif ($cur =~ /^($Ident)\s*\(/o) {
1544 print "FUNC($1)\n" if ($dbg_values > 1);
1545 $type = 'V';
1546 $av_pending = 'V';
1548 } elsif ($cur =~ /^($Ident\s*):(?:\s*\d+\s*(,|=|;))?/) {
1549 if (defined $2 && $type eq 'C' || $type eq 'T') {
1550 $av_pend_colon = 'B';
1551 } elsif ($type eq 'E') {
1552 $av_pend_colon = 'L';
1554 print "IDENT_COLON($1,$type>$av_pend_colon)\n" if ($dbg_values > 1);
1555 $type = 'V';
1557 } elsif ($cur =~ /^($Ident|$Constant)/o) {
1558 print "IDENT($1)\n" if ($dbg_values > 1);
1559 $type = 'V';
1561 } elsif ($cur =~ /^($Assignment)/o) {
1562 print "ASSIGN($1)\n" if ($dbg_values > 1);
1563 $type = 'N';
1565 } elsif ($cur =~/^(;|{|})/) {
1566 print "END($1)\n" if ($dbg_values > 1);
1567 $type = 'E';
1568 $av_pend_colon = 'O';
1570 } elsif ($cur =~/^(,)/) {
1571 print "COMMA($1)\n" if ($dbg_values > 1);
1572 $type = 'C';
1574 } elsif ($cur =~ /^(\?)/o) {
1575 print "QUESTION($1)\n" if ($dbg_values > 1);
1576 $type = 'N';
1578 } elsif ($cur =~ /^(:)/o) {
1579 print "COLON($1,$av_pend_colon)\n" if ($dbg_values > 1);
1581 substr($var, length($res), 1, $av_pend_colon);
1582 if ($av_pend_colon eq 'C' || $av_pend_colon eq 'L') {
1583 $type = 'E';
1584 } else {
1585 $type = 'N';
1587 $av_pend_colon = 'O';
1589 } elsif ($cur =~ /^(\[)/o) {
1590 print "CLOSE($1)\n" if ($dbg_values > 1);
1591 $type = 'N';
1593 } elsif ($cur =~ /^(-(?![->])|\+(?!\+)|\*|\&\&|\&)/o) {
1594 my $variant;
1596 print "OPV($1)\n" if ($dbg_values > 1);
1597 if ($type eq 'V') {
1598 $variant = 'B';
1599 } else {
1600 $variant = 'U';
1603 substr($var, length($res), 1, $variant);
1604 $type = 'N';
1606 } elsif ($cur =~ /^($Operators)/o) {
1607 print "OP($1)\n" if ($dbg_values > 1);
1608 if ($1 ne '++' && $1 ne '--') {
1609 $type = 'N';
1612 } elsif ($cur =~ /(^.)/o) {
1613 print "C($1)\n" if ($dbg_values > 1);
1615 if (defined $1) {
1616 $cur = substr($cur, length($1));
1617 $res .= $type x length($1);
1621 return ($res, $var);
1624 sub possible {
1625 my ($possible, $line) = @_;
1626 my $notPermitted = qr{(?:
1627 ^(?:
1628 $Modifier|
1629 $Storage|
1630 $Type|
1631 DEFINE_\S+
1633 ^(?:
1634 goto|
1635 return|
1636 case|
1637 else|
1638 asm|__asm__|
1641 \#\#|
1642 )(?:\s|$)|
1643 ^(?:typedef|struct|enum)\b
1644 )}x;
1645 warn "CHECK<$possible> ($line)\n" if ($dbg_possible > 2);
1646 if ($possible !~ $notPermitted) {
1647 # Check for modifiers.
1648 $possible =~ s/\s*$Storage\s*//g;
1649 $possible =~ s/\s*$Sparse\s*//g;
1650 if ($possible =~ /^\s*$/) {
1652 } elsif ($possible =~ /\s/) {
1653 $possible =~ s/\s*$Type\s*//g;
1654 for my $modifier (split(' ', $possible)) {
1655 if ($modifier !~ $notPermitted) {
1656 warn "MODIFIER: $modifier ($possible) ($line)\n" if ($dbg_possible);
1657 push(@modifierListFile, $modifier);
1661 } else {
1662 warn "POSSIBLE: $possible ($line)\n" if ($dbg_possible);
1663 push(@typeListFile, $possible);
1665 build_types();
1666 } else {
1667 warn "NOTPOSS: $possible ($line)\n" if ($dbg_possible > 1);
1671 my $prefix = '';
1673 sub show_type {
1674 my ($type) = @_;
1676 return defined $use_type{$type} if (scalar keys %use_type > 0);
1678 return !defined $ignore_type{$type};
1681 sub report {
1682 my ($level, $type, $msg) = @_;
1684 if (!show_type($type) ||
1685 (defined $tst_only && $msg !~ /\Q$tst_only\E/)) {
1686 return 0;
1688 my $output = '';
1689 if (-t STDOUT && $color) {
1690 if ($level eq 'ERROR') {
1691 $output .= RED;
1692 } elsif ($level eq 'WARNING') {
1693 $output .= YELLOW;
1694 } else {
1695 $output .= GREEN;
1698 $output .= $prefix . $level . ':';
1699 if ($show_types) {
1700 $output .= BLUE if (-t STDOUT && $color);
1701 $output .= "$type:";
1703 $output .= RESET if (-t STDOUT && $color);
1704 $output .= ' ' . $msg . "\n";
1706 if ($showfile) {
1707 my @lines = split("\n", $output, -1);
1708 splice(@lines, 1, 1);
1709 $output = join("\n", @lines);
1711 $output = (split('\n', $output))[0] . "\n" if ($terse);
1713 push(our @report, $output);
1715 return 1;
1718 sub report_dump {
1719 our @report;
1722 sub fixup_current_range {
1723 my ($lineRef, $offset, $length) = @_;
1725 if ($$lineRef =~ /^\@\@ -\d+,\d+ \+(\d+),(\d+) \@\@/) {
1726 my $o = $1;
1727 my $l = $2;
1728 my $no = $o + $offset;
1729 my $nl = $l + $length;
1730 $$lineRef =~ s/\+$o,$l \@\@/\+$no,$nl \@\@/;
1734 sub fix_inserted_deleted_lines {
1735 my ($linesRef, $insertedRef, $deletedRef) = @_;
1737 my $range_last_linenr = 0;
1738 my $delta_offset = 0;
1740 my $old_linenr = 0;
1741 my $new_linenr = 0;
1743 my $next_insert = 0;
1744 my $next_delete = 0;
1746 my @lines = ();
1748 my $inserted = @{$insertedRef}[$next_insert++];
1749 my $deleted = @{$deletedRef}[$next_delete++];
1751 foreach my $old_line (@{$linesRef}) {
1752 my $save_line = 1;
1753 my $line = $old_line; #don't modify the array
1754 if ($line =~ /^(?:\+\+\+|\-\-\-)\s+\S+/) { #new filename
1755 $delta_offset = 0;
1756 } elsif ($line =~ /^\@\@ -\d+,\d+ \+\d+,\d+ \@\@/) { #new hunk
1757 $range_last_linenr = $new_linenr;
1758 fixup_current_range(\$line, $delta_offset, 0);
1761 while (defined($deleted) && ${$deleted}{'LINENR'} == $old_linenr) {
1762 $deleted = @{$deletedRef}[$next_delete++];
1763 $save_line = 0;
1764 fixup_current_range(\$lines[$range_last_linenr], $delta_offset--, -1);
1767 while (defined($inserted) && ${$inserted}{'LINENR'} == $old_linenr) {
1768 push(@lines, ${$inserted}{'LINE'});
1769 $inserted = @{$insertedRef}[$next_insert++];
1770 $new_linenr++;
1771 fixup_current_range(\$lines[$range_last_linenr], $delta_offset++, 1);
1774 if ($save_line) {
1775 push(@lines, $line);
1776 $new_linenr++;
1779 $old_linenr++;
1782 return @lines;
1785 sub fix_insert_line {
1786 my ($linenr, $line) = @_;
1788 my $inserted = {
1789 LINENR => $linenr,
1790 LINE => $line,
1792 push(@fixed_inserted, $inserted);
1795 sub fix_delete_line {
1796 my ($linenr, $line) = @_;
1798 my $deleted = {
1799 LINENR => $linenr,
1800 LINE => $line,
1803 push(@fixed_deleted, $deleted);
1806 sub ERROR {
1807 my ($type, $msg) = @_;
1809 if (report("ERROR", $type, $msg)) {
1810 our $clean = 0;
1811 our $cnt_error++;
1812 return 1;
1814 return 0;
1816 sub WARN {
1817 my ($type, $msg) = @_;
1819 if (report("WARNING", $type, $msg)) {
1820 our $clean = 0;
1821 our $cnt_warn++;
1822 return 1;
1824 return 0;
1826 sub CHK {
1827 my ($type, $msg) = @_;
1829 if ($check && report("CHECK", $type, $msg)) {
1830 our $clean = 0;
1831 our $cnt_chk++;
1832 return 1;
1834 return 0;
1837 sub check_absolute_file {
1838 my ($absolute, $herecurr) = @_;
1839 my $file = $absolute;
1841 ##print "absolute<$absolute>\n";
1843 # See if any suffix of this path is a path within the tree.
1844 while ($file =~ s@^[^/]*/@@) {
1845 if (-f "$root/$file") {
1846 ##print "file<$file>\n";
1847 last;
1850 if (! -f _) {
1851 return 0;
1854 # It is, so see if the prefix is acceptable.
1855 my $prefix = $absolute;
1856 substr($prefix, -length($file)) = '';
1858 ##print "prefix<$prefix>\n";
1859 if ($prefix ne ".../") {
1860 WARN("USE_RELATIVE_PATH",
1861 "use relative pathname instead of absolute in changelog text\n" . $herecurr);
1865 sub trim {
1866 my ($string) = @_;
1868 $string =~ s/^\s+|\s+$//g;
1870 return $string;
1873 sub ltrim {
1874 my ($string) = @_;
1876 $string =~ s/^\s+//;
1878 return $string;
1881 sub rtrim {
1882 my ($string) = @_;
1884 $string =~ s/\s+$//;
1886 return $string;
1889 sub string_find_replace {
1890 my ($string, $find, $replace) = @_;
1892 $string =~ s/$find/$replace/g;
1894 return $string;
1897 sub tabify {
1898 my ($leading) = @_;
1900 my $source_indent = 8;
1901 my $max_spaces_before_tab = $source_indent - 1;
1902 my $spaces_to_tab = " " x $source_indent;
1904 #convert leading spaces to tabs
1905 1 while $leading =~ s@^([\t]*)$spaces_to_tab@$1\t@g;
1906 #Remove spaces before a tab
1907 1 while $leading =~ s@^([\t]*)( {1,$max_spaces_before_tab})\t@$1\t@g;
1909 return "$leading";
1912 sub pos_last_openparen {
1913 my ($line) = @_;
1915 my $pos = 0;
1917 my $opens = $line =~ tr/\(/\(/;
1918 my $closes = $line =~ tr/\)/\)/;
1920 my $last_openparen = 0;
1922 if (($opens == 0) || ($closes >= $opens)) {
1923 return -1;
1926 my $len = length($line);
1928 for ($pos = 0; $pos < $len; $pos++) {
1929 my $string = substr($line, $pos);
1930 if ($string =~ /^($FuncArg|$balanced_parens)/) {
1931 $pos += length($1) - 1;
1932 } elsif (substr($line, $pos, 1) eq '(') {
1933 $last_openparen = $pos;
1934 } elsif (index($string, '(') == -1) {
1935 last;
1939 return length(expand_tabs(substr($line, 0, $last_openparen))) + 1;
1942 sub process {
1943 my $filename = shift;
1945 my $linenr=0;
1946 my $prevline="";
1947 my $prevrawline="";
1948 my $stashline="";
1949 my $stashrawline="";
1951 my $length;
1952 my $indent;
1953 my $previndent=0;
1954 my $stashindent=0;
1956 our $clean = 1;
1957 my $signoff = 0;
1958 my $is_patch = 0;
1959 my $in_header_lines = $file ? 0 : 1;
1960 my $in_commit_log = 0; #Scanning lines before patch
1961 my $commit_log_possible_stack_dump = 0;
1962 my $commit_log_long_line = 0;
1963 my $commit_log_has_diff = 0;
1964 my $reported_maintainer_file = 0;
1965 my $non_utf8_charset = 0;
1967 my $last_blank_line = 0;
1968 my $last_coalesced_string_linenr = -1;
1970 our @report = ();
1971 our $cnt_lines = 0;
1972 our $cnt_error = 0;
1973 our $cnt_warn = 0;
1974 our $cnt_chk = 0;
1976 # Trace the real file/line as we go.
1977 my $realfile = '';
1978 my $realline = 0;
1979 my $realcnt = 0;
1980 my $here = '';
1981 my $in_comment = 0;
1982 my $comment_edge = 0;
1983 my $first_line = 0;
1984 my $p1_prefix = '';
1986 my $prev_values = 'E';
1988 # suppression flags
1989 my %suppress_ifbraces;
1990 my %suppress_whiletrailers;
1991 my %suppress_export;
1992 my $suppress_statement = 0;
1994 my %signatures = ();
1996 # Pre-scan the patch sanitizing the lines.
1997 # Pre-scan the patch looking for any __setup documentation.
1999 my @setup_docs = ();
2000 my $setup_docs = 0;
2002 my $camelcase_file_seeded = 0;
2004 sanitise_line_reset();
2005 my $line;
2006 foreach my $rawline (@rawlines) {
2007 $linenr++;
2008 $line = $rawline;
2010 push(@fixed, $rawline) if ($fix);
2012 if ($rawline=~/^\+\+\+\s+(\S+)/) {
2013 $setup_docs = 0;
2014 if ($1 =~ m@Documentation/kernel-parameters.txt$@) {
2015 $setup_docs = 1;
2017 #next;
2019 if ($rawline=~/^\@\@ -\d+(?:,\d+)? \+(\d+)(,(\d+))? \@\@/) {
2020 $realline=$1-1;
2021 if (defined $2) {
2022 $realcnt=$3+1;
2023 } else {
2024 $realcnt=1+1;
2026 $in_comment = 0;
2028 # Guestimate if this is a continuing comment. Run
2029 # the context looking for a comment "edge". If this
2030 # edge is a close comment then we must be in a comment
2031 # at context start.
2032 my $edge;
2033 my $cnt = $realcnt;
2034 for (my $ln = $linenr + 1; $cnt > 0; $ln++) {
2035 next if (defined $rawlines[$ln - 1] &&
2036 $rawlines[$ln - 1] =~ /^-/);
2037 $cnt--;
2038 #print "RAW<$rawlines[$ln - 1]>\n";
2039 last if (!defined $rawlines[$ln - 1]);
2040 if ($rawlines[$ln - 1] =~ m@(/\*|\*/)@ &&
2041 $rawlines[$ln - 1] !~ m@"[^"]*(?:/\*|\*/)[^"]*"@) {
2042 ($edge) = $1;
2043 last;
2046 if (defined $edge && $edge eq '*/') {
2047 $in_comment = 1;
2050 # Guestimate if this is a continuing comment. If this
2051 # is the start of a diff block and this line starts
2052 # ' *' then it is very likely a comment.
2053 if (!defined $edge &&
2054 $rawlines[$linenr] =~ m@^.\s*(?:\*\*+| \*)(?:\s|$)@)
2056 $in_comment = 1;
2059 ##print "COMMENT:$in_comment edge<$edge> $rawline\n";
2060 sanitise_line_reset($in_comment);
2062 } elsif ($realcnt && $rawline =~ /^(?:\+| |$)/) {
2063 # Standardise the strings and chars within the input to
2064 # simplify matching -- only bother with positive lines.
2065 $line = sanitise_line($rawline);
2067 push(@lines, $line);
2069 if ($realcnt > 1) {
2070 $realcnt-- if ($line =~ /^(?:\+| |$)/);
2071 } else {
2072 $realcnt = 0;
2075 #print "==>$rawline\n";
2076 #print "-->$line\n";
2078 if ($setup_docs && $line =~ /^\+/) {
2079 push(@setup_docs, $line);
2083 $prefix = '';
2085 $realcnt = 0;
2086 $linenr = 0;
2087 $fixlinenr = -1;
2088 foreach my $line (@lines) {
2089 $linenr++;
2090 $fixlinenr++;
2091 my $sline = $line; #copy of $line
2092 $sline =~ s/$;/ /g; #with comments as spaces
2094 my $rawline = $rawlines[$linenr - 1];
2096 #extract the line range in the file after the patch is applied
2097 if (!$in_commit_log &&
2098 $line =~ /^\@\@ -\d+(?:,\d+)? \+(\d+)(,(\d+))? \@\@/) {
2099 $is_patch = 1;
2100 $first_line = $linenr + 1;
2101 $realline=$1-1;
2102 if (defined $2) {
2103 $realcnt=$3+1;
2104 } else {
2105 $realcnt=1+1;
2107 annotate_reset();
2108 $prev_values = 'E';
2110 %suppress_ifbraces = ();
2111 %suppress_whiletrailers = ();
2112 %suppress_export = ();
2113 $suppress_statement = 0;
2114 next;
2116 # track the line number as we move through the hunk, note that
2117 # new versions of GNU diff omit the leading space on completely
2118 # blank context lines so we need to count that too.
2119 } elsif ($line =~ /^( |\+|$)/) {
2120 $realline++;
2121 $realcnt-- if ($realcnt != 0);
2123 # Measure the line length and indent.
2124 ($length, $indent) = line_stats($rawline);
2126 # Track the previous line.
2127 ($prevline, $stashline) = ($stashline, $line);
2128 ($previndent, $stashindent) = ($stashindent, $indent);
2129 ($prevrawline, $stashrawline) = ($stashrawline, $rawline);
2131 #warn "line<$line>\n";
2133 } elsif ($realcnt == 1) {
2134 $realcnt--;
2137 my $hunk_line = ($realcnt != 0);
2139 $here = "#$linenr: " if (!$file);
2140 $here = "#$realline: " if ($file);
2142 my $found_file = 0;
2143 # extract the filename as it passes
2144 if ($line =~ /^diff --git.*?(\S+)$/) {
2145 $realfile = $1;
2146 $realfile =~ s@^([^/]*)/@@ if (!$file);
2147 $in_commit_log = 0;
2148 $found_file = 1;
2149 } elsif ($line =~ /^\+\+\+\s+(\S+)/) {
2150 $realfile = $1;
2151 $realfile =~ s@^([^/]*)/@@ if (!$file);
2152 $in_commit_log = 0;
2154 $p1_prefix = $1;
2155 if (!$file && $tree && $p1_prefix ne '' &&
2156 -e "$root/$p1_prefix") {
2157 WARN("PATCH_PREFIX",
2158 "patch prefix '$p1_prefix' exists, appears to be a -p0 patch\n");
2161 if ($realfile =~ m@^include/asm/@) {
2162 ERROR("MODIFIED_INCLUDE_ASM",
2163 "do not modify files in include/asm, change architecture specific files in include/asm-<architecture>\n" . "$here$rawline\n");
2165 $found_file = 1;
2168 #make up the handle for any error we report on this line
2169 if ($showfile) {
2170 $prefix = "$realfile:$realline: "
2171 } elsif ($emacs) {
2172 if ($file) {
2173 $prefix = "$filename:$realline: ";
2174 } else {
2175 $prefix = "$filename:$linenr: ";
2179 if ($found_file) {
2180 if ($realfile =~ m@^(?:drivers/net/|net/|drivers/staging/)@) {
2181 $check = 1;
2182 } else {
2183 $check = $check_orig;
2185 next;
2188 $here .= "FILE: $realfile:$realline:" if ($realcnt != 0);
2190 my $hereline = "$here\n$rawline\n";
2191 my $herecurr = "$here\n$rawline\n";
2192 my $hereprev = "$here\n$prevrawline\n$rawline\n";
2194 $cnt_lines++ if ($realcnt != 0);
2196 # Check if the commit log has what seems like a diff which can confuse patch
2197 if ($in_commit_log && !$commit_log_has_diff &&
2198 (($line =~ m@^\s+diff\b.*a/[\w/]+@ &&
2199 $line =~ m@^\s+diff\b.*a/([\w/]+)\s+b/$1\b@) ||
2200 $line =~ m@^\s*(?:\-\-\-\s+a/|\+\+\+\s+b/)@ ||
2201 $line =~ m/^\s*\@\@ \-\d+,\d+ \+\d+,\d+ \@\@/)) {
2202 ERROR("DIFF_IN_COMMIT_MSG",
2203 "Avoid using diff content in the commit message - patch(1) might not work\n" . $herecurr);
2204 $commit_log_has_diff = 1;
2207 # Check for incorrect file permissions
2208 if ($line =~ /^new (file )?mode.*[7531]\d{0,2}$/) {
2209 my $permhere = $here . "FILE: $realfile\n";
2210 if ($realfile !~ m@scripts/@ &&
2211 $realfile !~ /\.(py|pl|awk|sh)$/) {
2212 ERROR("EXECUTE_PERMISSIONS",
2213 "do not set execute permissions for source files\n" . $permhere);
2217 # Check the patch for a signoff:
2218 if ($line =~ /^\s*signed-off-by:/i) {
2219 $signoff++;
2220 $in_commit_log = 0;
2223 # Check if MAINTAINERS is being updated. If so, there's probably no need to
2224 # emit the "does MAINTAINERS need updating?" message on file add/move/delete
2225 if ($line =~ /^\s*MAINTAINERS\s*\|/) {
2226 $reported_maintainer_file = 1;
2229 # Check signature styles
2230 if (!$in_header_lines &&
2231 $line =~ /^(\s*)([a-z0-9_-]+by:|$signature_tags)(\s*)(.*)/i) {
2232 my $space_before = $1;
2233 my $sign_off = $2;
2234 my $space_after = $3;
2235 my $email = $4;
2236 my $ucfirst_sign_off = ucfirst(lc($sign_off));
2238 if ($sign_off !~ /$signature_tags/) {
2239 WARN("BAD_SIGN_OFF",
2240 "Non-standard signature: $sign_off\n" . $herecurr);
2242 if (defined $space_before && $space_before ne "") {
2243 if (WARN("BAD_SIGN_OFF",
2244 "Do not use whitespace before $ucfirst_sign_off\n" . $herecurr) &&
2245 $fix) {
2246 $fixed[$fixlinenr] =
2247 "$ucfirst_sign_off $email";
2250 if ($sign_off =~ /-by:$/i && $sign_off ne $ucfirst_sign_off) {
2251 if (WARN("BAD_SIGN_OFF",
2252 "'$ucfirst_sign_off' is the preferred signature form\n" . $herecurr) &&
2253 $fix) {
2254 $fixed[$fixlinenr] =
2255 "$ucfirst_sign_off $email";
2259 if (!defined $space_after || $space_after ne " ") {
2260 if (WARN("BAD_SIGN_OFF",
2261 "Use a single space after $ucfirst_sign_off\n" . $herecurr) &&
2262 $fix) {
2263 $fixed[$fixlinenr] =
2264 "$ucfirst_sign_off $email";
2268 my ($email_name, $email_address, $comment) = parse_email($email);
2269 my $suggested_email = format_email(($email_name, $email_address));
2270 if ($suggested_email eq "") {
2271 ERROR("BAD_SIGN_OFF",
2272 "Unrecognized email address: '$email'\n" . $herecurr);
2273 } else {
2274 my $dequoted = $suggested_email;
2275 $dequoted =~ s/^"//;
2276 $dequoted =~ s/" </ </;
2277 # Don't force email to have quotes
2278 # Allow just an angle bracketed address
2279 if ("$dequoted$comment" ne $email &&
2280 "<$email_address>$comment" ne $email &&
2281 "$suggested_email$comment" ne $email) {
2282 WARN("BAD_SIGN_OFF",
2283 "email address '$email' might be better as '$suggested_email$comment'\n" . $herecurr);
2287 # Check for duplicate signatures
2288 my $sig_nospace = $line;
2289 $sig_nospace =~ s/\s//g;
2290 $sig_nospace = lc($sig_nospace);
2291 if (defined $signatures{$sig_nospace}) {
2292 WARN("BAD_SIGN_OFF",
2293 "Duplicate signature\n" . $herecurr);
2294 } else {
2295 $signatures{$sig_nospace} = 1;
2299 # Check email subject for common tools that don't need to be mentioned
2300 if ($in_header_lines &&
2301 $line =~ /^Subject:.*\b(?:checkpatch|sparse|smatch)\b[^:]/i) {
2302 WARN("EMAIL_SUBJECT",
2303 "A patch subject line should describe the change not the tool that found it\n" . $herecurr);
2306 # Check for old stable address
2307 if ($line =~ /^\s*cc:\s*.*<?\bstable\@kernel\.org\b>?.*$/i) {
2308 ERROR("STABLE_ADDRESS",
2309 "The 'stable' address should be 'stable\@vger.kernel.org'\n" . $herecurr);
2312 # Check for unwanted Gerrit info
2313 if ($in_commit_log && $line =~ /^\s*change-id:/i) {
2314 ERROR("GERRIT_CHANGE_ID",
2315 "Remove Gerrit Change-Id's before submitting upstream.\n" . $herecurr);
2318 # Check if the commit log is in a possible stack dump
2319 if ($in_commit_log && !$commit_log_possible_stack_dump &&
2320 ($line =~ /^\s*(?:WARNING:|BUG:)/ ||
2321 $line =~ /^\s*\[\s*\d+\.\d{6,6}\s*\]/ ||
2322 # timestamp
2323 $line =~ /^\s*\[\<[0-9a-fA-F]{8,}\>\]/)) {
2324 # stack dump address
2325 $commit_log_possible_stack_dump = 1;
2328 # Check for line lengths > 75 in commit log, warn once
2329 if ($in_commit_log && !$commit_log_long_line &&
2330 length($line) > 75 &&
2331 !($line =~ /^\s*[a-zA-Z0-9_\/\.]+\s+\|\s+\d+/ ||
2332 # file delta changes
2333 $line =~ /^\s*(?:[\w\.\-]+\/)++[\w\.\-]+:/ ||
2334 # filename then :
2335 $line =~ /^\s*(?:Fixes:|Link:)/i ||
2336 # A Fixes: or Link: line
2337 $commit_log_possible_stack_dump)) {
2338 WARN("COMMIT_LOG_LONG_LINE",
2339 "Possible unwrapped commit description (prefer a maximum 75 chars per line)\n" . $herecurr);
2340 $commit_log_long_line = 1;
2343 # Reset possible stack dump if a blank line is found
2344 if ($in_commit_log && $commit_log_possible_stack_dump &&
2345 $line =~ /^\s*$/) {
2346 $commit_log_possible_stack_dump = 0;
2349 # Check for git id commit length and improperly formed commit descriptions
2350 if ($in_commit_log && !$commit_log_possible_stack_dump &&
2351 ($line =~ /\bcommit\s+[0-9a-f]{5,}\b/i ||
2352 ($line =~ /\b[0-9a-f]{12,40}\b/i &&
2353 $line !~ /[\<\[][0-9a-f]{12,40}[\>\]]/i &&
2354 $line !~ /\bfixes:\s*[0-9a-f]{12,40}/i))) {
2355 my $init_char = "c";
2356 my $orig_commit = "";
2357 my $short = 1;
2358 my $long = 0;
2359 my $case = 1;
2360 my $space = 1;
2361 my $hasdesc = 0;
2362 my $hasparens = 0;
2363 my $id = '0123456789ab';
2364 my $orig_desc = "commit description";
2365 my $description = "";
2367 if ($line =~ /\b(c)ommit\s+([0-9a-f]{5,})\b/i) {
2368 $init_char = $1;
2369 $orig_commit = lc($2);
2370 } elsif ($line =~ /\b([0-9a-f]{12,40})\b/i) {
2371 $orig_commit = lc($1);
2374 $short = 0 if ($line =~ /\bcommit\s+[0-9a-f]{12,40}/i);
2375 $long = 1 if ($line =~ /\bcommit\s+[0-9a-f]{41,}/i);
2376 $space = 0 if ($line =~ /\bcommit [0-9a-f]/i);
2377 $case = 0 if ($line =~ /\b[Cc]ommit\s+[0-9a-f]{5,40}[^A-F]/);
2378 if ($line =~ /\bcommit\s+[0-9a-f]{5,}\s+\("([^"]+)"\)/i) {
2379 $orig_desc = $1;
2380 $hasparens = 1;
2381 } elsif ($line =~ /\bcommit\s+[0-9a-f]{5,}\s*$/i &&
2382 defined $rawlines[$linenr] &&
2383 $rawlines[$linenr] =~ /^\s*\("([^"]+)"\)/) {
2384 $orig_desc = $1;
2385 $hasparens = 1;
2386 } elsif ($line =~ /\bcommit\s+[0-9a-f]{5,}\s+\("[^"]+$/i &&
2387 defined $rawlines[$linenr] &&
2388 $rawlines[$linenr] =~ /^\s*[^"]+"\)/) {
2389 $line =~ /\bcommit\s+[0-9a-f]{5,}\s+\("([^"]+)$/i;
2390 $orig_desc = $1;
2391 $rawlines[$linenr] =~ /^\s*([^"]+)"\)/;
2392 $orig_desc .= " " . $1;
2393 $hasparens = 1;
2396 ($id, $description) = git_commit_info($orig_commit,
2397 $id, $orig_desc);
2399 if ($short || $long || $space || $case || ($orig_desc ne $description) || !$hasparens) {
2400 ERROR("GIT_COMMIT_ID",
2401 "Please use git commit description style 'commit <12+ chars of sha1> (\"<title line>\")' - ie: '${init_char}ommit $id (\"$description\")'\n" . $herecurr);
2405 # Check for added, moved or deleted files
2406 if (!$reported_maintainer_file && !$in_commit_log &&
2407 ($line =~ /^(?:new|deleted) file mode\s*\d+\s*$/ ||
2408 $line =~ /^rename (?:from|to) [\w\/\.\-]+\s*$/ ||
2409 ($line =~ /\{\s*([\w\/\.\-]*)\s*\=\>\s*([\w\/\.\-]*)\s*\}/ &&
2410 (defined($1) || defined($2))))) {
2411 $reported_maintainer_file = 1;
2412 WARN("FILE_PATH_CHANGES",
2413 "added, moved or deleted file(s), does MAINTAINERS need updating?\n" . $herecurr);
2416 # Check for wrappage within a valid hunk of the file
2417 if ($realcnt != 0 && $line !~ m{^(?:\+|-| |\\ No newline|$)}) {
2418 ERROR("CORRUPTED_PATCH",
2419 "patch seems to be corrupt (line wrapped?)\n" .
2420 $herecurr) if (!$emitted_corrupt++);
2423 # Check for absolute kernel paths.
2424 if ($tree) {
2425 while ($line =~ m{(?:^|\s)(/\S*)}g) {
2426 my $file = $1;
2428 if ($file =~ m{^(.*?)(?::\d+)+:?$} &&
2429 check_absolute_file($1, $herecurr)) {
2431 } else {
2432 check_absolute_file($file, $herecurr);
2437 # UTF-8 regex found at http://www.w3.org/International/questions/qa-forms-utf-8.en.php
2438 if (($realfile =~ /^$/ || $line =~ /^\+/) &&
2439 $rawline !~ m/^$UTF8*$/) {
2440 my ($utf8_prefix) = ($rawline =~ /^($UTF8*)/);
2442 my $blank = copy_spacing($rawline);
2443 my $ptr = substr($blank, 0, length($utf8_prefix)) . "^";
2444 my $hereptr = "$hereline$ptr\n";
2446 CHK("INVALID_UTF8",
2447 "Invalid UTF-8, patch and commit message should be encoded in UTF-8\n" . $hereptr);
2450 # Check if it's the start of a commit log
2451 # (not a header line and we haven't seen the patch filename)
2452 if ($in_header_lines && $realfile =~ /^$/ &&
2453 !($rawline =~ /^\s+\S/ ||
2454 $rawline =~ /^(commit\b|from\b|[\w-]+:).*$/i)) {
2455 $in_header_lines = 0;
2456 $in_commit_log = 1;
2459 # Check if there is UTF-8 in a commit log when a mail header has explicitly
2460 # declined it, i.e defined some charset where it is missing.
2461 if ($in_header_lines &&
2462 $rawline =~ /^Content-Type:.+charset="(.+)".*$/ &&
2463 $1 !~ /utf-8/i) {
2464 $non_utf8_charset = 1;
2467 if ($in_commit_log && $non_utf8_charset && $realfile =~ /^$/ &&
2468 $rawline =~ /$NON_ASCII_UTF8/) {
2469 WARN("UTF8_BEFORE_PATCH",
2470 "8-bit UTF-8 used in possible commit log\n" . $herecurr);
2473 # Check for various typo / spelling mistakes
2474 if (defined($misspellings) &&
2475 ($in_commit_log || $line =~ /^(?:\+|Subject:)/i)) {
2476 while ($rawline =~ /(?:^|[^a-z@])($misspellings)(?:\b|$|[^a-z@])/gi) {
2477 my $typo = $1;
2478 my $typo_fix = $spelling_fix{lc($typo)};
2479 $typo_fix = ucfirst($typo_fix) if ($typo =~ /^[A-Z]/);
2480 $typo_fix = uc($typo_fix) if ($typo =~ /^[A-Z]+$/);
2481 my $msg_type = \&WARN;
2482 $msg_type = \&CHK if ($file);
2483 if (&{$msg_type}("TYPO_SPELLING",
2484 "'$typo' may be misspelled - perhaps '$typo_fix'?\n" . $herecurr) &&
2485 $fix) {
2486 $fixed[$fixlinenr] =~ s/(^|[^A-Za-z@])($typo)($|[^A-Za-z@])/$1$typo_fix$3/;
2491 # ignore non-hunk lines and lines being removed
2492 next if (!$hunk_line || $line =~ /^-/);
2494 #trailing whitespace
2495 if ($line =~ /^\+.*\015/) {
2496 my $herevet = "$here\n" . cat_vet($rawline) . "\n";
2497 if (ERROR("DOS_LINE_ENDINGS",
2498 "DOS line endings\n" . $herevet) &&
2499 $fix) {
2500 $fixed[$fixlinenr] =~ s/[\s\015]+$//;
2502 } elsif ($rawline =~ /^\+.*\S\s+$/ || $rawline =~ /^\+\s+$/) {
2503 my $herevet = "$here\n" . cat_vet($rawline) . "\n";
2504 if (ERROR("TRAILING_WHITESPACE",
2505 "trailing whitespace\n" . $herevet) &&
2506 $fix) {
2507 $fixed[$fixlinenr] =~ s/\s+$//;
2510 $rpt_cleaners = 1;
2513 # Check for FSF mailing addresses.
2514 if ($rawline =~ /\bwrite to the Free/i ||
2515 $rawline =~ /\b59\s+Temple\s+Pl/i ||
2516 $rawline =~ /\b51\s+Franklin\s+St/i) {
2517 my $herevet = "$here\n" . cat_vet($rawline) . "\n";
2518 my $msg_type = \&ERROR;
2519 $msg_type = \&CHK if ($file);
2520 &{$msg_type}("FSF_MAILING_ADDRESS",
2521 "Do not include the paragraph about writing to the Free Software Foundation's mailing address from the sample GPL notice. The FSF has changed addresses in the past, and may do so again. Linux already includes a copy of the GPL.\n" . $herevet)
2524 # check for Kconfig help text having a real description
2525 # Only applies when adding the entry originally, after that we do not have
2526 # sufficient context to determine whether it is indeed long enough.
2527 if ($realfile =~ /Kconfig/ &&
2528 $line =~ /^\+\s*config\s+/) {
2529 my $length = 0;
2530 my $cnt = $realcnt;
2531 my $ln = $linenr + 1;
2532 my $f;
2533 my $is_start = 0;
2534 my $is_end = 0;
2535 for (; $cnt > 0 && defined $lines[$ln - 1]; $ln++) {
2536 $f = $lines[$ln - 1];
2537 $cnt-- if ($lines[$ln - 1] !~ /^-/);
2538 $is_end = $lines[$ln - 1] =~ /^\+/;
2540 next if ($f =~ /^-/);
2541 last if (!$file && $f =~ /^\@\@/);
2543 if ($lines[$ln - 1] =~ /^\+\s*(?:bool|tristate)\s*\"/) {
2544 $is_start = 1;
2545 } elsif ($lines[$ln - 1] =~ /^\+\s*(?:---)?help(?:---)?$/) {
2546 $length = -1;
2549 $f =~ s/^.//;
2550 $f =~ s/#.*//;
2551 $f =~ s/^\s+//;
2552 next if ($f =~ /^$/);
2553 if ($f =~ /^\s*config\s/) {
2554 $is_end = 1;
2555 last;
2557 $length++;
2559 if ($is_start && $is_end && $length < $min_conf_desc_length) {
2560 WARN("CONFIG_DESCRIPTION",
2561 "please write a paragraph that describes the config symbol fully\n" . $herecurr);
2563 #print "is_start<$is_start> is_end<$is_end> length<$length>\n";
2566 # discourage the addition of CONFIG_EXPERIMENTAL in Kconfig.
2567 if ($realfile =~ /Kconfig/ &&
2568 $line =~ /.\s*depends on\s+.*\bEXPERIMENTAL\b/) {
2569 WARN("CONFIG_EXPERIMENTAL",
2570 "Use of CONFIG_EXPERIMENTAL is deprecated. For alternatives, see https://lkml.org/lkml/2012/10/23/580\n");
2573 # discourage the use of boolean for type definition attributes of Kconfig options
2574 if ($realfile =~ /Kconfig/ &&
2575 $line =~ /^\+\s*\bboolean\b/) {
2576 WARN("CONFIG_TYPE_BOOLEAN",
2577 "Use of boolean is deprecated, please use bool instead.\n" . $herecurr);
2580 if (($realfile =~ /Makefile.*/ || $realfile =~ /Kbuild.*/) &&
2581 ($line =~ /\+(EXTRA_[A-Z]+FLAGS).*/)) {
2582 my $flag = $1;
2583 my $replacement = {
2584 'EXTRA_AFLAGS' => 'asflags-y',
2585 'EXTRA_CFLAGS' => 'ccflags-y',
2586 'EXTRA_CPPFLAGS' => 'cppflags-y',
2587 'EXTRA_LDFLAGS' => 'ldflags-y',
2590 WARN("DEPRECATED_VARIABLE",
2591 "Use of $flag is deprecated, please use \`$replacement->{$flag} instead.\n" . $herecurr) if ($replacement->{$flag});
2594 # check for DT compatible documentation
2595 if (defined $root &&
2596 (($realfile =~ /\.dtsi?$/ && $line =~ /^\+\s*compatible\s*=\s*\"/) ||
2597 ($realfile =~ /\.[ch]$/ && $line =~ /^\+.*\.compatible\s*=\s*\"/))) {
2599 my @compats = $rawline =~ /\"([a-zA-Z0-9\-\,\.\+_]+)\"/g;
2601 my $dt_path = $root . "/Documentation/devicetree/bindings/";
2602 my $vp_file = $dt_path . "vendor-prefixes.txt";
2604 foreach my $compat (@compats) {
2605 my $compat2 = $compat;
2606 $compat2 =~ s/\,[a-zA-Z0-9]*\-/\,<\.\*>\-/;
2607 my $compat3 = $compat;
2608 $compat3 =~ s/\,([a-z]*)[0-9]*\-/\,$1<\.\*>\-/;
2609 `grep -Erq "$compat|$compat2|$compat3" $dt_path`;
2610 if ( $? >> 8 ) {
2611 WARN("UNDOCUMENTED_DT_STRING",
2612 "DT compatible string \"$compat\" appears un-documented -- check $dt_path\n" . $herecurr);
2615 next if $compat !~ /^([a-zA-Z0-9\-]+)\,/;
2616 my $vendor = $1;
2617 `grep -Eq "^$vendor\\b" $vp_file`;
2618 if ( $? >> 8 ) {
2619 WARN("UNDOCUMENTED_DT_STRING",
2620 "DT compatible string vendor \"$vendor\" appears un-documented -- check $vp_file\n" . $herecurr);
2625 # check we are in a valid source file if not then ignore this hunk
2626 next if ($realfile !~ /\.(h|c|s|S|pl|sh|dtsi|dts)$/);
2628 # line length limit (with some exclusions)
2630 # There are a few types of lines that may extend beyond $max_line_length:
2631 # logging functions like pr_info that end in a string
2632 # lines with a single string
2633 # #defines that are a single string
2635 # There are 3 different line length message types:
2636 # LONG_LINE_COMMENT a comment starts before but extends beyond $max_linelength
2637 # LONG_LINE_STRING a string starts before but extends beyond $max_line_length
2638 # LONG_LINE all other lines longer than $max_line_length
2640 # if LONG_LINE is ignored, the other 2 types are also ignored
2643 if ($line =~ /^\+/ && $length > $max_line_length) {
2644 my $msg_type = "LONG_LINE";
2646 # Check the allowed long line types first
2648 # logging functions that end in a string that starts
2649 # before $max_line_length
2650 if ($line =~ /^\+\s*$logFunctions\s*\(\s*(?:(?:KERN_\S+\s*|[^"]*))?($String\s*(?:|,|\)\s*;)\s*)$/ &&
2651 length(expand_tabs(substr($line, 1, length($line) - length($1) - 1))) <= $max_line_length) {
2652 $msg_type = "";
2654 # lines with only strings (w/ possible termination)
2655 # #defines with only strings
2656 } elsif ($line =~ /^\+\s*$String\s*(?:\s*|,|\)\s*;)\s*$/ ||
2657 $line =~ /^\+\s*#\s*define\s+\w+\s+$String$/) {
2658 $msg_type = "";
2660 # Otherwise set the alternate message types
2662 # a comment starts before $max_line_length
2663 } elsif ($line =~ /($;[\s$;]*)$/ &&
2664 length(expand_tabs(substr($line, 1, length($line) - length($1) - 1))) <= $max_line_length) {
2665 $msg_type = "LONG_LINE_COMMENT"
2667 # a quoted string starts before $max_line_length
2668 } elsif ($sline =~ /\s*($String(?:\s*(?:\\|,\s*|\)\s*;\s*))?)$/ &&
2669 length(expand_tabs(substr($line, 1, length($line) - length($1) - 1))) <= $max_line_length) {
2670 $msg_type = "LONG_LINE_STRING"
2673 if ($msg_type ne "" &&
2674 (show_type("LONG_LINE") || show_type($msg_type))) {
2675 WARN($msg_type,
2676 "line over $max_line_length characters\n" . $herecurr);
2680 # check for adding lines without a newline.
2681 if ($line =~ /^\+/ && defined $lines[$linenr] && $lines[$linenr] =~ /^\\ No newline at end of file/) {
2682 WARN("MISSING_EOF_NEWLINE",
2683 "adding a line without newline at end of file\n" . $herecurr);
2686 # Blackfin: use hi/lo macros
2687 if ($realfile =~ m@arch/blackfin/.*\.S$@) {
2688 if ($line =~ /\.[lL][[:space:]]*=.*&[[:space:]]*0x[fF][fF][fF][fF]/) {
2689 my $herevet = "$here\n" . cat_vet($line) . "\n";
2690 ERROR("LO_MACRO",
2691 "use the LO() macro, not (... & 0xFFFF)\n" . $herevet);
2693 if ($line =~ /\.[hH][[:space:]]*=.*>>[[:space:]]*16/) {
2694 my $herevet = "$here\n" . cat_vet($line) . "\n";
2695 ERROR("HI_MACRO",
2696 "use the HI() macro, not (... >> 16)\n" . $herevet);
2700 # check we are in a valid source file C or perl if not then ignore this hunk
2701 next if ($realfile !~ /\.(h|c|pl|dtsi|dts)$/);
2703 # at the beginning of a line any tabs must come first and anything
2704 # more than 8 must use tabs.
2705 if ($rawline =~ /^\+\s* \t\s*\S/ ||
2706 $rawline =~ /^\+\s* \s*/) {
2707 my $herevet = "$here\n" . cat_vet($rawline) . "\n";
2708 $rpt_cleaners = 1;
2709 if (ERROR("CODE_INDENT",
2710 "code indent should use tabs where possible\n" . $herevet) &&
2711 $fix) {
2712 $fixed[$fixlinenr] =~ s/^\+([ \t]+)/"\+" . tabify($1)/e;
2716 # check for space before tabs.
2717 if ($rawline =~ /^\+/ && $rawline =~ / \t/) {
2718 my $herevet = "$here\n" . cat_vet($rawline) . "\n";
2719 if (WARN("SPACE_BEFORE_TAB",
2720 "please, no space before tabs\n" . $herevet) &&
2721 $fix) {
2722 while ($fixed[$fixlinenr] =~
2723 s/(^\+.*) {8,8}\t/$1\t\t/) {}
2724 while ($fixed[$fixlinenr] =~
2725 s/(^\+.*) +\t/$1\t/) {}
2729 # check for && or || at the start of a line
2730 if ($rawline =~ /^\+\s*(&&|\|\|)/) {
2731 CHK("LOGICAL_CONTINUATIONS",
2732 "Logical continuations should be on the previous line\n" . $hereprev);
2735 # check multi-line statement indentation matches previous line
2736 if ($^V && $^V ge 5.10.0 &&
2737 $prevline =~ /^\+([ \t]*)((?:$c90_Keywords(?:\s+if)\s*)|(?:$Declare\s*)?(?:$Ident|\(\s*\*\s*$Ident\s*\))\s*|$Ident\s*=\s*$Ident\s*)\(.*(\&\&|\|\||,)\s*$/) {
2738 $prevline =~ /^\+(\t*)(.*)$/;
2739 my $oldindent = $1;
2740 my $rest = $2;
2742 my $pos = pos_last_openparen($rest);
2743 if ($pos >= 0) {
2744 $line =~ /^(\+| )([ \t]*)/;
2745 my $newindent = $2;
2747 my $goodtabindent = $oldindent .
2748 "\t" x ($pos / 8) .
2749 " " x ($pos % 8);
2750 my $goodspaceindent = $oldindent . " " x $pos;
2752 if ($newindent ne $goodtabindent &&
2753 $newindent ne $goodspaceindent) {
2755 if (CHK("PARENTHESIS_ALIGNMENT",
2756 "Alignment should match open parenthesis\n" . $hereprev) &&
2757 $fix && $line =~ /^\+/) {
2758 $fixed[$fixlinenr] =~
2759 s/^\+[ \t]*/\+$goodtabindent/;
2765 # check for space after cast like "(int) foo" or "(struct foo) bar"
2766 # avoid checking a few false positives:
2767 # "sizeof(<type>)" or "__alignof__(<type>)"
2768 # function pointer declarations like "(*foo)(int) = bar;"
2769 # structure definitions like "(struct foo) { 0 };"
2770 # multiline macros that define functions
2771 # known attributes or the __attribute__ keyword
2772 if ($line =~ /^\+(.*)\(\s*$Type\s*\)([ \t]++)((?![={]|\\$|$Attribute|__attribute__))/ &&
2773 (!defined($1) || $1 !~ /\b(?:sizeof|__alignof__)\s*$/)) {
2774 if (CHK("SPACING",
2775 "No space is necessary after a cast\n" . $herecurr) &&
2776 $fix) {
2777 $fixed[$fixlinenr] =~
2778 s/(\(\s*$Type\s*\))[ \t]+/$1/;
2782 # Block comment styles
2783 # Networking with an initial /*
2784 if ($realfile =~ m@^(drivers/net/|net/)@ &&
2785 $prevrawline =~ /^\+[ \t]*\/\*[ \t]*$/ &&
2786 $rawline =~ /^\+[ \t]*\*/ &&
2787 $realline > 2) {
2788 WARN("NETWORKING_BLOCK_COMMENT_STYLE",
2789 "networking block comments don't use an empty /* line, use /* Comment...\n" . $hereprev);
2792 # Block comments use * on subsequent lines
2793 if ($prevline =~ /$;[ \t]*$/ && #ends in comment
2794 $prevrawline =~ /^\+.*?\/\*/ && #starting /*
2795 $prevrawline !~ /\*\/[ \t]*$/ && #no trailing */
2796 $rawline =~ /^\+/ && #line is new
2797 $rawline !~ /^\+[ \t]*\*/) { #no leading *
2798 WARN("BLOCK_COMMENT_STYLE",
2799 "Block comments use * on subsequent lines\n" . $hereprev);
2802 # Block comments use */ on trailing lines
2803 if ($rawline !~ m@^\+[ \t]*\*/[ \t]*$@ && #trailing */
2804 $rawline !~ m@^\+.*/\*.*\*/[ \t]*$@ && #inline /*...*/
2805 $rawline !~ m@^\+.*\*{2,}/[ \t]*$@ && #trailing **/
2806 $rawline =~ m@^\+[ \t]*.+\*\/[ \t]*$@) { #non blank */
2807 WARN("BLOCK_COMMENT_STYLE",
2808 "Block comments use a trailing */ on a separate line\n" . $herecurr);
2811 # check for missing blank lines after struct/union declarations
2812 # with exceptions for various attributes and macros
2813 if ($prevline =~ /^[\+ ]};?\s*$/ &&
2814 $line =~ /^\+/ &&
2815 !($line =~ /^\+\s*$/ ||
2816 $line =~ /^\+\s*EXPORT_SYMBOL/ ||
2817 $line =~ /^\+\s*MODULE_/i ||
2818 $line =~ /^\+\s*\#\s*(?:end|elif|else)/ ||
2819 $line =~ /^\+[a-z_]*init/ ||
2820 $line =~ /^\+\s*(?:static\s+)?[A-Z_]*ATTR/ ||
2821 $line =~ /^\+\s*DECLARE/ ||
2822 $line =~ /^\+\s*__setup/)) {
2823 if (CHK("LINE_SPACING",
2824 "Please use a blank line after function/struct/union/enum declarations\n" . $hereprev) &&
2825 $fix) {
2826 fix_insert_line($fixlinenr, "\+");
2830 # check for multiple consecutive blank lines
2831 if ($prevline =~ /^[\+ ]\s*$/ &&
2832 $line =~ /^\+\s*$/ &&
2833 $last_blank_line != ($linenr - 1)) {
2834 if (CHK("LINE_SPACING",
2835 "Please don't use multiple blank lines\n" . $hereprev) &&
2836 $fix) {
2837 fix_delete_line($fixlinenr, $rawline);
2840 $last_blank_line = $linenr;
2843 # check for missing blank lines after declarations
2844 if ($sline =~ /^\+\s+\S/ && #Not at char 1
2845 # actual declarations
2846 ($prevline =~ /^\+\s+$Declare\s*$Ident\s*[=,;:\[]/ ||
2847 # function pointer declarations
2848 $prevline =~ /^\+\s+$Declare\s*\(\s*\*\s*$Ident\s*\)\s*[=,;:\[\(]/ ||
2849 # foo bar; where foo is some local typedef or #define
2850 $prevline =~ /^\+\s+$Ident(?:\s+|\s*\*\s*)$Ident\s*[=,;\[]/ ||
2851 # known declaration macros
2852 $prevline =~ /^\+\s+$declaration_macros/) &&
2853 # for "else if" which can look like "$Ident $Ident"
2854 !($prevline =~ /^\+\s+$c90_Keywords\b/ ||
2855 # other possible extensions of declaration lines
2856 $prevline =~ /(?:$Compare|$Assignment|$Operators)\s*$/ ||
2857 # not starting a section or a macro "\" extended line
2858 $prevline =~ /(?:\{\s*|\\)$/) &&
2859 # looks like a declaration
2860 !($sline =~ /^\+\s+$Declare\s*$Ident\s*[=,;:\[]/ ||
2861 # function pointer declarations
2862 $sline =~ /^\+\s+$Declare\s*\(\s*\*\s*$Ident\s*\)\s*[=,;:\[\(]/ ||
2863 # foo bar; where foo is some local typedef or #define
2864 $sline =~ /^\+\s+$Ident(?:\s+|\s*\*\s*)$Ident\s*[=,;\[]/ ||
2865 # known declaration macros
2866 $sline =~ /^\+\s+$declaration_macros/ ||
2867 # start of struct or union or enum
2868 $sline =~ /^\+\s+(?:union|struct|enum|typedef)\b/ ||
2869 # start or end of block or continuation of declaration
2870 $sline =~ /^\+\s+(?:$|[\{\}\.\#\"\?\:\(\[])/ ||
2871 # bitfield continuation
2872 $sline =~ /^\+\s+$Ident\s*:\s*\d+\s*[,;]/ ||
2873 # other possible extensions of declaration lines
2874 $sline =~ /^\+\s+\(?\s*(?:$Compare|$Assignment|$Operators)/) &&
2875 # indentation of previous and current line are the same
2876 (($prevline =~ /\+(\s+)\S/) && $sline =~ /^\+$1\S/)) {
2877 if (WARN("LINE_SPACING",
2878 "Missing a blank line after declarations\n" . $hereprev) &&
2879 $fix) {
2880 fix_insert_line($fixlinenr, "\+");
2884 # check for spaces at the beginning of a line.
2885 # Exceptions:
2886 # 1) within comments
2887 # 2) indented preprocessor commands
2888 # 3) hanging labels
2889 if ($rawline =~ /^\+ / && $line !~ /^\+ *(?:$;|#|$Ident:)/) {
2890 my $herevet = "$here\n" . cat_vet($rawline) . "\n";
2891 if (WARN("LEADING_SPACE",
2892 "please, no spaces at the start of a line\n" . $herevet) &&
2893 $fix) {
2894 $fixed[$fixlinenr] =~ s/^\+([ \t]+)/"\+" . tabify($1)/e;
2898 # check we are in a valid C source file if not then ignore this hunk
2899 next if ($realfile !~ /\.(h|c)$/);
2901 # check indentation of any line with a bare else
2902 # (but not if it is a multiple line "if (foo) return bar; else return baz;")
2903 # if the previous line is a break or return and is indented 1 tab more...
2904 if ($sline =~ /^\+([\t]+)(?:}[ \t]*)?else(?:[ \t]*{)?\s*$/) {
2905 my $tabs = length($1) + 1;
2906 if ($prevline =~ /^\+\t{$tabs,$tabs}break\b/ ||
2907 ($prevline =~ /^\+\t{$tabs,$tabs}return\b/ &&
2908 defined $lines[$linenr] &&
2909 $lines[$linenr] !~ /^[ \+]\t{$tabs,$tabs}return/)) {
2910 WARN("UNNECESSARY_ELSE",
2911 "else is not generally useful after a break or return\n" . $hereprev);
2915 # check indentation of a line with a break;
2916 # if the previous line is a goto or return and is indented the same # of tabs
2917 if ($sline =~ /^\+([\t]+)break\s*;\s*$/) {
2918 my $tabs = $1;
2919 if ($prevline =~ /^\+$tabs(?:goto|return)\b/) {
2920 WARN("UNNECESSARY_BREAK",
2921 "break is not useful after a goto or return\n" . $hereprev);
2925 # discourage the addition of CONFIG_EXPERIMENTAL in #if(def).
2926 if ($line =~ /^\+\s*\#\s*if.*\bCONFIG_EXPERIMENTAL\b/) {
2927 WARN("CONFIG_EXPERIMENTAL",
2928 "Use of CONFIG_EXPERIMENTAL is deprecated. For alternatives, see https://lkml.org/lkml/2012/10/23/580\n");
2931 # check for RCS/CVS revision markers
2932 if ($rawline =~ /^\+.*\$(Revision|Log|Id)(?:\$|)/) {
2933 WARN("CVS_KEYWORD",
2934 "CVS style keyword markers, these will _not_ be updated\n". $herecurr);
2937 # Blackfin: don't use __builtin_bfin_[cs]sync
2938 if ($line =~ /__builtin_bfin_csync/) {
2939 my $herevet = "$here\n" . cat_vet($line) . "\n";
2940 ERROR("CSYNC",
2941 "use the CSYNC() macro in asm/blackfin.h\n" . $herevet);
2943 if ($line =~ /__builtin_bfin_ssync/) {
2944 my $herevet = "$here\n" . cat_vet($line) . "\n";
2945 ERROR("SSYNC",
2946 "use the SSYNC() macro in asm/blackfin.h\n" . $herevet);
2949 # check for old HOTPLUG __dev<foo> section markings
2950 if ($line =~ /\b(__dev(init|exit)(data|const|))\b/) {
2951 WARN("HOTPLUG_SECTION",
2952 "Using $1 is unnecessary\n" . $herecurr);
2955 # Check for potential 'bare' types
2956 my ($stat, $cond, $line_nr_next, $remain_next, $off_next,
2957 $realline_next);
2958 #print "LINE<$line>\n";
2959 if ($linenr >= $suppress_statement &&
2960 $realcnt && $sline =~ /.\s*\S/) {
2961 ($stat, $cond, $line_nr_next, $remain_next, $off_next) =
2962 ctx_statement_block($linenr, $realcnt, 0);
2963 $stat =~ s/\n./\n /g;
2964 $cond =~ s/\n./\n /g;
2966 #print "linenr<$linenr> <$stat>\n";
2967 # If this statement has no statement boundaries within
2968 # it there is no point in retrying a statement scan
2969 # until we hit end of it.
2970 my $frag = $stat; $frag =~ s/;+\s*$//;
2971 if ($frag !~ /(?:{|;)/) {
2972 #print "skip<$line_nr_next>\n";
2973 $suppress_statement = $line_nr_next;
2976 # Find the real next line.
2977 $realline_next = $line_nr_next;
2978 if (defined $realline_next &&
2979 (!defined $lines[$realline_next - 1] ||
2980 substr($lines[$realline_next - 1], $off_next) =~ /^\s*$/)) {
2981 $realline_next++;
2984 my $s = $stat;
2985 $s =~ s/{.*$//s;
2987 # Ignore goto labels.
2988 if ($s =~ /$Ident:\*$/s) {
2990 # Ignore functions being called
2991 } elsif ($s =~ /^.\s*$Ident\s*\(/s) {
2993 } elsif ($s =~ /^.\s*else\b/s) {
2995 # declarations always start with types
2996 } 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) {
2997 my $type = $1;
2998 $type =~ s/\s+/ /g;
2999 possible($type, "A:" . $s);
3001 # definitions in global scope can only start with types
3002 } elsif ($s =~ /^.(?:$Storage\s+)?(?:$Inline\s+)?(?:const\s+)?($Ident)\b\s*(?!:)/s) {
3003 possible($1, "B:" . $s);
3006 # any (foo ... *) is a pointer cast, and foo is a type
3007 while ($s =~ /\(($Ident)(?:\s+$Sparse)*[\s\*]+\s*\)/sg) {
3008 possible($1, "C:" . $s);
3011 # Check for any sort of function declaration.
3012 # int foo(something bar, other baz);
3013 # void (*store_gdt)(x86_descr_ptr *);
3014 if ($prev_values eq 'E' && $s =~ /^(.(?:typedef\s*)?(?:(?:$Storage|$Inline)\s*)*\s*$Type\s*(?:\b$Ident|\(\*\s*$Ident\))\s*)\(/s) {
3015 my ($name_len) = length($1);
3017 my $ctx = $s;
3018 substr($ctx, 0, $name_len + 1, '');
3019 $ctx =~ s/\)[^\)]*$//;
3021 for my $arg (split(/\s*,\s*/, $ctx)) {
3022 if ($arg =~ /^(?:const\s+)?($Ident)(?:\s+$Sparse)*\s*\**\s*(:?\b$Ident)?$/s || $arg =~ /^($Ident)$/s) {
3024 possible($1, "D:" . $s);
3032 # Checks which may be anchored in the context.
3035 # Check for switch () and associated case and default
3036 # statements should be at the same indent.
3037 if ($line=~/\bswitch\s*\(.*\)/) {
3038 my $err = '';
3039 my $sep = '';
3040 my @ctx = ctx_block_outer($linenr, $realcnt);
3041 shift(@ctx);
3042 for my $ctx (@ctx) {
3043 my ($clen, $cindent) = line_stats($ctx);
3044 if ($ctx =~ /^\+\s*(case\s+|default:)/ &&
3045 $indent != $cindent) {
3046 $err .= "$sep$ctx\n";
3047 $sep = '';
3048 } else {
3049 $sep = "[...]\n";
3052 if ($err ne '') {
3053 ERROR("SWITCH_CASE_INDENT_LEVEL",
3054 "switch and case should be at the same indent\n$hereline$err");
3058 # if/while/etc brace do not go on next line, unless defining a do while loop,
3059 # or if that brace on the next line is for something else
3060 if ($line =~ /(.*)\b((?:if|while|for|switch|(?:[a-z_]+|)for_each[a-z_]+)\s*\(|do\b|else\b)/ && $line !~ /^.\s*\#/) {
3061 my $pre_ctx = "$1$2";
3063 my ($level, @ctx) = ctx_statement_level($linenr, $realcnt, 0);
3065 if ($line =~ /^\+\t{6,}/) {
3066 WARN("DEEP_INDENTATION",
3067 "Too many leading tabs - consider code refactoring\n" . $herecurr);
3070 my $ctx_cnt = $realcnt - $#ctx - 1;
3071 my $ctx = join("\n", @ctx);
3073 my $ctx_ln = $linenr;
3074 my $ctx_skip = $realcnt;
3076 while ($ctx_skip > $ctx_cnt || ($ctx_skip == $ctx_cnt &&
3077 defined $lines[$ctx_ln - 1] &&
3078 $lines[$ctx_ln - 1] =~ /^-/)) {
3079 ##print "SKIP<$ctx_skip> CNT<$ctx_cnt>\n";
3080 $ctx_skip-- if (!defined $lines[$ctx_ln - 1] || $lines[$ctx_ln - 1] !~ /^-/);
3081 $ctx_ln++;
3084 #print "realcnt<$realcnt> ctx_cnt<$ctx_cnt>\n";
3085 #print "pre<$pre_ctx>\nline<$line>\nctx<$ctx>\nnext<$lines[$ctx_ln - 1]>\n";
3087 if ($ctx !~ /{\s*/ && defined($lines[$ctx_ln - 1]) && $lines[$ctx_ln - 1] =~ /^\+\s*{/) {
3088 ERROR("OPEN_BRACE",
3089 "that open brace { should be on the previous line\n" .
3090 "$here\n$ctx\n$rawlines[$ctx_ln - 1]\n");
3092 if ($level == 0 && $pre_ctx !~ /}\s*while\s*\($/ &&
3093 $ctx =~ /\)\s*\;\s*$/ &&
3094 defined $lines[$ctx_ln - 1])
3096 my ($nlength, $nindent) = line_stats($lines[$ctx_ln - 1]);
3097 if ($nindent > $indent) {
3098 WARN("TRAILING_SEMICOLON",
3099 "trailing semicolon indicates no statements, indent implies otherwise\n" .
3100 "$here\n$ctx\n$rawlines[$ctx_ln - 1]\n");
3105 # Check relative indent for conditionals and blocks.
3106 if ($line =~ /\b(?:(?:if|while|for|(?:[a-z_]+|)for_each[a-z_]+)\s*\(|do\b)/ && $line !~ /^.\s*#/ && $line !~ /\}\s*while\s*/) {
3107 ($stat, $cond, $line_nr_next, $remain_next, $off_next) =
3108 ctx_statement_block($linenr, $realcnt, 0)
3109 if (!defined $stat);
3110 my ($s, $c) = ($stat, $cond);
3112 substr($s, 0, length($c), '');
3114 # remove inline comments
3115 $s =~ s/$;/ /g;
3116 $c =~ s/$;/ /g;
3118 # Find out how long the conditional actually is.
3119 my @newlines = ($c =~ /\n/gs);
3120 my $cond_lines = 1 + $#newlines;
3122 # Make sure we remove the line prefixes as we have
3123 # none on the first line, and are going to readd them
3124 # where necessary.
3125 $s =~ s/\n./\n/gs;
3126 while ($s =~ /\n\s+\\\n/) {
3127 $cond_lines += $s =~ s/\n\s+\\\n/\n/g;
3130 # We want to check the first line inside the block
3131 # starting at the end of the conditional, so remove:
3132 # 1) any blank line termination
3133 # 2) any opening brace { on end of the line
3134 # 3) any do (...) {
3135 my $continuation = 0;
3136 my $check = 0;
3137 $s =~ s/^.*\bdo\b//;
3138 $s =~ s/^\s*{//;
3139 if ($s =~ s/^\s*\\//) {
3140 $continuation = 1;
3142 if ($s =~ s/^\s*?\n//) {
3143 $check = 1;
3144 $cond_lines++;
3147 # Also ignore a loop construct at the end of a
3148 # preprocessor statement.
3149 if (($prevline =~ /^.\s*#\s*define\s/ ||
3150 $prevline =~ /\\\s*$/) && $continuation == 0) {
3151 $check = 0;
3154 my $cond_ptr = -1;
3155 $continuation = 0;
3156 while ($cond_ptr != $cond_lines) {
3157 $cond_ptr = $cond_lines;
3159 # If we see an #else/#elif then the code
3160 # is not linear.
3161 if ($s =~ /^\s*\#\s*(?:else|elif)/) {
3162 $check = 0;
3165 # Ignore:
3166 # 1) blank lines, they should be at 0,
3167 # 2) preprocessor lines, and
3168 # 3) labels.
3169 if ($continuation ||
3170 $s =~ /^\s*?\n/ ||
3171 $s =~ /^\s*#\s*?/ ||
3172 $s =~ /^\s*$Ident\s*:/) {
3173 $continuation = ($s =~ /^.*?\\\n/) ? 1 : 0;
3174 if ($s =~ s/^.*?\n//) {
3175 $cond_lines++;
3180 my (undef, $sindent) = line_stats("+" . $s);
3181 my $stat_real = raw_line($linenr, $cond_lines);
3183 # Check if either of these lines are modified, else
3184 # this is not this patch's fault.
3185 if (!defined($stat_real) ||
3186 $stat !~ /^\+/ && $stat_real !~ /^\+/) {
3187 $check = 0;
3189 if (defined($stat_real) && $cond_lines > 1) {
3190 $stat_real = "[...]\n$stat_real";
3193 #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";
3195 if ($check && $s ne '' &&
3196 (($sindent % 8) != 0 ||
3197 ($sindent < $indent) ||
3198 ($sindent > $indent + 8))) {
3199 WARN("SUSPECT_CODE_INDENT",
3200 "suspect code indent for conditional statements ($indent, $sindent)\n" . $herecurr . "$stat_real\n");
3204 # Track the 'values' across context and added lines.
3205 my $opline = $line; $opline =~ s/^./ /;
3206 my ($curr_values, $curr_vars) =
3207 annotate_values($opline . "\n", $prev_values);
3208 $curr_values = $prev_values . $curr_values;
3209 if ($dbg_values) {
3210 my $outline = $opline; $outline =~ s/\t/ /g;
3211 print "$linenr > .$outline\n";
3212 print "$linenr > $curr_values\n";
3213 print "$linenr > $curr_vars\n";
3215 $prev_values = substr($curr_values, -1);
3217 #ignore lines not being added
3218 next if ($line =~ /^[^\+]/);
3220 # TEST: allow direct testing of the type matcher.
3221 if ($dbg_type) {
3222 if ($line =~ /^.\s*$Declare\s*$/) {
3223 ERROR("TEST_TYPE",
3224 "TEST: is type\n" . $herecurr);
3225 } elsif ($dbg_type > 1 && $line =~ /^.+($Declare)/) {
3226 ERROR("TEST_NOT_TYPE",
3227 "TEST: is not type ($1 is)\n". $herecurr);
3229 next;
3231 # TEST: allow direct testing of the attribute matcher.
3232 if ($dbg_attr) {
3233 if ($line =~ /^.\s*$Modifier\s*$/) {
3234 ERROR("TEST_ATTR",
3235 "TEST: is attr\n" . $herecurr);
3236 } elsif ($dbg_attr > 1 && $line =~ /^.+($Modifier)/) {
3237 ERROR("TEST_NOT_ATTR",
3238 "TEST: is not attr ($1 is)\n". $herecurr);
3240 next;
3243 # check for initialisation to aggregates open brace on the next line
3244 if ($line =~ /^.\s*{/ &&
3245 $prevline =~ /(?:^|[^=])=\s*$/) {
3246 if (ERROR("OPEN_BRACE",
3247 "that open brace { should be on the previous line\n" . $hereprev) &&
3248 $fix && $prevline =~ /^\+/ && $line =~ /^\+/) {
3249 fix_delete_line($fixlinenr - 1, $prevrawline);
3250 fix_delete_line($fixlinenr, $rawline);
3251 my $fixedline = $prevrawline;
3252 $fixedline =~ s/\s*=\s*$/ = {/;
3253 fix_insert_line($fixlinenr, $fixedline);
3254 $fixedline = $line;
3255 $fixedline =~ s/^(.\s*)\{\s*/$1/;
3256 fix_insert_line($fixlinenr, $fixedline);
3261 # Checks which are anchored on the added line.
3264 # check for malformed paths in #include statements (uses RAW line)
3265 if ($rawline =~ m{^.\s*\#\s*include\s+[<"](.*)[">]}) {
3266 my $path = $1;
3267 if ($path =~ m{//}) {
3268 ERROR("MALFORMED_INCLUDE",
3269 "malformed #include filename\n" . $herecurr);
3271 if ($path =~ "^uapi/" && $realfile =~ m@\binclude/uapi/@) {
3272 ERROR("UAPI_INCLUDE",
3273 "No #include in ...include/uapi/... should use a uapi/ path prefix\n" . $herecurr);
3277 # no C99 // comments
3278 if ($line =~ m{//}) {
3279 if (ERROR("C99_COMMENTS",
3280 "do not use C99 // comments\n" . $herecurr) &&
3281 $fix) {
3282 my $line = $fixed[$fixlinenr];
3283 if ($line =~ /\/\/(.*)$/) {
3284 my $comment = trim($1);
3285 $fixed[$fixlinenr] =~ s@\/\/(.*)$@/\* $comment \*/@;
3289 # Remove C99 comments.
3290 $line =~ s@//.*@@;
3291 $opline =~ s@//.*@@;
3293 # EXPORT_SYMBOL should immediately follow the thing it is exporting, consider
3294 # the whole statement.
3295 #print "APW <$lines[$realline_next - 1]>\n";
3296 if (defined $realline_next &&
3297 exists $lines[$realline_next - 1] &&
3298 !defined $suppress_export{$realline_next} &&
3299 ($lines[$realline_next - 1] =~ /EXPORT_SYMBOL.*\((.*)\)/ ||
3300 $lines[$realline_next - 1] =~ /EXPORT_UNUSED_SYMBOL.*\((.*)\)/)) {
3301 # Handle definitions which produce identifiers with
3302 # a prefix:
3303 # XXX(foo);
3304 # EXPORT_SYMBOL(something_foo);
3305 my $name = $1;
3306 if ($stat =~ /^(?:.\s*}\s*\n)?.([A-Z_]+)\s*\(\s*($Ident)/ &&
3307 $name =~ /^${Ident}_$2/) {
3308 #print "FOO C name<$name>\n";
3309 $suppress_export{$realline_next} = 1;
3311 } elsif ($stat !~ /(?:
3312 \n.}\s*$|
3313 ^.DEFINE_$Ident\(\Q$name\E\)|
3314 ^.DECLARE_$Ident\(\Q$name\E\)|
3315 ^.LIST_HEAD\(\Q$name\E\)|
3316 ^.(?:$Storage\s+)?$Type\s*\(\s*\*\s*\Q$name\E\s*\)\s*\(|
3317 \b\Q$name\E(?:\s+$Attribute)*\s*(?:;|=|\[|\()
3318 )/x) {
3319 #print "FOO A<$lines[$realline_next - 1]> stat<$stat> name<$name>\n";
3320 $suppress_export{$realline_next} = 2;
3321 } else {
3322 $suppress_export{$realline_next} = 1;
3325 if (!defined $suppress_export{$linenr} &&
3326 $prevline =~ /^.\s*$/ &&
3327 ($line =~ /EXPORT_SYMBOL.*\((.*)\)/ ||
3328 $line =~ /EXPORT_UNUSED_SYMBOL.*\((.*)\)/)) {
3329 #print "FOO B <$lines[$linenr - 1]>\n";
3330 $suppress_export{$linenr} = 2;
3332 if (defined $suppress_export{$linenr} &&
3333 $suppress_export{$linenr} == 2) {
3334 WARN("EXPORT_SYMBOL",
3335 "EXPORT_SYMBOL(foo); should immediately follow its function/variable\n" . $herecurr);
3338 # check for global initialisers.
3339 if ($line =~ /^\+$Type\s*$Ident(?:\s+$Modifier)*\s*=\s*($zero_initializer)\s*;/) {
3340 if (ERROR("GLOBAL_INITIALISERS",
3341 "do not initialise globals to $1\n" . $herecurr) &&
3342 $fix) {
3343 $fixed[$fixlinenr] =~ s/(^.$Type\s*$Ident(?:\s+$Modifier)*)\s*=\s*$zero_initializer\s*;/$1;/;
3346 # check for static initialisers.
3347 if ($line =~ /^\+.*\bstatic\s.*=\s*($zero_initializer)\s*;/) {
3348 if (ERROR("INITIALISED_STATIC",
3349 "do not initialise statics to $1\n" .
3350 $herecurr) &&
3351 $fix) {
3352 $fixed[$fixlinenr] =~ s/(\bstatic\s.*?)\s*=\s*$zero_initializer\s*;/$1;/;
3356 # check for misordered declarations of char/short/int/long with signed/unsigned
3357 while ($sline =~ m{(\b$TypeMisordered\b)}g) {
3358 my $tmp = trim($1);
3359 WARN("MISORDERED_TYPE",
3360 "type '$tmp' should be specified in [[un]signed] [short|int|long|long long] order\n" . $herecurr);
3363 # check for static const char * arrays.
3364 if ($line =~ /\bstatic\s+const\s+char\s*\*\s*(\w+)\s*\[\s*\]\s*=\s*/) {
3365 WARN("STATIC_CONST_CHAR_ARRAY",
3366 "static const char * array should probably be static const char * const\n" .
3367 $herecurr);
3370 # check for static char foo[] = "bar" declarations.
3371 if ($line =~ /\bstatic\s+char\s+(\w+)\s*\[\s*\]\s*=\s*"/) {
3372 WARN("STATIC_CONST_CHAR_ARRAY",
3373 "static char array declaration should probably be static const char\n" .
3374 $herecurr);
3377 # check for const <foo> const where <foo> is not a pointer or array type
3378 if ($sline =~ /\bconst\s+($BasicType)\s+const\b/) {
3379 my $found = $1;
3380 if ($sline =~ /\bconst\s+\Q$found\E\s+const\b\s*\*/) {
3381 WARN("CONST_CONST",
3382 "'const $found const *' should probably be 'const $found * const'\n" . $herecurr);
3383 } elsif ($sline !~ /\bconst\s+\Q$found\E\s+const\s+\w+\s*\[/) {
3384 WARN("CONST_CONST",
3385 "'const $found const' should probably be 'const $found'\n" . $herecurr);
3389 # check for non-global char *foo[] = {"bar", ...} declarations.
3390 if ($line =~ /^.\s+(?:static\s+|const\s+)?char\s+\*\s*\w+\s*\[\s*\]\s*=\s*\{/) {
3391 WARN("STATIC_CONST_CHAR_ARRAY",
3392 "char * array declaration might be better as static const\n" .
3393 $herecurr);
3396 # check for sizeof(foo)/sizeof(foo[0]) that could be ARRAY_SIZE(foo)
3397 if ($line =~ m@\bsizeof\s*\(\s*($Lval)\s*\)@) {
3398 my $array = $1;
3399 if ($line =~ m@\b(sizeof\s*\(\s*\Q$array\E\s*\)\s*/\s*sizeof\s*\(\s*\Q$array\E\s*\[\s*0\s*\]\s*\))@) {
3400 my $array_div = $1;
3401 if (WARN("ARRAY_SIZE",
3402 "Prefer ARRAY_SIZE($array)\n" . $herecurr) &&
3403 $fix) {
3404 $fixed[$fixlinenr] =~ s/\Q$array_div\E/ARRAY_SIZE($array)/;
3409 # check for function declarations without arguments like "int foo()"
3410 if ($line =~ /(\b$Type\s+$Ident)\s*\(\s*\)/) {
3411 if (ERROR("FUNCTION_WITHOUT_ARGS",
3412 "Bad function definition - $1() should probably be $1(void)\n" . $herecurr) &&
3413 $fix) {
3414 $fixed[$fixlinenr] =~ s/(\b($Type)\s+($Ident))\s*\(\s*\)/$2 $3(void)/;
3418 # check for uses of DEFINE_PCI_DEVICE_TABLE
3419 if ($line =~ /\bDEFINE_PCI_DEVICE_TABLE\s*\(\s*(\w+)\s*\)\s*=/) {
3420 if (WARN("DEFINE_PCI_DEVICE_TABLE",
3421 "Prefer struct pci_device_id over deprecated DEFINE_PCI_DEVICE_TABLE\n" . $herecurr) &&
3422 $fix) {
3423 $fixed[$fixlinenr] =~ s/\b(?:static\s+|)DEFINE_PCI_DEVICE_TABLE\s*\(\s*(\w+)\s*\)\s*=\s*/static const struct pci_device_id $1\[\] = /;
3427 # check for new typedefs, only function parameters and sparse annotations
3428 # make sense.
3429 if ($line =~ /\btypedef\s/ &&
3430 $line !~ /\btypedef\s+$Type\s*\(\s*\*?$Ident\s*\)\s*\(/ &&
3431 $line !~ /\btypedef\s+$Type\s+$Ident\s*\(/ &&
3432 $line !~ /\b$typeTypedefs\b/ &&
3433 $line !~ /\b__bitwise(?:__|)\b/) {
3434 WARN("NEW_TYPEDEFS",
3435 "do not add new typedefs\n" . $herecurr);
3438 # * goes on variable not on type
3439 # (char*[ const])
3440 while ($line =~ m{(\($NonptrType(\s*(?:$Modifier\b\s*|\*\s*)+)\))}g) {
3441 #print "AA<$1>\n";
3442 my ($ident, $from, $to) = ($1, $2, $2);
3444 # Should start with a space.
3445 $to =~ s/^(\S)/ $1/;
3446 # Should not end with a space.
3447 $to =~ s/\s+$//;
3448 # '*'s should not have spaces between.
3449 while ($to =~ s/\*\s+\*/\*\*/) {
3452 ## print "1: from<$from> to<$to> ident<$ident>\n";
3453 if ($from ne $to) {
3454 if (ERROR("POINTER_LOCATION",
3455 "\"(foo$from)\" should be \"(foo$to)\"\n" . $herecurr) &&
3456 $fix) {
3457 my $sub_from = $ident;
3458 my $sub_to = $ident;
3459 $sub_to =~ s/\Q$from\E/$to/;
3460 $fixed[$fixlinenr] =~
3461 s@\Q$sub_from\E@$sub_to@;
3465 while ($line =~ m{(\b$NonptrType(\s*(?:$Modifier\b\s*|\*\s*)+)($Ident))}g) {
3466 #print "BB<$1>\n";
3467 my ($match, $from, $to, $ident) = ($1, $2, $2, $3);
3469 # Should start with a space.
3470 $to =~ s/^(\S)/ $1/;
3471 # Should not end with a space.
3472 $to =~ s/\s+$//;
3473 # '*'s should not have spaces between.
3474 while ($to =~ s/\*\s+\*/\*\*/) {
3476 # Modifiers should have spaces.
3477 $to =~ s/(\b$Modifier$)/$1 /;
3479 ## print "2: from<$from> to<$to> ident<$ident>\n";
3480 if ($from ne $to && $ident !~ /^$Modifier$/) {
3481 if (ERROR("POINTER_LOCATION",
3482 "\"foo${from}bar\" should be \"foo${to}bar\"\n" . $herecurr) &&
3483 $fix) {
3485 my $sub_from = $match;
3486 my $sub_to = $match;
3487 $sub_to =~ s/\Q$from\E/$to/;
3488 $fixed[$fixlinenr] =~
3489 s@\Q$sub_from\E@$sub_to@;
3494 # avoid BUG() or BUG_ON()
3495 if ($line =~ /\b(?:BUG|BUG_ON)\b/) {
3496 my $msg_type = \&WARN;
3497 $msg_type = \&CHK if ($file);
3498 &{$msg_type}("AVOID_BUG",
3499 "Avoid crashing the kernel - try using WARN_ON & recovery code rather than BUG() or BUG_ON()\n" . $herecurr);
3502 # avoid LINUX_VERSION_CODE
3503 if ($line =~ /\bLINUX_VERSION_CODE\b/) {
3504 WARN("LINUX_VERSION_CODE",
3505 "LINUX_VERSION_CODE should be avoided, code should be for the version to which it is merged\n" . $herecurr);
3508 # check for uses of printk_ratelimit
3509 if ($line =~ /\bprintk_ratelimit\s*\(/) {
3510 WARN("PRINTK_RATELIMITED",
3511 "Prefer printk_ratelimited or pr_<level>_ratelimited to printk_ratelimit\n" . $herecurr);
3514 # printk should use KERN_* levels. Note that follow on printk's on the
3515 # same line do not need a level, so we use the current block context
3516 # to try and find and validate the current printk. In summary the current
3517 # printk includes all preceding printk's which have no newline on the end.
3518 # we assume the first bad printk is the one to report.
3519 if ($line =~ /\bprintk\((?!KERN_)\s*"/) {
3520 my $ok = 0;
3521 for (my $ln = $linenr - 1; $ln >= $first_line; $ln--) {
3522 #print "CHECK<$lines[$ln - 1]\n";
3523 # we have a preceding printk if it ends
3524 # with "\n" ignore it, else it is to blame
3525 if ($lines[$ln - 1] =~ m{\bprintk\(}) {
3526 if ($rawlines[$ln - 1] !~ m{\\n"}) {
3527 $ok = 1;
3529 last;
3532 if ($ok == 0) {
3533 WARN("PRINTK_WITHOUT_KERN_LEVEL",
3534 "printk() should include KERN_ facility level\n" . $herecurr);
3538 if ($line =~ /\bprintk\s*\(\s*KERN_([A-Z]+)/) {
3539 my $orig = $1;
3540 my $level = lc($orig);
3541 $level = "warn" if ($level eq "warning");
3542 my $level2 = $level;
3543 $level2 = "dbg" if ($level eq "debug");
3544 WARN("PREFER_PR_LEVEL",
3545 "Prefer [subsystem eg: netdev]_$level2([subsystem]dev, ... then dev_$level2(dev, ... then pr_$level(... to printk(KERN_$orig ...\n" . $herecurr);
3548 if ($line =~ /\bpr_warning\s*\(/) {
3549 if (WARN("PREFER_PR_LEVEL",
3550 "Prefer pr_warn(... to pr_warning(...\n" . $herecurr) &&
3551 $fix) {
3552 $fixed[$fixlinenr] =~
3553 s/\bpr_warning\b/pr_warn/;
3557 if ($line =~ /\bdev_printk\s*\(\s*KERN_([A-Z]+)/) {
3558 my $orig = $1;
3559 my $level = lc($orig);
3560 $level = "warn" if ($level eq "warning");
3561 $level = "dbg" if ($level eq "debug");
3562 WARN("PREFER_DEV_LEVEL",
3563 "Prefer dev_$level(... to dev_printk(KERN_$orig, ...\n" . $herecurr);
3566 # ENOSYS means "bad syscall nr" and nothing else. This will have a small
3567 # number of false positives, but assembly files are not checked, so at
3568 # least the arch entry code will not trigger this warning.
3569 if ($line =~ /\bENOSYS\b/) {
3570 WARN("ENOSYS",
3571 "ENOSYS means 'invalid syscall nr' and nothing else\n" . $herecurr);
3574 # function brace can't be on same line, except for #defines of do while,
3575 # or if closed on same line
3576 if (($line=~/$Type\s*$Ident\(.*\).*\s*{/) and
3577 !($line=~/\#\s*define.*do\s\{/) and !($line=~/}/)) {
3578 if (ERROR("OPEN_BRACE",
3579 "open brace '{' following function declarations go on the next line\n" . $herecurr) &&
3580 $fix) {
3581 fix_delete_line($fixlinenr, $rawline);
3582 my $fixed_line = $rawline;
3583 $fixed_line =~ /(^..*$Type\s*$Ident\(.*\)\s*){(.*)$/;
3584 my $line1 = $1;
3585 my $line2 = $2;
3586 fix_insert_line($fixlinenr, ltrim($line1));
3587 fix_insert_line($fixlinenr, "\+{");
3588 if ($line2 !~ /^\s*$/) {
3589 fix_insert_line($fixlinenr, "\+\t" . trim($line2));
3594 # open braces for enum, union and struct go on the same line.
3595 if ($line =~ /^.\s*{/ &&
3596 $prevline =~ /^.\s*(?:typedef\s+)?(enum|union|struct)(?:\s+$Ident)?\s*$/) {
3597 if (ERROR("OPEN_BRACE",
3598 "open brace '{' following $1 go on the same line\n" . $hereprev) &&
3599 $fix && $prevline =~ /^\+/ && $line =~ /^\+/) {
3600 fix_delete_line($fixlinenr - 1, $prevrawline);
3601 fix_delete_line($fixlinenr, $rawline);
3602 my $fixedline = rtrim($prevrawline) . " {";
3603 fix_insert_line($fixlinenr, $fixedline);
3604 $fixedline = $rawline;
3605 $fixedline =~ s/^(.\s*)\{\s*/$1\t/;
3606 if ($fixedline !~ /^\+\s*$/) {
3607 fix_insert_line($fixlinenr, $fixedline);
3612 # missing space after union, struct or enum definition
3613 if ($line =~ /^.\s*(?:typedef\s+)?(enum|union|struct)(?:\s+$Ident){1,2}[=\{]/) {
3614 if (WARN("SPACING",
3615 "missing space after $1 definition\n" . $herecurr) &&
3616 $fix) {
3617 $fixed[$fixlinenr] =~
3618 s/^(.\s*(?:typedef\s+)?(?:enum|union|struct)(?:\s+$Ident){1,2})([=\{])/$1 $2/;
3622 # Function pointer declarations
3623 # check spacing between type, funcptr, and args
3624 # canonical declaration is "type (*funcptr)(args...)"
3625 if ($line =~ /^.\s*($Declare)\((\s*)\*(\s*)($Ident)(\s*)\)(\s*)\(/) {
3626 my $declare = $1;
3627 my $pre_pointer_space = $2;
3628 my $post_pointer_space = $3;
3629 my $funcname = $4;
3630 my $post_funcname_space = $5;
3631 my $pre_args_space = $6;
3633 # the $Declare variable will capture all spaces after the type
3634 # so check it for a missing trailing missing space but pointer return types
3635 # don't need a space so don't warn for those.
3636 my $post_declare_space = "";
3637 if ($declare =~ /(\s+)$/) {
3638 $post_declare_space = $1;
3639 $declare = rtrim($declare);
3641 if ($declare !~ /\*$/ && $post_declare_space =~ /^$/) {
3642 WARN("SPACING",
3643 "missing space after return type\n" . $herecurr);
3644 $post_declare_space = " ";
3647 # unnecessary space "type (*funcptr)(args...)"
3648 # This test is not currently implemented because these declarations are
3649 # equivalent to
3650 # int foo(int bar, ...)
3651 # and this is form shouldn't/doesn't generate a checkpatch warning.
3653 # elsif ($declare =~ /\s{2,}$/) {
3654 # WARN("SPACING",
3655 # "Multiple spaces after return type\n" . $herecurr);
3658 # unnecessary space "type ( *funcptr)(args...)"
3659 if (defined $pre_pointer_space &&
3660 $pre_pointer_space =~ /^\s/) {
3661 WARN("SPACING",
3662 "Unnecessary space after function pointer open parenthesis\n" . $herecurr);
3665 # unnecessary space "type (* funcptr)(args...)"
3666 if (defined $post_pointer_space &&
3667 $post_pointer_space =~ /^\s/) {
3668 WARN("SPACING",
3669 "Unnecessary space before function pointer name\n" . $herecurr);
3672 # unnecessary space "type (*funcptr )(args...)"
3673 if (defined $post_funcname_space &&
3674 $post_funcname_space =~ /^\s/) {
3675 WARN("SPACING",
3676 "Unnecessary space after function pointer name\n" . $herecurr);
3679 # unnecessary space "type (*funcptr) (args...)"
3680 if (defined $pre_args_space &&
3681 $pre_args_space =~ /^\s/) {
3682 WARN("SPACING",
3683 "Unnecessary space before function pointer arguments\n" . $herecurr);
3686 if (show_type("SPACING") && $fix) {
3687 $fixed[$fixlinenr] =~
3688 s/^(.\s*)$Declare\s*\(\s*\*\s*$Ident\s*\)\s*\(/$1 . $declare . $post_declare_space . '(*' . $funcname . ')('/ex;
3692 # check for spacing round square brackets; allowed:
3693 # 1. with a type on the left -- int [] a;
3694 # 2. at the beginning of a line for slice initialisers -- [0...10] = 5,
3695 # 3. inside a curly brace -- = { [0...10] = 5 }
3696 while ($line =~ /(.*?\s)\[/g) {
3697 my ($where, $prefix) = ($-[1], $1);
3698 if ($prefix !~ /$Type\s+$/ &&
3699 ($where != 0 || $prefix !~ /^.\s+$/) &&
3700 $prefix !~ /[{,]\s+$/) {
3701 if (ERROR("BRACKET_SPACE",
3702 "space prohibited before open square bracket '['\n" . $herecurr) &&
3703 $fix) {
3704 $fixed[$fixlinenr] =~
3705 s/^(\+.*?)\s+\[/$1\[/;
3710 # check for spaces between functions and their parentheses.
3711 while ($line =~ /($Ident)\s+\(/g) {
3712 my $name = $1;
3713 my $ctx_before = substr($line, 0, $-[1]);
3714 my $ctx = "$ctx_before$name";
3716 # Ignore those directives where spaces _are_ permitted.
3717 if ($name =~ /^(?:
3718 if|for|while|switch|return|case|
3719 volatile|__volatile__|
3720 __attribute__|format|__extension__|
3721 asm|__asm__)$/x)
3723 # cpp #define statements have non-optional spaces, ie
3724 # if there is a space between the name and the open
3725 # parenthesis it is simply not a parameter group.
3726 } elsif ($ctx_before =~ /^.\s*\#\s*define\s*$/) {
3728 # cpp #elif statement condition may start with a (
3729 } elsif ($ctx =~ /^.\s*\#\s*elif\s*$/) {
3731 # If this whole things ends with a type its most
3732 # likely a typedef for a function.
3733 } elsif ($ctx =~ /$Type$/) {
3735 } else {
3736 if (WARN("SPACING",
3737 "space prohibited between function name and open parenthesis '('\n" . $herecurr) &&
3738 $fix) {
3739 $fixed[$fixlinenr] =~
3740 s/\b$name\s+\(/$name\(/;
3745 # Check operator spacing.
3746 if (!($line=~/\#\s*include/)) {
3747 my $fixed_line = "";
3748 my $line_fixed = 0;
3750 my $ops = qr{
3751 <<=|>>=|<=|>=|==|!=|
3752 \+=|-=|\*=|\/=|%=|\^=|\|=|&=|
3753 =>|->|<<|>>|<|>|=|!|~|
3754 &&|\|\||,|\^|\+\+|--|&|\||\+|-|\*|\/|%|
3755 \?:|\?|:
3757 my @elements = split(/($ops|;)/, $opline);
3759 ## print("element count: <" . $#elements . ">\n");
3760 ## foreach my $el (@elements) {
3761 ## print("el: <$el>\n");
3762 ## }
3764 my @fix_elements = ();
3765 my $off = 0;
3767 foreach my $el (@elements) {
3768 push(@fix_elements, substr($rawline, $off, length($el)));
3769 $off += length($el);
3772 $off = 0;
3774 my $blank = copy_spacing($opline);
3775 my $last_after = -1;
3777 for (my $n = 0; $n < $#elements; $n += 2) {
3779 my $good = $fix_elements[$n] . $fix_elements[$n + 1];
3781 ## print("n: <$n> good: <$good>\n");
3783 $off += length($elements[$n]);
3785 # Pick up the preceding and succeeding characters.
3786 my $ca = substr($opline, 0, $off);
3787 my $cc = '';
3788 if (length($opline) >= ($off + length($elements[$n + 1]))) {
3789 $cc = substr($opline, $off + length($elements[$n + 1]));
3791 my $cb = "$ca$;$cc";
3793 my $a = '';
3794 $a = 'V' if ($elements[$n] ne '');
3795 $a = 'W' if ($elements[$n] =~ /\s$/);
3796 $a = 'C' if ($elements[$n] =~ /$;$/);
3797 $a = 'B' if ($elements[$n] =~ /(\[|\()$/);
3798 $a = 'O' if ($elements[$n] eq '');
3799 $a = 'E' if ($ca =~ /^\s*$/);
3801 my $op = $elements[$n + 1];
3803 my $c = '';
3804 if (defined $elements[$n + 2]) {
3805 $c = 'V' if ($elements[$n + 2] ne '');
3806 $c = 'W' if ($elements[$n + 2] =~ /^\s/);
3807 $c = 'C' if ($elements[$n + 2] =~ /^$;/);
3808 $c = 'B' if ($elements[$n + 2] =~ /^(\)|\]|;)/);
3809 $c = 'O' if ($elements[$n + 2] eq '');
3810 $c = 'E' if ($elements[$n + 2] =~ /^\s*\\$/);
3811 } else {
3812 $c = 'E';
3815 my $ctx = "${a}x${c}";
3817 my $at = "(ctx:$ctx)";
3819 my $ptr = substr($blank, 0, $off) . "^";
3820 my $hereptr = "$hereline$ptr\n";
3822 # Pull out the value of this operator.
3823 my $op_type = substr($curr_values, $off + 1, 1);
3825 # Get the full operator variant.
3826 my $opv = $op . substr($curr_vars, $off, 1);
3828 # Ignore operators passed as parameters.
3829 if ($op_type ne 'V' &&
3830 $ca =~ /\s$/ && $cc =~ /^\s*[,\)]/) {
3832 # # Ignore comments
3833 # } elsif ($op =~ /^$;+$/) {
3835 # ; should have either the end of line or a space or \ after it
3836 } elsif ($op eq ';') {
3837 if ($ctx !~ /.x[WEBC]/ &&
3838 $cc !~ /^\\/ && $cc !~ /^;/) {
3839 if (ERROR("SPACING",
3840 "space required after that '$op' $at\n" . $hereptr)) {
3841 $good = $fix_elements[$n] . trim($fix_elements[$n + 1]) . " ";
3842 $line_fixed = 1;
3846 # // is a comment
3847 } elsif ($op eq '//') {
3849 # : when part of a bitfield
3850 } elsif ($opv eq ':B') {
3851 # skip the bitfield test for now
3853 # No spaces for:
3854 # ->
3855 } elsif ($op eq '->') {
3856 if ($ctx =~ /Wx.|.xW/) {
3857 if (ERROR("SPACING",
3858 "spaces prohibited around that '$op' $at\n" . $hereptr)) {
3859 $good = rtrim($fix_elements[$n]) . trim($fix_elements[$n + 1]);
3860 if (defined $fix_elements[$n + 2]) {
3861 $fix_elements[$n + 2] =~ s/^\s+//;
3863 $line_fixed = 1;
3867 # , must not have a space before and must have a space on the right.
3868 } elsif ($op eq ',') {
3869 my $rtrim_before = 0;
3870 my $space_after = 0;
3871 if ($ctx =~ /Wx./) {
3872 if (ERROR("SPACING",
3873 "space prohibited before that '$op' $at\n" . $hereptr)) {
3874 $line_fixed = 1;
3875 $rtrim_before = 1;
3878 if ($ctx !~ /.x[WEC]/ && $cc !~ /^}/) {
3879 if (ERROR("SPACING",
3880 "space required after that '$op' $at\n" . $hereptr)) {
3881 $line_fixed = 1;
3882 $last_after = $n;
3883 $space_after = 1;
3886 if ($rtrim_before || $space_after) {
3887 if ($rtrim_before) {
3888 $good = rtrim($fix_elements[$n]) . trim($fix_elements[$n + 1]);
3889 } else {
3890 $good = $fix_elements[$n] . trim($fix_elements[$n + 1]);
3892 if ($space_after) {
3893 $good .= " ";
3897 # '*' as part of a type definition -- reported already.
3898 } elsif ($opv eq '*_') {
3899 #warn "'*' is part of type\n";
3901 # unary operators should have a space before and
3902 # none after. May be left adjacent to another
3903 # unary operator, or a cast
3904 } elsif ($op eq '!' || $op eq '~' ||
3905 $opv eq '*U' || $opv eq '-U' ||
3906 $opv eq '&U' || $opv eq '&&U') {
3907 if ($ctx !~ /[WEBC]x./ && $ca !~ /(?:\)|!|~|\*|-|\&|\||\+\+|\-\-|\{)$/) {
3908 if (ERROR("SPACING",
3909 "space required before that '$op' $at\n" . $hereptr)) {
3910 if ($n != $last_after + 2) {
3911 $good = $fix_elements[$n] . " " . ltrim($fix_elements[$n + 1]);
3912 $line_fixed = 1;
3916 if ($op eq '*' && $cc =~/\s*$Modifier\b/) {
3917 # A unary '*' may be const
3919 } elsif ($ctx =~ /.xW/) {
3920 if (ERROR("SPACING",
3921 "space prohibited after that '$op' $at\n" . $hereptr)) {
3922 $good = $fix_elements[$n] . rtrim($fix_elements[$n + 1]);
3923 if (defined $fix_elements[$n + 2]) {
3924 $fix_elements[$n + 2] =~ s/^\s+//;
3926 $line_fixed = 1;
3930 # unary ++ and unary -- are allowed no space on one side.
3931 } elsif ($op eq '++' or $op eq '--') {
3932 if ($ctx !~ /[WEOBC]x[^W]/ && $ctx !~ /[^W]x[WOBEC]/) {
3933 if (ERROR("SPACING",
3934 "space required one side of that '$op' $at\n" . $hereptr)) {
3935 $good = $fix_elements[$n] . trim($fix_elements[$n + 1]) . " ";
3936 $line_fixed = 1;
3939 if ($ctx =~ /Wx[BE]/ ||
3940 ($ctx =~ /Wx./ && $cc =~ /^;/)) {
3941 if (ERROR("SPACING",
3942 "space prohibited before that '$op' $at\n" . $hereptr)) {
3943 $good = rtrim($fix_elements[$n]) . trim($fix_elements[$n + 1]);
3944 $line_fixed = 1;
3947 if ($ctx =~ /ExW/) {
3948 if (ERROR("SPACING",
3949 "space prohibited after that '$op' $at\n" . $hereptr)) {
3950 $good = $fix_elements[$n] . trim($fix_elements[$n + 1]);
3951 if (defined $fix_elements[$n + 2]) {
3952 $fix_elements[$n + 2] =~ s/^\s+//;
3954 $line_fixed = 1;
3958 # << and >> may either have or not have spaces both sides
3959 } elsif ($op eq '<<' or $op eq '>>' or
3960 $op eq '&' or $op eq '^' or $op eq '|' or
3961 $op eq '+' or $op eq '-' or
3962 $op eq '*' or $op eq '/' or
3963 $op eq '%')
3965 if ($check) {
3966 if (defined $fix_elements[$n + 2] && $ctx !~ /[EW]x[EW]/) {
3967 if (CHK("SPACING",
3968 "spaces preferred around that '$op' $at\n" . $hereptr)) {
3969 $good = rtrim($fix_elements[$n]) . " " . trim($fix_elements[$n + 1]) . " ";
3970 $fix_elements[$n + 2] =~ s/^\s+//;
3971 $line_fixed = 1;
3973 } elsif (!defined $fix_elements[$n + 2] && $ctx !~ /Wx[OE]/) {
3974 if (CHK("SPACING",
3975 "space preferred before that '$op' $at\n" . $hereptr)) {
3976 $good = rtrim($fix_elements[$n]) . " " . trim($fix_elements[$n + 1]);
3977 $line_fixed = 1;
3980 } elsif ($ctx =~ /Wx[^WCE]|[^WCE]xW/) {
3981 if (ERROR("SPACING",
3982 "need consistent spacing around '$op' $at\n" . $hereptr)) {
3983 $good = rtrim($fix_elements[$n]) . " " . trim($fix_elements[$n + 1]) . " ";
3984 if (defined $fix_elements[$n + 2]) {
3985 $fix_elements[$n + 2] =~ s/^\s+//;
3987 $line_fixed = 1;
3991 # A colon needs no spaces before when it is
3992 # terminating a case value or a label.
3993 } elsif ($opv eq ':C' || $opv eq ':L') {
3994 if ($ctx =~ /Wx./) {
3995 if (ERROR("SPACING",
3996 "space prohibited before that '$op' $at\n" . $hereptr)) {
3997 $good = rtrim($fix_elements[$n]) . trim($fix_elements[$n + 1]);
3998 $line_fixed = 1;
4002 # All the others need spaces both sides.
4003 } elsif ($ctx !~ /[EWC]x[CWE]/) {
4004 my $ok = 0;
4006 # Ignore email addresses <foo@bar>
4007 if (($op eq '<' &&
4008 $cc =~ /^\S+\@\S+>/) ||
4009 ($op eq '>' &&
4010 $ca =~ /<\S+\@\S+$/))
4012 $ok = 1;
4015 # for asm volatile statements
4016 # ignore a colon with another
4017 # colon immediately before or after
4018 if (($op eq ':') &&
4019 ($ca =~ /:$/ || $cc =~ /^:/)) {
4020 $ok = 1;
4023 # messages are ERROR, but ?: are CHK
4024 if ($ok == 0) {
4025 my $msg_type = \&ERROR;
4026 $msg_type = \&CHK if (($op eq '?:' || $op eq '?' || $op eq ':') && $ctx =~ /VxV/);
4028 if (&{$msg_type}("SPACING",
4029 "spaces required around that '$op' $at\n" . $hereptr)) {
4030 $good = rtrim($fix_elements[$n]) . " " . trim($fix_elements[$n + 1]) . " ";
4031 if (defined $fix_elements[$n + 2]) {
4032 $fix_elements[$n + 2] =~ s/^\s+//;
4034 $line_fixed = 1;
4038 $off += length($elements[$n + 1]);
4040 ## print("n: <$n> GOOD: <$good>\n");
4042 $fixed_line = $fixed_line . $good;
4045 if (($#elements % 2) == 0) {
4046 $fixed_line = $fixed_line . $fix_elements[$#elements];
4049 if ($fix && $line_fixed && $fixed_line ne $fixed[$fixlinenr]) {
4050 $fixed[$fixlinenr] = $fixed_line;
4056 # check for whitespace before a non-naked semicolon
4057 if ($line =~ /^\+.*\S\s+;\s*$/) {
4058 if (WARN("SPACING",
4059 "space prohibited before semicolon\n" . $herecurr) &&
4060 $fix) {
4061 1 while $fixed[$fixlinenr] =~
4062 s/^(\+.*\S)\s+;/$1;/;
4066 # check for multiple assignments
4067 if ($line =~ /^.\s*$Lval\s*=\s*$Lval\s*=(?!=)/) {
4068 CHK("MULTIPLE_ASSIGNMENTS",
4069 "multiple assignments should be avoided\n" . $herecurr);
4072 ## # check for multiple declarations, allowing for a function declaration
4073 ## # continuation.
4074 ## if ($line =~ /^.\s*$Type\s+$Ident(?:\s*=[^,{]*)?\s*,\s*$Ident.*/ &&
4075 ## $line !~ /^.\s*$Type\s+$Ident(?:\s*=[^,{]*)?\s*,\s*$Type\s*$Ident.*/) {
4077 ## # Remove any bracketed sections to ensure we do not
4078 ## # falsly report the parameters of functions.
4079 ## my $ln = $line;
4080 ## while ($ln =~ s/\([^\(\)]*\)//g) {
4081 ## }
4082 ## if ($ln =~ /,/) {
4083 ## WARN("MULTIPLE_DECLARATION",
4084 ## "declaring multiple variables together should be avoided\n" . $herecurr);
4085 ## }
4086 ## }
4088 #need space before brace following if, while, etc
4089 if (($line =~ /\(.*\)\{/ && $line !~ /\($Type\){/) ||
4090 $line =~ /do\{/) {
4091 if (ERROR("SPACING",
4092 "space required before the open brace '{'\n" . $herecurr) &&
4093 $fix) {
4094 $fixed[$fixlinenr] =~ s/^(\+.*(?:do|\)))\{/$1 {/;
4098 ## # check for blank lines before declarations
4099 ## if ($line =~ /^.\t+$Type\s+$Ident(?:\s*=.*)?;/ &&
4100 ## $prevrawline =~ /^.\s*$/) {
4101 ## WARN("SPACING",
4102 ## "No blank lines before declarations\n" . $hereprev);
4103 ## }
4106 # closing brace should have a space following it when it has anything
4107 # on the line
4108 if ($line =~ /}(?!(?:,|;|\)))\S/) {
4109 if (ERROR("SPACING",
4110 "space required after that close brace '}'\n" . $herecurr) &&
4111 $fix) {
4112 $fixed[$fixlinenr] =~
4113 s/}((?!(?:,|;|\)))\S)/} $1/;
4117 # check spacing on square brackets
4118 if ($line =~ /\[\s/ && $line !~ /\[\s*$/) {
4119 if (ERROR("SPACING",
4120 "space prohibited after that open square bracket '['\n" . $herecurr) &&
4121 $fix) {
4122 $fixed[$fixlinenr] =~
4123 s/\[\s+/\[/;
4126 if ($line =~ /\s\]/) {
4127 if (ERROR("SPACING",
4128 "space prohibited before that close square bracket ']'\n" . $herecurr) &&
4129 $fix) {
4130 $fixed[$fixlinenr] =~
4131 s/\s+\]/\]/;
4135 # check spacing on parentheses
4136 if ($line =~ /\(\s/ && $line !~ /\(\s*(?:\\)?$/ &&
4137 $line !~ /for\s*\(\s+;/) {
4138 if (ERROR("SPACING",
4139 "space prohibited after that open parenthesis '('\n" . $herecurr) &&
4140 $fix) {
4141 $fixed[$fixlinenr] =~
4142 s/\(\s+/\(/;
4145 if ($line =~ /(\s+)\)/ && $line !~ /^.\s*\)/ &&
4146 $line !~ /for\s*\(.*;\s+\)/ &&
4147 $line !~ /:\s+\)/) {
4148 if (ERROR("SPACING",
4149 "space prohibited before that close parenthesis ')'\n" . $herecurr) &&
4150 $fix) {
4151 $fixed[$fixlinenr] =~
4152 s/\s+\)/\)/;
4156 # check unnecessary parentheses around addressof/dereference single $Lvals
4157 # ie: &(foo->bar) should be &foo->bar and *(foo->bar) should be *foo->bar
4159 while ($line =~ /(?:[^&]&\s*|\*)\(\s*($Ident\s*(?:$Member\s*)+)\s*\)/g) {
4160 my $var = $1;
4161 if (CHK("UNNECESSARY_PARENTHESES",
4162 "Unnecessary parentheses around $var\n" . $herecurr) &&
4163 $fix) {
4164 $fixed[$fixlinenr] =~ s/\(\s*\Q$var\E\s*\)/$var/;
4168 # check for unnecessary parentheses around function pointer uses
4169 # ie: (foo->bar)(); should be foo->bar();
4170 # but not "if (foo->bar) (" to avoid some false positives
4171 if ($line =~ /(\bif\s*|)(\(\s*$Ident\s*(?:$Member\s*)+\))[ \t]*\(/ && $1 !~ /^if/) {
4172 my $var = $2;
4173 if (CHK("UNNECESSARY_PARENTHESES",
4174 "Unnecessary parentheses around function pointer $var\n" . $herecurr) &&
4175 $fix) {
4176 my $var2 = deparenthesize($var);
4177 $var2 =~ s/\s//g;
4178 $fixed[$fixlinenr] =~ s/\Q$var\E/$var2/;
4182 #goto labels aren't indented, allow a single space however
4183 if ($line=~/^.\s+[A-Za-z\d_]+:(?![0-9]+)/ and
4184 !($line=~/^. [A-Za-z\d_]+:/) and !($line=~/^.\s+default:/)) {
4185 if (WARN("INDENTED_LABEL",
4186 "labels should not be indented\n" . $herecurr) &&
4187 $fix) {
4188 $fixed[$fixlinenr] =~
4189 s/^(.)\s+/$1/;
4193 # return is not a function
4194 if (defined($stat) && $stat =~ /^.\s*return(\s*)\(/s) {
4195 my $spacing = $1;
4196 if ($^V && $^V ge 5.10.0 &&
4197 $stat =~ /^.\s*return\s*($balanced_parens)\s*;\s*$/) {
4198 my $value = $1;
4199 $value = deparenthesize($value);
4200 if ($value =~ m/^\s*$FuncArg\s*(?:\?|$)/) {
4201 ERROR("RETURN_PARENTHESES",
4202 "return is not a function, parentheses are not required\n" . $herecurr);
4204 } elsif ($spacing !~ /\s+/) {
4205 ERROR("SPACING",
4206 "space required before the open parenthesis '('\n" . $herecurr);
4210 # unnecessary return in a void function
4211 # at end-of-function, with the previous line a single leading tab, then return;
4212 # and the line before that not a goto label target like "out:"
4213 if ($sline =~ /^[ \+]}\s*$/ &&
4214 $prevline =~ /^\+\treturn\s*;\s*$/ &&
4215 $linenr >= 3 &&
4216 $lines[$linenr - 3] =~ /^[ +]/ &&
4217 $lines[$linenr - 3] !~ /^[ +]\s*$Ident\s*:/) {
4218 WARN("RETURN_VOID",
4219 "void function return statements are not generally useful\n" . $hereprev);
4222 # if statements using unnecessary parentheses - ie: if ((foo == bar))
4223 if ($^V && $^V ge 5.10.0 &&
4224 $line =~ /\bif\s*((?:\(\s*){2,})/) {
4225 my $openparens = $1;
4226 my $count = $openparens =~ tr@\(@\(@;
4227 my $msg = "";
4228 if ($line =~ /\bif\s*(?:\(\s*){$count,$count}$LvalOrFunc\s*($Compare)\s*$LvalOrFunc(?:\s*\)){$count,$count}/) {
4229 my $comp = $4; #Not $1 because of $LvalOrFunc
4230 $msg = " - maybe == should be = ?" if ($comp eq "==");
4231 WARN("UNNECESSARY_PARENTHESES",
4232 "Unnecessary parentheses$msg\n" . $herecurr);
4236 # comparisons with a constant or upper case identifier on the left
4237 # avoid cases like "foo + BAR < baz"
4238 # only fix matches surrounded by parentheses to avoid incorrect
4239 # conversions like "FOO < baz() + 5" being "misfixed" to "baz() > FOO + 5"
4240 if ($^V && $^V ge 5.10.0 &&
4241 $line =~ /^\+(.*)\b($Constant|[A-Z_][A-Z0-9_]*)\s*($Compare)\s*($LvalOrFunc)/) {
4242 my $lead = $1;
4243 my $const = $2;
4244 my $comp = $3;
4245 my $to = $4;
4246 my $newcomp = $comp;
4247 if ($lead !~ /$Operators\s*$/ &&
4248 $to !~ /^(?:Constant|[A-Z_][A-Z0-9_]*)$/ &&
4249 WARN("CONSTANT_COMPARISON",
4250 "Comparisons should place the constant on the right side of the test\n" . $herecurr) &&
4251 $fix) {
4252 if ($comp eq "<") {
4253 $newcomp = ">";
4254 } elsif ($comp eq "<=") {
4255 $newcomp = ">=";
4256 } elsif ($comp eq ">") {
4257 $newcomp = "<";
4258 } elsif ($comp eq ">=") {
4259 $newcomp = "<=";
4261 $fixed[$fixlinenr] =~ s/\(\s*\Q$const\E\s*$Compare\s*\Q$to\E\s*\)/($to $newcomp $const)/;
4265 # Return of what appears to be an errno should normally be negative
4266 if ($sline =~ /\breturn(?:\s*\(+\s*|\s+)(E[A-Z]+)(?:\s*\)+\s*|\s*)[;:,]/) {
4267 my $name = $1;
4268 if ($name ne 'EOF' && $name ne 'ERROR') {
4269 WARN("USE_NEGATIVE_ERRNO",
4270 "return of an errno should typically be negative (ie: return -$1)\n" . $herecurr);
4274 # Need a space before open parenthesis after if, while etc
4275 if ($line =~ /\b(if|while|for|switch)\(/) {
4276 if (ERROR("SPACING",
4277 "space required before the open parenthesis '('\n" . $herecurr) &&
4278 $fix) {
4279 $fixed[$fixlinenr] =~
4280 s/\b(if|while|for|switch)\(/$1 \(/;
4284 # Check for illegal assignment in if conditional -- and check for trailing
4285 # statements after the conditional.
4286 if ($line =~ /do\s*(?!{)/) {
4287 ($stat, $cond, $line_nr_next, $remain_next, $off_next) =
4288 ctx_statement_block($linenr, $realcnt, 0)
4289 if (!defined $stat);
4290 my ($stat_next) = ctx_statement_block($line_nr_next,
4291 $remain_next, $off_next);
4292 $stat_next =~ s/\n./\n /g;
4293 ##print "stat<$stat> stat_next<$stat_next>\n";
4295 if ($stat_next =~ /^\s*while\b/) {
4296 # If the statement carries leading newlines,
4297 # then count those as offsets.
4298 my ($whitespace) =
4299 ($stat_next =~ /^((?:\s*\n[+-])*\s*)/s);
4300 my $offset =
4301 statement_rawlines($whitespace) - 1;
4303 $suppress_whiletrailers{$line_nr_next +
4304 $offset} = 1;
4307 if (!defined $suppress_whiletrailers{$linenr} &&
4308 defined($stat) && defined($cond) &&
4309 $line =~ /\b(?:if|while|for)\s*\(/ && $line !~ /^.\s*#/) {
4310 my ($s, $c) = ($stat, $cond);
4312 if ($c =~ /\bif\s*\(.*[^<>!=]=[^=].*/s) {
4313 ERROR("ASSIGN_IN_IF",
4314 "do not use assignment in if condition\n" . $herecurr);
4317 # Find out what is on the end of the line after the
4318 # conditional.
4319 substr($s, 0, length($c), '');
4320 $s =~ s/\n.*//g;
4321 $s =~ s/$;//g; # Remove any comments
4322 if (length($c) && $s !~ /^\s*{?\s*\\*\s*$/ &&
4323 $c !~ /}\s*while\s*/)
4325 # Find out how long the conditional actually is.
4326 my @newlines = ($c =~ /\n/gs);
4327 my $cond_lines = 1 + $#newlines;
4328 my $stat_real = '';
4330 $stat_real = raw_line($linenr, $cond_lines)
4331 . "\n" if ($cond_lines);
4332 if (defined($stat_real) && $cond_lines > 1) {
4333 $stat_real = "[...]\n$stat_real";
4336 ERROR("TRAILING_STATEMENTS",
4337 "trailing statements should be on next line\n" . $herecurr . $stat_real);
4341 # Check for bitwise tests written as boolean
4342 if ($line =~ /
4344 (?:\[|\(|\&\&|\|\|)
4345 \s*0[xX][0-9]+\s*
4346 (?:\&\&|\|\|)
4348 (?:\&\&|\|\|)
4349 \s*0[xX][0-9]+\s*
4350 (?:\&\&|\|\||\)|\])
4351 )/x)
4353 WARN("HEXADECIMAL_BOOLEAN_TEST",
4354 "boolean test with hexadecimal, perhaps just 1 \& or \|?\n" . $herecurr);
4357 # if and else should not have general statements after it
4358 if ($line =~ /^.\s*(?:}\s*)?else\b(.*)/) {
4359 my $s = $1;
4360 $s =~ s/$;//g; # Remove any comments
4361 if ($s !~ /^\s*(?:\sif|(?:{|)\s*\\?\s*$)/) {
4362 ERROR("TRAILING_STATEMENTS",
4363 "trailing statements should be on next line\n" . $herecurr);
4366 # if should not continue a brace
4367 if ($line =~ /}\s*if\b/) {
4368 ERROR("TRAILING_STATEMENTS",
4369 "trailing statements should be on next line (or did you mean 'else if'?)\n" .
4370 $herecurr);
4372 # case and default should not have general statements after them
4373 if ($line =~ /^.\s*(?:case\s*.*|default\s*):/g &&
4374 $line !~ /\G(?:
4375 (?:\s*$;*)(?:\s*{)?(?:\s*$;*)(?:\s*\\)?\s*$|
4376 \s*return\s+
4377 )/xg)
4379 ERROR("TRAILING_STATEMENTS",
4380 "trailing statements should be on next line\n" . $herecurr);
4383 # Check for }<nl>else {, these must be at the same
4384 # indent level to be relevant to each other.
4385 if ($prevline=~/}\s*$/ and $line=~/^.\s*else\s*/ &&
4386 $previndent == $indent) {
4387 if (ERROR("ELSE_AFTER_BRACE",
4388 "else should follow close brace '}'\n" . $hereprev) &&
4389 $fix && $prevline =~ /^\+/ && $line =~ /^\+/) {
4390 fix_delete_line($fixlinenr - 1, $prevrawline);
4391 fix_delete_line($fixlinenr, $rawline);
4392 my $fixedline = $prevrawline;
4393 $fixedline =~ s/}\s*$//;
4394 if ($fixedline !~ /^\+\s*$/) {
4395 fix_insert_line($fixlinenr, $fixedline);
4397 $fixedline = $rawline;
4398 $fixedline =~ s/^(.\s*)else/$1} else/;
4399 fix_insert_line($fixlinenr, $fixedline);
4403 if ($prevline=~/}\s*$/ and $line=~/^.\s*while\s*/ &&
4404 $previndent == $indent) {
4405 my ($s, $c) = ctx_statement_block($linenr, $realcnt, 0);
4407 # Find out what is on the end of the line after the
4408 # conditional.
4409 substr($s, 0, length($c), '');
4410 $s =~ s/\n.*//g;
4412 if ($s =~ /^\s*;/) {
4413 if (ERROR("WHILE_AFTER_BRACE",
4414 "while should follow close brace '}'\n" . $hereprev) &&
4415 $fix && $prevline =~ /^\+/ && $line =~ /^\+/) {
4416 fix_delete_line($fixlinenr - 1, $prevrawline);
4417 fix_delete_line($fixlinenr, $rawline);
4418 my $fixedline = $prevrawline;
4419 my $trailing = $rawline;
4420 $trailing =~ s/^\+//;
4421 $trailing = trim($trailing);
4422 $fixedline =~ s/}\s*$/} $trailing/;
4423 fix_insert_line($fixlinenr, $fixedline);
4428 #Specific variable tests
4429 while ($line =~ m{($Constant|$Lval)}g) {
4430 my $var = $1;
4432 #gcc binary extension
4433 if ($var =~ /^$Binary$/) {
4434 if (WARN("GCC_BINARY_CONSTANT",
4435 "Avoid gcc v4.3+ binary constant extension: <$var>\n" . $herecurr) &&
4436 $fix) {
4437 my $hexval = sprintf("0x%x", oct($var));
4438 $fixed[$fixlinenr] =~
4439 s/\b$var\b/$hexval/;
4443 #CamelCase
4444 if ($var !~ /^$Constant$/ &&
4445 $var =~ /[A-Z][a-z]|[a-z][A-Z]/ &&
4446 #Ignore Page<foo> variants
4447 $var !~ /^(?:Clear|Set|TestClear|TestSet|)Page[A-Z]/ &&
4448 #Ignore SI style variants like nS, mV and dB (ie: max_uV, regulator_min_uA_show)
4449 $var !~ /^(?:[a-z_]*?)_?[a-z][A-Z](?:_[a-z_]+)?$/ &&
4450 #Ignore some three character SI units explicitly, like MiB and KHz
4451 $var !~ /^(?:[a-z_]*?)_?(?:[KMGT]iB|[KMGT]?Hz)(?:_[a-z_]+)?$/) {
4452 while ($var =~ m{($Ident)}g) {
4453 my $word = $1;
4454 next if ($word !~ /[A-Z][a-z]|[a-z][A-Z]/);
4455 if ($check) {
4456 seed_camelcase_includes();
4457 if (!$file && !$camelcase_file_seeded) {
4458 seed_camelcase_file($realfile);
4459 $camelcase_file_seeded = 1;
4462 if (!defined $camelcase{$word}) {
4463 $camelcase{$word} = 1;
4464 CHK("CAMELCASE",
4465 "Avoid CamelCase: <$word>\n" . $herecurr);
4471 #no spaces allowed after \ in define
4472 if ($line =~ /\#\s*define.*\\\s+$/) {
4473 if (WARN("WHITESPACE_AFTER_LINE_CONTINUATION",
4474 "Whitespace after \\ makes next lines useless\n" . $herecurr) &&
4475 $fix) {
4476 $fixed[$fixlinenr] =~ s/\s+$//;
4480 # warn if <asm/foo.h> is #included and <linux/foo.h> is available and includes
4481 # itself <asm/foo.h> (uses RAW line)
4482 if ($tree && $rawline =~ m{^.\s*\#\s*include\s*\<asm\/(.*)\.h\>}) {
4483 my $file = "$1.h";
4484 my $checkfile = "include/linux/$file";
4485 if (-f "$root/$checkfile" &&
4486 $realfile ne $checkfile &&
4487 $1 !~ /$allowed_asm_includes/)
4489 my $asminclude = `grep -Ec "#include\\s+<asm/$file>" $root/$checkfile`;
4490 if ($asminclude > 0) {
4491 if ($realfile =~ m{^arch/}) {
4492 CHK("ARCH_INCLUDE_LINUX",
4493 "Consider using #include <linux/$file> instead of <asm/$file>\n" . $herecurr);
4494 } else {
4495 WARN("INCLUDE_LINUX",
4496 "Use #include <linux/$file> instead of <asm/$file>\n" . $herecurr);
4502 # multi-statement macros should be enclosed in a do while loop, grab the
4503 # first statement and ensure its the whole macro if its not enclosed
4504 # in a known good container
4505 if ($realfile !~ m@/vmlinux.lds.h$@ &&
4506 $line =~ /^.\s*\#\s*define\s*$Ident(\()?/) {
4507 my $ln = $linenr;
4508 my $cnt = $realcnt;
4509 my ($off, $dstat, $dcond, $rest);
4510 my $ctx = '';
4511 my $has_flow_statement = 0;
4512 my $has_arg_concat = 0;
4513 ($dstat, $dcond, $ln, $cnt, $off) =
4514 ctx_statement_block($linenr, $realcnt, 0);
4515 $ctx = $dstat;
4516 #print "dstat<$dstat> dcond<$dcond> cnt<$cnt> off<$off>\n";
4517 #print "LINE<$lines[$ln-1]> len<" . length($lines[$ln-1]) . "\n";
4519 $has_flow_statement = 1 if ($ctx =~ /\b(goto|return)\b/);
4520 $has_arg_concat = 1 if ($ctx =~ /\#\#/);
4522 $dstat =~ s/^.\s*\#\s*define\s+$Ident(?:\([^\)]*\))?\s*//;
4523 $dstat =~ s/$;//g;
4524 $dstat =~ s/\\\n.//g;
4525 $dstat =~ s/^\s*//s;
4526 $dstat =~ s/\s*$//s;
4528 # Flatten any parentheses and braces
4529 while ($dstat =~ s/\([^\(\)]*\)/1/ ||
4530 $dstat =~ s/\{[^\{\}]*\}/1/ ||
4531 $dstat =~ s/\[[^\[\]]*\]/1/)
4535 # Flatten any obvious string concatentation.
4536 while ($dstat =~ s/($String)\s*$Ident/$1/ ||
4537 $dstat =~ s/$Ident\s*($String)/$1/)
4541 my $exceptions = qr{
4542 $Declare|
4543 module_param_named|
4544 MODULE_PARM_DESC|
4545 DECLARE_PER_CPU|
4546 DEFINE_PER_CPU|
4547 __typeof__\(|
4548 union|
4549 struct|
4550 \.$Ident\s*=\s*|
4551 ^\"|\"$
4553 #print "REST<$rest> dstat<$dstat> ctx<$ctx>\n";
4554 if ($dstat ne '' &&
4555 $dstat !~ /^(?:$Ident|-?$Constant),$/ && # 10, // foo(),
4556 $dstat !~ /^(?:$Ident|-?$Constant);$/ && # foo();
4557 $dstat !~ /^[!~-]?(?:$Lval|$Constant)$/ && # 10 // foo() // !foo // ~foo // -foo // foo->bar // foo.bar->baz
4558 $dstat !~ /^'X'$/ && $dstat !~ /^'XX'$/ && # character constants
4559 $dstat !~ /$exceptions/ &&
4560 $dstat !~ /^\.$Ident\s*=/ && # .foo =
4561 $dstat !~ /^(?:\#\s*$Ident|\#\s*$Constant)\s*$/ && # stringification #foo
4562 $dstat !~ /^do\s*$Constant\s*while\s*$Constant;?$/ && # do {...} while (...); // do {...} while (...)
4563 $dstat !~ /^for\s*$Constant$/ && # for (...)
4564 $dstat !~ /^for\s*$Constant\s+(?:$Ident|-?$Constant)$/ && # for (...) bar()
4565 $dstat !~ /^do\s*{/ && # do {...
4566 $dstat !~ /^\(\{/ && # ({...
4567 $ctx !~ /^.\s*#\s*define\s+TRACE_(?:SYSTEM|INCLUDE_FILE|INCLUDE_PATH)\b/)
4569 $ctx =~ s/\n*$//;
4570 my $herectx = $here . "\n";
4571 my $cnt = statement_rawlines($ctx);
4573 for (my $n = 0; $n < $cnt; $n++) {
4574 $herectx .= raw_line($linenr, $n) . "\n";
4577 if ($dstat =~ /;/) {
4578 ERROR("MULTISTATEMENT_MACRO_USE_DO_WHILE",
4579 "Macros with multiple statements should be enclosed in a do - while loop\n" . "$herectx");
4580 } else {
4581 ERROR("COMPLEX_MACRO",
4582 "Macros with complex values should be enclosed in parentheses\n" . "$herectx");
4586 # check for macros with flow control, but without ## concatenation
4587 # ## concatenation is commonly a macro that defines a function so ignore those
4588 if ($has_flow_statement && !$has_arg_concat) {
4589 my $herectx = $here . "\n";
4590 my $cnt = statement_rawlines($ctx);
4592 for (my $n = 0; $n < $cnt; $n++) {
4593 $herectx .= raw_line($linenr, $n) . "\n";
4595 WARN("MACRO_WITH_FLOW_CONTROL",
4596 "Macros with flow control statements should be avoided\n" . "$herectx");
4599 # check for line continuations outside of #defines, preprocessor #, and asm
4601 } else {
4602 if ($prevline !~ /^..*\\$/ &&
4603 $line !~ /^\+\s*\#.*\\$/ && # preprocessor
4604 $line !~ /^\+.*\b(__asm__|asm)\b.*\\$/ && # asm
4605 $line =~ /^\+.*\\$/) {
4606 WARN("LINE_CONTINUATIONS",
4607 "Avoid unnecessary line continuations\n" . $herecurr);
4611 # do {} while (0) macro tests:
4612 # single-statement macros do not need to be enclosed in do while (0) loop,
4613 # macro should not end with a semicolon
4614 if ($^V && $^V ge 5.10.0 &&
4615 $realfile !~ m@/vmlinux.lds.h$@ &&
4616 $line =~ /^.\s*\#\s*define\s+$Ident(\()?/) {
4617 my $ln = $linenr;
4618 my $cnt = $realcnt;
4619 my ($off, $dstat, $dcond, $rest);
4620 my $ctx = '';
4621 ($dstat, $dcond, $ln, $cnt, $off) =
4622 ctx_statement_block($linenr, $realcnt, 0);
4623 $ctx = $dstat;
4625 $dstat =~ s/\\\n.//g;
4626 $dstat =~ s/$;/ /g;
4628 if ($dstat =~ /^\+\s*#\s*define\s+$Ident\s*${balanced_parens}\s*do\s*{(.*)\s*}\s*while\s*\(\s*0\s*\)\s*([;\s]*)\s*$/) {
4629 my $stmts = $2;
4630 my $semis = $3;
4632 $ctx =~ s/\n*$//;
4633 my $cnt = statement_rawlines($ctx);
4634 my $herectx = $here . "\n";
4636 for (my $n = 0; $n < $cnt; $n++) {
4637 $herectx .= raw_line($linenr, $n) . "\n";
4640 if (($stmts =~ tr/;/;/) == 1 &&
4641 $stmts !~ /^\s*(if|while|for|switch)\b/) {
4642 WARN("SINGLE_STATEMENT_DO_WHILE_MACRO",
4643 "Single statement macros should not use a do {} while (0) loop\n" . "$herectx");
4645 if (defined $semis && $semis ne "") {
4646 WARN("DO_WHILE_MACRO_WITH_TRAILING_SEMICOLON",
4647 "do {} while (0) macros should not be semicolon terminated\n" . "$herectx");
4649 } elsif ($dstat =~ /^\+\s*#\s*define\s+$Ident.*;\s*$/) {
4650 $ctx =~ s/\n*$//;
4651 my $cnt = statement_rawlines($ctx);
4652 my $herectx = $here . "\n";
4654 for (my $n = 0; $n < $cnt; $n++) {
4655 $herectx .= raw_line($linenr, $n) . "\n";
4658 WARN("TRAILING_SEMICOLON",
4659 "macros should not use a trailing semicolon\n" . "$herectx");
4663 # make sure symbols are always wrapped with VMLINUX_SYMBOL() ...
4664 # all assignments may have only one of the following with an assignment:
4666 # ALIGN(...)
4667 # VMLINUX_SYMBOL(...)
4668 if ($realfile eq 'vmlinux.lds.h' && $line =~ /(?:(?:^|\s)$Ident\s*=|=\s*$Ident(?:\s|$))/) {
4669 WARN("MISSING_VMLINUX_SYMBOL",
4670 "vmlinux.lds.h needs VMLINUX_SYMBOL() around C-visible symbols\n" . $herecurr);
4673 # check for redundant bracing round if etc
4674 if ($line =~ /(^.*)\bif\b/ && $1 !~ /else\s*$/) {
4675 my ($level, $endln, @chunks) =
4676 ctx_statement_full($linenr, $realcnt, 1);
4677 #print "chunks<$#chunks> linenr<$linenr> endln<$endln> level<$level>\n";
4678 #print "APW: <<$chunks[1][0]>><<$chunks[1][1]>>\n";
4679 if ($#chunks > 0 && $level == 0) {
4680 my @allowed = ();
4681 my $allow = 0;
4682 my $seen = 0;
4683 my $herectx = $here . "\n";
4684 my $ln = $linenr - 1;
4685 for my $chunk (@chunks) {
4686 my ($cond, $block) = @{$chunk};
4688 # If the condition carries leading newlines, then count those as offsets.
4689 my ($whitespace) = ($cond =~ /^((?:\s*\n[+-])*\s*)/s);
4690 my $offset = statement_rawlines($whitespace) - 1;
4692 $allowed[$allow] = 0;
4693 #print "COND<$cond> whitespace<$whitespace> offset<$offset>\n";
4695 # We have looked at and allowed this specific line.
4696 $suppress_ifbraces{$ln + $offset} = 1;
4698 $herectx .= "$rawlines[$ln + $offset]\n[...]\n";
4699 $ln += statement_rawlines($block) - 1;
4701 substr($block, 0, length($cond), '');
4703 $seen++ if ($block =~ /^\s*{/);
4705 #print "cond<$cond> block<$block> allowed<$allowed[$allow]>\n";
4706 if (statement_lines($cond) > 1) {
4707 #print "APW: ALLOWED: cond<$cond>\n";
4708 $allowed[$allow] = 1;
4710 if ($block =~/\b(?:if|for|while)\b/) {
4711 #print "APW: ALLOWED: block<$block>\n";
4712 $allowed[$allow] = 1;
4714 if (statement_block_size($block) > 1) {
4715 #print "APW: ALLOWED: lines block<$block>\n";
4716 $allowed[$allow] = 1;
4718 $allow++;
4720 if ($seen) {
4721 my $sum_allowed = 0;
4722 foreach (@allowed) {
4723 $sum_allowed += $_;
4725 if ($sum_allowed == 0) {
4726 WARN("BRACES",
4727 "braces {} are not necessary for any arm of this statement\n" . $herectx);
4728 } elsif ($sum_allowed != $allow &&
4729 $seen != $allow) {
4730 CHK("BRACES",
4731 "braces {} should be used on all arms of this statement\n" . $herectx);
4736 if (!defined $suppress_ifbraces{$linenr - 1} &&
4737 $line =~ /\b(if|while|for|else)\b/) {
4738 my $allowed = 0;
4740 # Check the pre-context.
4741 if (substr($line, 0, $-[0]) =~ /(\}\s*)$/) {
4742 #print "APW: ALLOWED: pre<$1>\n";
4743 $allowed = 1;
4746 my ($level, $endln, @chunks) =
4747 ctx_statement_full($linenr, $realcnt, $-[0]);
4749 # Check the condition.
4750 my ($cond, $block) = @{$chunks[0]};
4751 #print "CHECKING<$linenr> cond<$cond> block<$block>\n";
4752 if (defined $cond) {
4753 substr($block, 0, length($cond), '');
4755 if (statement_lines($cond) > 1) {
4756 #print "APW: ALLOWED: cond<$cond>\n";
4757 $allowed = 1;
4759 if ($block =~/\b(?:if|for|while)\b/) {
4760 #print "APW: ALLOWED: block<$block>\n";
4761 $allowed = 1;
4763 if (statement_block_size($block) > 1) {
4764 #print "APW: ALLOWED: lines block<$block>\n";
4765 $allowed = 1;
4767 # Check the post-context.
4768 if (defined $chunks[1]) {
4769 my ($cond, $block) = @{$chunks[1]};
4770 if (defined $cond) {
4771 substr($block, 0, length($cond), '');
4773 if ($block =~ /^\s*\{/) {
4774 #print "APW: ALLOWED: chunk-1 block<$block>\n";
4775 $allowed = 1;
4778 if ($level == 0 && $block =~ /^\s*\{/ && !$allowed) {
4779 my $herectx = $here . "\n";
4780 my $cnt = statement_rawlines($block);
4782 for (my $n = 0; $n < $cnt; $n++) {
4783 $herectx .= raw_line($linenr, $n) . "\n";
4786 WARN("BRACES",
4787 "braces {} are not necessary for single statement blocks\n" . $herectx);
4791 # check for unnecessary blank lines around braces
4792 if (($line =~ /^.\s*}\s*$/ && $prevrawline =~ /^.\s*$/)) {
4793 if (CHK("BRACES",
4794 "Blank lines aren't necessary before a close brace '}'\n" . $hereprev) &&
4795 $fix && $prevrawline =~ /^\+/) {
4796 fix_delete_line($fixlinenr - 1, $prevrawline);
4799 if (($rawline =~ /^.\s*$/ && $prevline =~ /^..*{\s*$/)) {
4800 if (CHK("BRACES",
4801 "Blank lines aren't necessary after an open brace '{'\n" . $hereprev) &&
4802 $fix) {
4803 fix_delete_line($fixlinenr, $rawline);
4807 # no volatiles please
4808 my $asm_volatile = qr{\b(__asm__|asm)\s+(__volatile__|volatile)\b};
4809 if ($line =~ /\bvolatile\b/ && $line !~ /$asm_volatile/) {
4810 WARN("VOLATILE",
4811 "Use of volatile is usually wrong: see Documentation/volatile-considered-harmful.txt\n" . $herecurr);
4814 # Check for user-visible strings broken across lines, which breaks the ability
4815 # to grep for the string. Make exceptions when the previous string ends in a
4816 # newline (multiple lines in one string constant) or '\t', '\r', ';', or '{'
4817 # (common in inline assembly) or is a octal \123 or hexadecimal \xaf value
4818 if ($line =~ /^\+\s*$String/ &&
4819 $prevline =~ /"\s*$/ &&
4820 $prevrawline !~ /(?:\\(?:[ntr]|[0-7]{1,3}|x[0-9a-fA-F]{1,2})|;\s*|\{\s*)"\s*$/) {
4821 if (WARN("SPLIT_STRING",
4822 "quoted string split across lines\n" . $hereprev) &&
4823 $fix &&
4824 $prevrawline =~ /^\+.*"\s*$/ &&
4825 $last_coalesced_string_linenr != $linenr - 1) {
4826 my $extracted_string = get_quoted_string($line, $rawline);
4827 my $comma_close = "";
4828 if ($rawline =~ /\Q$extracted_string\E(\s*\)\s*;\s*$|\s*,\s*)/) {
4829 $comma_close = $1;
4832 fix_delete_line($fixlinenr - 1, $prevrawline);
4833 fix_delete_line($fixlinenr, $rawline);
4834 my $fixedline = $prevrawline;
4835 $fixedline =~ s/"\s*$//;
4836 $fixedline .= substr($extracted_string, 1) . trim($comma_close);
4837 fix_insert_line($fixlinenr - 1, $fixedline);
4838 $fixedline = $rawline;
4839 $fixedline =~ s/\Q$extracted_string\E\Q$comma_close\E//;
4840 if ($fixedline !~ /\+\s*$/) {
4841 fix_insert_line($fixlinenr, $fixedline);
4843 $last_coalesced_string_linenr = $linenr;
4847 # check for missing a space in a string concatenation
4848 if ($prevrawline =~ /[^\\]\w"$/ && $rawline =~ /^\+[\t ]+"\w/) {
4849 WARN('MISSING_SPACE',
4850 "break quoted strings at a space character\n" . $hereprev);
4853 # check for spaces before a quoted newline
4854 if ($rawline =~ /^.*\".*\s\\n/) {
4855 if (WARN("QUOTED_WHITESPACE_BEFORE_NEWLINE",
4856 "unnecessary whitespace before a quoted newline\n" . $herecurr) &&
4857 $fix) {
4858 $fixed[$fixlinenr] =~ s/^(\+.*\".*)\s+\\n/$1\\n/;
4863 # concatenated string without spaces between elements
4864 if ($line =~ /$String[A-Z_]/ || $line =~ /[A-Za-z0-9_]$String/) {
4865 CHK("CONCATENATED_STRING",
4866 "Concatenated strings should use spaces between elements\n" . $herecurr);
4869 # uncoalesced string fragments
4870 if ($line =~ /$String\s*"/) {
4871 WARN("STRING_FRAGMENTS",
4872 "Consecutive strings are generally better as a single string\n" . $herecurr);
4875 # check for %L{u,d,i} and 0x%[udi] in strings
4876 my $string;
4877 while ($line =~ /(?:^|")([X\t]*)(?:"|$)/g) {
4878 $string = substr($rawline, $-[1], $+[1] - $-[1]);
4879 $string =~ s/%%/__/g;
4880 if ($string =~ /(?<!%)%[\*\d\.\$]*L[udi]/) {
4881 WARN("PRINTF_L",
4882 "\%Ld/%Lu are not-standard C, use %lld/%llu\n" . $herecurr);
4883 last;
4885 if ($string =~ /0x%[\*\d\.\$\Llzth]*[udi]/) {
4886 ERROR("PRINTF_0xDECIMAL",
4887 "Prefixing 0x with decimal output is defective\n" . $herecurr);
4891 # check for line continuations in quoted strings with odd counts of "
4892 if ($rawline =~ /\\$/ && $rawline =~ tr/"/"/ % 2) {
4893 WARN("LINE_CONTINUATIONS",
4894 "Avoid line continuations in quoted strings\n" . $herecurr);
4897 # warn about #if 0
4898 if ($line =~ /^.\s*\#\s*if\s+0\b/) {
4899 CHK("REDUNDANT_CODE",
4900 "if this code is redundant consider removing it\n" .
4901 $herecurr);
4904 # check for needless "if (<foo>) fn(<foo>)" uses
4905 if ($prevline =~ /\bif\s*\(\s*($Lval)\s*\)/) {
4906 my $tested = quotemeta($1);
4907 my $expr = '\s*\(\s*' . $tested . '\s*\)\s*;';
4908 if ($line =~ /\b(kfree|usb_free_urb|debugfs_remove(?:_recursive)?|(?:kmem_cache|mempool|dma_pool)_destroy)$expr/) {
4909 my $func = $1;
4910 if (WARN('NEEDLESS_IF',
4911 "$func(NULL) is safe and this check is probably not required\n" . $hereprev) &&
4912 $fix) {
4913 my $do_fix = 1;
4914 my $leading_tabs = "";
4915 my $new_leading_tabs = "";
4916 if ($lines[$linenr - 2] =~ /^\+(\t*)if\s*\(\s*$tested\s*\)\s*$/) {
4917 $leading_tabs = $1;
4918 } else {
4919 $do_fix = 0;
4921 if ($lines[$linenr - 1] =~ /^\+(\t+)$func\s*\(\s*$tested\s*\)\s*;\s*$/) {
4922 $new_leading_tabs = $1;
4923 if (length($leading_tabs) + 1 ne length($new_leading_tabs)) {
4924 $do_fix = 0;
4926 } else {
4927 $do_fix = 0;
4929 if ($do_fix) {
4930 fix_delete_line($fixlinenr - 1, $prevrawline);
4931 $fixed[$fixlinenr] =~ s/^\+$new_leading_tabs/\+$leading_tabs/;
4937 # check for unnecessary "Out of Memory" messages
4938 if ($line =~ /^\+.*\b$logFunctions\s*\(/ &&
4939 $prevline =~ /^[ \+]\s*if\s*\(\s*(\!\s*|NULL\s*==\s*)?($Lval)(\s*==\s*NULL\s*)?\s*\)/ &&
4940 (defined $1 || defined $3) &&
4941 $linenr > 3) {
4942 my $testval = $2;
4943 my $testline = $lines[$linenr - 3];
4945 my ($s, $c) = ctx_statement_block($linenr - 3, $realcnt, 0);
4946 # print("line: <$line>\nprevline: <$prevline>\ns: <$s>\nc: <$c>\n\n\n");
4948 if ($c =~ /(?:^|\n)[ \+]\s*(?:$Type\s*)?\Q$testval\E\s*=\s*(?:\([^\)]*\)\s*)?\s*(?:devm_)?(?:[kv][czm]alloc(?:_node|_array)?\b|kstrdup|(?:dev_)?alloc_skb)/) {
4949 WARN("OOM_MESSAGE",
4950 "Possible unnecessary 'out of memory' message\n" . $hereprev);
4954 # check for logging functions with KERN_<LEVEL>
4955 if ($line !~ /printk(?:_ratelimited|_once)?\s*\(/ &&
4956 $line =~ /\b$logFunctions\s*\(.*\b(KERN_[A-Z]+)\b/) {
4957 my $level = $1;
4958 if (WARN("UNNECESSARY_KERN_LEVEL",
4959 "Possible unnecessary $level\n" . $herecurr) &&
4960 $fix) {
4961 $fixed[$fixlinenr] =~ s/\s*$level\s*//;
4965 # check for mask then right shift without a parentheses
4966 if ($^V && $^V ge 5.10.0 &&
4967 $line =~ /$LvalOrFunc\s*\&\s*($LvalOrFunc)\s*>>/ &&
4968 $4 !~ /^\&/) { # $LvalOrFunc may be &foo, ignore if so
4969 WARN("MASK_THEN_SHIFT",
4970 "Possible precedence defect with mask then right shift - may need parentheses\n" . $herecurr);
4973 # check for pointer comparisons to NULL
4974 if ($^V && $^V ge 5.10.0) {
4975 while ($line =~ /\b$LvalOrFunc\s*(==|\!=)\s*NULL\b/g) {
4976 my $val = $1;
4977 my $equal = "!";
4978 $equal = "" if ($4 eq "!=");
4979 if (CHK("COMPARISON_TO_NULL",
4980 "Comparison to NULL could be written \"${equal}${val}\"\n" . $herecurr) &&
4981 $fix) {
4982 $fixed[$fixlinenr] =~ s/\b\Q$val\E\s*(?:==|\!=)\s*NULL\b/$equal$val/;
4987 # check for bad placement of section $InitAttribute (e.g.: __initdata)
4988 if ($line =~ /(\b$InitAttribute\b)/) {
4989 my $attr = $1;
4990 if ($line =~ /^\+\s*static\s+(?:const\s+)?(?:$attr\s+)?($NonptrTypeWithAttr)\s+(?:$attr\s+)?($Ident(?:\[[^]]*\])?)\s*[=;]/) {
4991 my $ptr = $1;
4992 my $var = $2;
4993 if ((($ptr =~ /\b(union|struct)\s+$attr\b/ &&
4994 ERROR("MISPLACED_INIT",
4995 "$attr should be placed after $var\n" . $herecurr)) ||
4996 ($ptr !~ /\b(union|struct)\s+$attr\b/ &&
4997 WARN("MISPLACED_INIT",
4998 "$attr should be placed after $var\n" . $herecurr))) &&
4999 $fix) {
5000 $fixed[$fixlinenr] =~ s/(\bstatic\s+(?:const\s+)?)(?:$attr\s+)?($NonptrTypeWithAttr)\s+(?:$attr\s+)?($Ident(?:\[[^]]*\])?)\s*([=;])\s*/"$1" . trim(string_find_replace($2, "\\s*$attr\\s*", " ")) . " " . trim(string_find_replace($3, "\\s*$attr\\s*", "")) . " $attr" . ("$4" eq ";" ? ";" : " = ")/e;
5005 # check for $InitAttributeData (ie: __initdata) with const
5006 if ($line =~ /\bconst\b/ && $line =~ /($InitAttributeData)/) {
5007 my $attr = $1;
5008 $attr =~ /($InitAttributePrefix)(.*)/;
5009 my $attr_prefix = $1;
5010 my $attr_type = $2;
5011 if (ERROR("INIT_ATTRIBUTE",
5012 "Use of const init definition must use ${attr_prefix}initconst\n" . $herecurr) &&
5013 $fix) {
5014 $fixed[$fixlinenr] =~
5015 s/$InitAttributeData/${attr_prefix}initconst/;
5019 # check for $InitAttributeConst (ie: __initconst) without const
5020 if ($line !~ /\bconst\b/ && $line =~ /($InitAttributeConst)/) {
5021 my $attr = $1;
5022 if (ERROR("INIT_ATTRIBUTE",
5023 "Use of $attr requires a separate use of const\n" . $herecurr) &&
5024 $fix) {
5025 my $lead = $fixed[$fixlinenr] =~
5026 /(^\+\s*(?:static\s+))/;
5027 $lead = rtrim($1);
5028 $lead = "$lead " if ($lead !~ /^\+$/);
5029 $lead = "${lead}const ";
5030 $fixed[$fixlinenr] =~ s/(^\+\s*(?:static\s+))/$lead/;
5034 # check for __read_mostly with const non-pointer (should just be const)
5035 if ($line =~ /\b__read_mostly\b/ &&
5036 $line =~ /($Type)\s*$Ident/ && $1 !~ /\*\s*$/ && $1 =~ /\bconst\b/) {
5037 if (ERROR("CONST_READ_MOSTLY",
5038 "Invalid use of __read_mostly with const type\n" . $herecurr) &&
5039 $fix) {
5040 $fixed[$fixlinenr] =~ s/\s+__read_mostly\b//;
5044 # don't use __constant_<foo> functions outside of include/uapi/
5045 if ($realfile !~ m@^include/uapi/@ &&
5046 $line =~ /(__constant_(?:htons|ntohs|[bl]e(?:16|32|64)_to_cpu|cpu_to_[bl]e(?:16|32|64)))\s*\(/) {
5047 my $constant_func = $1;
5048 my $func = $constant_func;
5049 $func =~ s/^__constant_//;
5050 if (WARN("CONSTANT_CONVERSION",
5051 "$constant_func should be $func\n" . $herecurr) &&
5052 $fix) {
5053 $fixed[$fixlinenr] =~ s/\b$constant_func\b/$func/g;
5057 # prefer usleep_range over udelay
5058 if ($line =~ /\budelay\s*\(\s*(\d+)\s*\)/) {
5059 my $delay = $1;
5060 # ignore udelay's < 10, however
5061 if (! ($delay < 10) ) {
5062 CHK("USLEEP_RANGE",
5063 "usleep_range is preferred over udelay; see Documentation/timers/timers-howto.txt\n" . $herecurr);
5065 if ($delay > 2000) {
5066 WARN("LONG_UDELAY",
5067 "long udelay - prefer mdelay; see arch/arm/include/asm/delay.h\n" . $herecurr);
5071 # warn about unexpectedly long msleep's
5072 if ($line =~ /\bmsleep\s*\((\d+)\);/) {
5073 if ($1 < 20) {
5074 WARN("MSLEEP",
5075 "msleep < 20ms can sleep for up to 20ms; see Documentation/timers/timers-howto.txt\n" . $herecurr);
5079 # check for comparisons of jiffies
5080 if ($line =~ /\bjiffies\s*$Compare|$Compare\s*jiffies\b/) {
5081 WARN("JIFFIES_COMPARISON",
5082 "Comparing jiffies is almost always wrong; prefer time_after, time_before and friends\n" . $herecurr);
5085 # check for comparisons of get_jiffies_64()
5086 if ($line =~ /\bget_jiffies_64\s*\(\s*\)\s*$Compare|$Compare\s*get_jiffies_64\s*\(\s*\)/) {
5087 WARN("JIFFIES_COMPARISON",
5088 "Comparing get_jiffies_64() is almost always wrong; prefer time_after64, time_before64 and friends\n" . $herecurr);
5091 # warn about #ifdefs in C files
5092 # if ($line =~ /^.\s*\#\s*if(|n)def/ && ($realfile =~ /\.c$/)) {
5093 # print "#ifdef in C files should be avoided\n";
5094 # print "$herecurr";
5095 # $clean = 0;
5098 # warn about spacing in #ifdefs
5099 if ($line =~ /^.\s*\#\s*(ifdef|ifndef|elif)\s\s+/) {
5100 if (ERROR("SPACING",
5101 "exactly one space required after that #$1\n" . $herecurr) &&
5102 $fix) {
5103 $fixed[$fixlinenr] =~
5104 s/^(.\s*\#\s*(ifdef|ifndef|elif))\s{2,}/$1 /;
5109 # check for spinlock_t definitions without a comment.
5110 if ($line =~ /^.\s*(struct\s+mutex|spinlock_t)\s+\S+;/ ||
5111 $line =~ /^.\s*(DEFINE_MUTEX)\s*\(/) {
5112 my $which = $1;
5113 if (!ctx_has_comment($first_line, $linenr)) {
5114 CHK("UNCOMMENTED_DEFINITION",
5115 "$1 definition without comment\n" . $herecurr);
5118 # check for memory barriers without a comment.
5119 if ($line =~ /\b(mb|rmb|wmb|read_barrier_depends|smp_mb|smp_rmb|smp_wmb|smp_read_barrier_depends)\(/) {
5120 if (!ctx_has_comment($first_line, $linenr)) {
5121 WARN("MEMORY_BARRIER",
5122 "memory barrier without comment\n" . $herecurr);
5126 # check for waitqueue_active without a comment.
5127 if ($line =~ /\bwaitqueue_active\s*\(/) {
5128 if (!ctx_has_comment($first_line, $linenr)) {
5129 WARN("WAITQUEUE_ACTIVE",
5130 "waitqueue_active without comment\n" . $herecurr);
5134 # Check for expedited grace periods that interrupt non-idle non-nohz
5135 # online CPUs. These expedited can therefore degrade real-time response
5136 # if used carelessly, and should be avoided where not absolutely
5137 # needed. It is always OK to use synchronize_rcu_expedited() and
5138 # synchronize_sched_expedited() at boot time (before real-time applications
5139 # start) and in error situations where real-time response is compromised in
5140 # any case. Note that synchronize_srcu_expedited() does -not- interrupt
5141 # other CPUs, so don't warn on uses of synchronize_srcu_expedited().
5142 # Of course, nothing comes for free, and srcu_read_lock() and
5143 # srcu_read_unlock() do contain full memory barriers in payment for
5144 # synchronize_srcu_expedited() non-interruption properties.
5145 if ($line =~ /\b(synchronize_rcu_expedited|synchronize_sched_expedited)\(/) {
5146 WARN("EXPEDITED_RCU_GRACE_PERIOD",
5147 "expedited RCU grace periods should be avoided where they can degrade real-time response\n" . $herecurr);
5151 # check of hardware specific defines
5152 if ($line =~ m@^.\s*\#\s*if.*\b(__i386__|__powerpc64__|__sun__|__s390x__)\b@ && $realfile !~ m@include/asm-@) {
5153 CHK("ARCH_DEFINES",
5154 "architecture specific defines should be avoided\n" . $herecurr);
5157 # Check that the storage class is at the beginning of a declaration
5158 if ($line =~ /\b$Storage\b/ && $line !~ /^.\s*$Storage\b/) {
5159 WARN("STORAGE_CLASS",
5160 "storage class should be at the beginning of the declaration\n" . $herecurr)
5163 # check the location of the inline attribute, that it is between
5164 # storage class and type.
5165 if ($line =~ /\b$Type\s+$Inline\b/ ||
5166 $line =~ /\b$Inline\s+$Storage\b/) {
5167 ERROR("INLINE_LOCATION",
5168 "inline keyword should sit between storage class and type\n" . $herecurr);
5171 # Check for __inline__ and __inline, prefer inline
5172 if ($realfile !~ m@\binclude/uapi/@ &&
5173 $line =~ /\b(__inline__|__inline)\b/) {
5174 if (WARN("INLINE",
5175 "plain inline is preferred over $1\n" . $herecurr) &&
5176 $fix) {
5177 $fixed[$fixlinenr] =~ s/\b(__inline__|__inline)\b/inline/;
5182 # Check for __attribute__ packed, prefer __packed
5183 if ($realfile !~ m@\binclude/uapi/@ &&
5184 $line =~ /\b__attribute__\s*\(\s*\(.*\bpacked\b/) {
5185 WARN("PREFER_PACKED",
5186 "__packed is preferred over __attribute__((packed))\n" . $herecurr);
5189 # Check for __attribute__ aligned, prefer __aligned
5190 if ($realfile !~ m@\binclude/uapi/@ &&
5191 $line =~ /\b__attribute__\s*\(\s*\(.*aligned/) {
5192 WARN("PREFER_ALIGNED",
5193 "__aligned(size) is preferred over __attribute__((aligned(size)))\n" . $herecurr);
5196 # Check for __attribute__ format(printf, prefer __printf
5197 if ($realfile !~ m@\binclude/uapi/@ &&
5198 $line =~ /\b__attribute__\s*\(\s*\(\s*format\s*\(\s*printf/) {
5199 if (WARN("PREFER_PRINTF",
5200 "__printf(string-index, first-to-check) is preferred over __attribute__((format(printf, string-index, first-to-check)))\n" . $herecurr) &&
5201 $fix) {
5202 $fixed[$fixlinenr] =~ s/\b__attribute__\s*\(\s*\(\s*format\s*\(\s*printf\s*,\s*(.*)\)\s*\)\s*\)/"__printf(" . trim($1) . ")"/ex;
5207 # Check for __attribute__ format(scanf, prefer __scanf
5208 if ($realfile !~ m@\binclude/uapi/@ &&
5209 $line =~ /\b__attribute__\s*\(\s*\(\s*format\s*\(\s*scanf\b/) {
5210 if (WARN("PREFER_SCANF",
5211 "__scanf(string-index, first-to-check) is preferred over __attribute__((format(scanf, string-index, first-to-check)))\n" . $herecurr) &&
5212 $fix) {
5213 $fixed[$fixlinenr] =~ s/\b__attribute__\s*\(\s*\(\s*format\s*\(\s*scanf\s*,\s*(.*)\)\s*\)\s*\)/"__scanf(" . trim($1) . ")"/ex;
5217 # Check for __attribute__ weak, or __weak declarations (may have link issues)
5218 if ($^V && $^V ge 5.10.0 &&
5219 $line =~ /(?:$Declare|$DeclareMisordered)\s*$Ident\s*$balanced_parens\s*(?:$Attribute)?\s*;/ &&
5220 ($line =~ /\b__attribute__\s*\(\s*\(.*\bweak\b/ ||
5221 $line =~ /\b__weak\b/)) {
5222 ERROR("WEAK_DECLARATION",
5223 "Using weak declarations can have unintended link defects\n" . $herecurr);
5226 # check for c99 types like uint8_t used outside of uapi/
5227 if ($realfile !~ m@\binclude/uapi/@ &&
5228 $line =~ /\b($Declare)\s*$Ident\s*[=;,\[]/) {
5229 my $type = $1;
5230 if ($type =~ /\b($typeC99Typedefs)\b/) {
5231 $type = $1;
5232 my $kernel_type = 'u';
5233 $kernel_type = 's' if ($type =~ /^_*[si]/);
5234 $type =~ /(\d+)/;
5235 $kernel_type .= $1;
5236 if (CHK("PREFER_KERNEL_TYPES",
5237 "Prefer kernel type '$kernel_type' over '$type'\n" . $herecurr) &&
5238 $fix) {
5239 $fixed[$fixlinenr] =~ s/\b$type\b/$kernel_type/;
5244 # check for sizeof(&)
5245 if ($line =~ /\bsizeof\s*\(\s*\&/) {
5246 WARN("SIZEOF_ADDRESS",
5247 "sizeof(& should be avoided\n" . $herecurr);
5250 # check for sizeof without parenthesis
5251 if ($line =~ /\bsizeof\s+((?:\*\s*|)$Lval|$Type(?:\s+$Lval|))/) {
5252 if (WARN("SIZEOF_PARENTHESIS",
5253 "sizeof $1 should be sizeof($1)\n" . $herecurr) &&
5254 $fix) {
5255 $fixed[$fixlinenr] =~ s/\bsizeof\s+((?:\*\s*|)$Lval|$Type(?:\s+$Lval|))/"sizeof(" . trim($1) . ")"/ex;
5259 # check for struct spinlock declarations
5260 if ($line =~ /^.\s*\bstruct\s+spinlock\s+\w+\s*;/) {
5261 WARN("USE_SPINLOCK_T",
5262 "struct spinlock should be spinlock_t\n" . $herecurr);
5265 # check for seq_printf uses that could be seq_puts
5266 if ($sline =~ /\bseq_printf\s*\(.*"\s*\)\s*;\s*$/) {
5267 my $fmt = get_quoted_string($line, $rawline);
5268 $fmt =~ s/%%//g;
5269 if ($fmt !~ /%/) {
5270 if (WARN("PREFER_SEQ_PUTS",
5271 "Prefer seq_puts to seq_printf\n" . $herecurr) &&
5272 $fix) {
5273 $fixed[$fixlinenr] =~ s/\bseq_printf\b/seq_puts/;
5278 # Check for misused memsets
5279 if ($^V && $^V ge 5.10.0 &&
5280 defined $stat &&
5281 $stat =~ /^\+(?:.*?)\bmemset\s*\(\s*$FuncArg\s*,\s*$FuncArg\s*\,\s*$FuncArg\s*\)/) {
5283 my $ms_addr = $2;
5284 my $ms_val = $7;
5285 my $ms_size = $12;
5287 if ($ms_size =~ /^(0x|)0$/i) {
5288 ERROR("MEMSET",
5289 "memset to 0's uses 0 as the 2nd argument, not the 3rd\n" . "$here\n$stat\n");
5290 } elsif ($ms_size =~ /^(0x|)1$/i) {
5291 WARN("MEMSET",
5292 "single byte memset is suspicious. Swapped 2nd/3rd argument?\n" . "$here\n$stat\n");
5296 # Check for memcpy(foo, bar, ETH_ALEN) that could be ether_addr_copy(foo, bar)
5297 if ($^V && $^V ge 5.10.0 &&
5298 defined $stat &&
5299 $stat =~ /^\+(?:.*?)\bmemcpy\s*\(\s*$FuncArg\s*,\s*$FuncArg\s*\,\s*ETH_ALEN\s*\)/) {
5300 if (WARN("PREFER_ETHER_ADDR_COPY",
5301 "Prefer ether_addr_copy() over memcpy() if the Ethernet addresses are __aligned(2)\n" . "$here\n$stat\n") &&
5302 $fix) {
5303 $fixed[$fixlinenr] =~ s/\bmemcpy\s*\(\s*$FuncArg\s*,\s*$FuncArg\s*\,\s*ETH_ALEN\s*\)/ether_addr_copy($2, $7)/;
5307 # Check for memcmp(foo, bar, ETH_ALEN) that could be ether_addr_equal*(foo, bar)
5308 if ($^V && $^V ge 5.10.0 &&
5309 defined $stat &&
5310 $stat =~ /^\+(?:.*?)\bmemcmp\s*\(\s*$FuncArg\s*,\s*$FuncArg\s*\,\s*ETH_ALEN\s*\)/) {
5311 WARN("PREFER_ETHER_ADDR_EQUAL",
5312 "Prefer ether_addr_equal() or ether_addr_equal_unaligned() over memcmp()\n" . "$here\n$stat\n")
5315 # check for memset(foo, 0x0, ETH_ALEN) that could be eth_zero_addr
5316 # check for memset(foo, 0xFF, ETH_ALEN) that could be eth_broadcast_addr
5317 if ($^V && $^V ge 5.10.0 &&
5318 defined $stat &&
5319 $stat =~ /^\+(?:.*?)\bmemset\s*\(\s*$FuncArg\s*,\s*$FuncArg\s*\,\s*ETH_ALEN\s*\)/) {
5321 my $ms_val = $7;
5323 if ($ms_val =~ /^(?:0x|)0+$/i) {
5324 if (WARN("PREFER_ETH_ZERO_ADDR",
5325 "Prefer eth_zero_addr over memset()\n" . "$here\n$stat\n") &&
5326 $fix) {
5327 $fixed[$fixlinenr] =~ s/\bmemset\s*\(\s*$FuncArg\s*,\s*$FuncArg\s*,\s*ETH_ALEN\s*\)/eth_zero_addr($2)/;
5329 } elsif ($ms_val =~ /^(?:0xff|255)$/i) {
5330 if (WARN("PREFER_ETH_BROADCAST_ADDR",
5331 "Prefer eth_broadcast_addr() over memset()\n" . "$here\n$stat\n") &&
5332 $fix) {
5333 $fixed[$fixlinenr] =~ s/\bmemset\s*\(\s*$FuncArg\s*,\s*$FuncArg\s*,\s*ETH_ALEN\s*\)/eth_broadcast_addr($2)/;
5338 # typecasts on min/max could be min_t/max_t
5339 if ($^V && $^V ge 5.10.0 &&
5340 defined $stat &&
5341 $stat =~ /^\+(?:.*?)\b(min|max)\s*\(\s*$FuncArg\s*,\s*$FuncArg\s*\)/) {
5342 if (defined $2 || defined $7) {
5343 my $call = $1;
5344 my $cast1 = deparenthesize($2);
5345 my $arg1 = $3;
5346 my $cast2 = deparenthesize($7);
5347 my $arg2 = $8;
5348 my $cast;
5350 if ($cast1 ne "" && $cast2 ne "" && $cast1 ne $cast2) {
5351 $cast = "$cast1 or $cast2";
5352 } elsif ($cast1 ne "") {
5353 $cast = $cast1;
5354 } else {
5355 $cast = $cast2;
5357 WARN("MINMAX",
5358 "$call() should probably be ${call}_t($cast, $arg1, $arg2)\n" . "$here\n$stat\n");
5362 # check usleep_range arguments
5363 if ($^V && $^V ge 5.10.0 &&
5364 defined $stat &&
5365 $stat =~ /^\+(?:.*?)\busleep_range\s*\(\s*($FuncArg)\s*,\s*($FuncArg)\s*\)/) {
5366 my $min = $1;
5367 my $max = $7;
5368 if ($min eq $max) {
5369 WARN("USLEEP_RANGE",
5370 "usleep_range should not use min == max args; see Documentation/timers/timers-howto.txt\n" . "$here\n$stat\n");
5371 } elsif ($min =~ /^\d+$/ && $max =~ /^\d+$/ &&
5372 $min > $max) {
5373 WARN("USLEEP_RANGE",
5374 "usleep_range args reversed, use min then max; see Documentation/timers/timers-howto.txt\n" . "$here\n$stat\n");
5378 # check for naked sscanf
5379 if ($^V && $^V ge 5.10.0 &&
5380 defined $stat &&
5381 $line =~ /\bsscanf\b/ &&
5382 ($stat !~ /$Ident\s*=\s*sscanf\s*$balanced_parens/ &&
5383 $stat !~ /\bsscanf\s*$balanced_parens\s*(?:$Compare)/ &&
5384 $stat !~ /(?:$Compare)\s*\bsscanf\s*$balanced_parens/)) {
5385 my $lc = $stat =~ tr@\n@@;
5386 $lc = $lc + $linenr;
5387 my $stat_real = raw_line($linenr, 0);
5388 for (my $count = $linenr + 1; $count <= $lc; $count++) {
5389 $stat_real = $stat_real . "\n" . raw_line($count, 0);
5391 WARN("NAKED_SSCANF",
5392 "unchecked sscanf return value\n" . "$here\n$stat_real\n");
5395 # check for simple sscanf that should be kstrto<foo>
5396 if ($^V && $^V ge 5.10.0 &&
5397 defined $stat &&
5398 $line =~ /\bsscanf\b/) {
5399 my $lc = $stat =~ tr@\n@@;
5400 $lc = $lc + $linenr;
5401 my $stat_real = raw_line($linenr, 0);
5402 for (my $count = $linenr + 1; $count <= $lc; $count++) {
5403 $stat_real = $stat_real . "\n" . raw_line($count, 0);
5405 if ($stat_real =~ /\bsscanf\b\s*\(\s*$FuncArg\s*,\s*("[^"]+")/) {
5406 my $format = $6;
5407 my $count = $format =~ tr@%@%@;
5408 if ($count == 1 &&
5409 $format =~ /^"\%(?i:ll[udxi]|[udxi]ll|ll|[hl]h?[udxi]|[udxi][hl]h?|[hl]h?|[udxi])"$/) {
5410 WARN("SSCANF_TO_KSTRTO",
5411 "Prefer kstrto<type> to single variable sscanf\n" . "$here\n$stat_real\n");
5416 # check for new externs in .h files.
5417 if ($realfile =~ /\.h$/ &&
5418 $line =~ /^\+\s*(extern\s+)$Type\s*$Ident\s*\(/s) {
5419 if (CHK("AVOID_EXTERNS",
5420 "extern prototypes should be avoided in .h files\n" . $herecurr) &&
5421 $fix) {
5422 $fixed[$fixlinenr] =~ s/(.*)\bextern\b\s*(.*)/$1$2/;
5426 # check for new externs in .c files.
5427 if ($realfile =~ /\.c$/ && defined $stat &&
5428 $stat =~ /^.\s*(?:extern\s+)?$Type\s+($Ident)(\s*)\(/s)
5430 my $function_name = $1;
5431 my $paren_space = $2;
5433 my $s = $stat;
5434 if (defined $cond) {
5435 substr($s, 0, length($cond), '');
5437 if ($s =~ /^\s*;/ &&
5438 $function_name ne 'uninitialized_var')
5440 WARN("AVOID_EXTERNS",
5441 "externs should be avoided in .c files\n" . $herecurr);
5444 if ($paren_space =~ /\n/) {
5445 WARN("FUNCTION_ARGUMENTS",
5446 "arguments for function declarations should follow identifier\n" . $herecurr);
5449 } elsif ($realfile =~ /\.c$/ && defined $stat &&
5450 $stat =~ /^.\s*extern\s+/)
5452 WARN("AVOID_EXTERNS",
5453 "externs should be avoided in .c files\n" . $herecurr);
5456 # checks for new __setup's
5457 if ($rawline =~ /\b__setup\("([^"]*)"/) {
5458 my $name = $1;
5460 if (!grep(/$name/, @setup_docs)) {
5461 CHK("UNDOCUMENTED_SETUP",
5462 "__setup appears un-documented -- check Documentation/kernel-parameters.txt\n" . $herecurr);
5466 # check for pointless casting of kmalloc return
5467 if ($line =~ /\*\s*\)\s*[kv][czm]alloc(_node){0,1}\b/) {
5468 WARN("UNNECESSARY_CASTS",
5469 "unnecessary cast may hide bugs, see http://c-faq.com/malloc/mallocnocast.html\n" . $herecurr);
5472 # alloc style
5473 # p = alloc(sizeof(struct foo), ...) should be p = alloc(sizeof(*p), ...)
5474 if ($^V && $^V ge 5.10.0 &&
5475 $line =~ /\b($Lval)\s*\=\s*(?:$balanced_parens)?\s*([kv][mz]alloc(?:_node)?)\s*\(\s*(sizeof\s*\(\s*struct\s+$Lval\s*\))/) {
5476 CHK("ALLOC_SIZEOF_STRUCT",
5477 "Prefer $3(sizeof(*$1)...) over $3($4...)\n" . $herecurr);
5480 # check for k[mz]alloc with multiplies that could be kmalloc_array/kcalloc
5481 if ($^V && $^V ge 5.10.0 &&
5482 $line =~ /\b($Lval)\s*\=\s*(?:$balanced_parens)?\s*(k[mz]alloc)\s*\(\s*($FuncArg)\s*\*\s*($FuncArg)\s*,/) {
5483 my $oldfunc = $3;
5484 my $a1 = $4;
5485 my $a2 = $10;
5486 my $newfunc = "kmalloc_array";
5487 $newfunc = "kcalloc" if ($oldfunc eq "kzalloc");
5488 my $r1 = $a1;
5489 my $r2 = $a2;
5490 if ($a1 =~ /^sizeof\s*\S/) {
5491 $r1 = $a2;
5492 $r2 = $a1;
5494 if ($r1 !~ /^sizeof\b/ && $r2 =~ /^sizeof\s*\S/ &&
5495 !($r1 =~ /^$Constant$/ || $r1 =~ /^[A-Z_][A-Z0-9_]*$/)) {
5496 if (WARN("ALLOC_WITH_MULTIPLY",
5497 "Prefer $newfunc over $oldfunc with multiply\n" . $herecurr) &&
5498 $fix) {
5499 $fixed[$fixlinenr] =~ s/\b($Lval)\s*\=\s*(?:$balanced_parens)?\s*(k[mz]alloc)\s*\(\s*($FuncArg)\s*\*\s*($FuncArg)/$1 . ' = ' . "$newfunc(" . trim($r1) . ', ' . trim($r2)/e;
5505 # check for krealloc arg reuse
5506 if ($^V && $^V ge 5.10.0 &&
5507 $line =~ /\b($Lval)\s*\=\s*(?:$balanced_parens)?\s*krealloc\s*\(\s*\1\s*,/) {
5508 WARN("KREALLOC_ARG_REUSE",
5509 "Reusing the krealloc arg is almost always a bug\n" . $herecurr);
5512 # check for alloc argument mismatch
5513 if ($line =~ /\b(kcalloc|kmalloc_array)\s*\(\s*sizeof\b/) {
5514 WARN("ALLOC_ARRAY_ARGS",
5515 "$1 uses number as first arg, sizeof is generally wrong\n" . $herecurr);
5518 # check for multiple semicolons
5519 if ($line =~ /;\s*;\s*$/) {
5520 if (WARN("ONE_SEMICOLON",
5521 "Statements terminations use 1 semicolon\n" . $herecurr) &&
5522 $fix) {
5523 $fixed[$fixlinenr] =~ s/(\s*;\s*){2,}$/;/g;
5527 # check for #defines like: 1 << <digit> that could be BIT(digit)
5528 if ($line =~ /#\s*define\s+\w+\s+\(?\s*1\s*([ulUL]*)\s*\<\<\s*(?:\d+|$Ident)\s*\)?/) {
5529 my $ull = "";
5530 $ull = "_ULL" if (defined($1) && $1 =~ /ll/i);
5531 if (CHK("BIT_MACRO",
5532 "Prefer using the BIT$ull macro\n" . $herecurr) &&
5533 $fix) {
5534 $fixed[$fixlinenr] =~ s/\(?\s*1\s*[ulUL]*\s*<<\s*(\d+|$Ident)\s*\)?/BIT${ull}($1)/;
5538 # check for case / default statements not preceded by break/fallthrough/switch
5539 if ($line =~ /^.\s*(?:case\s+(?:$Ident|$Constant)\s*|default):/) {
5540 my $has_break = 0;
5541 my $has_statement = 0;
5542 my $count = 0;
5543 my $prevline = $linenr;
5544 while ($prevline > 1 && ($file || $count < 3) && !$has_break) {
5545 $prevline--;
5546 my $rline = $rawlines[$prevline - 1];
5547 my $fline = $lines[$prevline - 1];
5548 last if ($fline =~ /^\@\@/);
5549 next if ($fline =~ /^\-/);
5550 next if ($fline =~ /^.(?:\s*(?:case\s+(?:$Ident|$Constant)[\s$;]*|default):[\s$;]*)*$/);
5551 $has_break = 1 if ($rline =~ /fall[\s_-]*(through|thru)/i);
5552 next if ($fline =~ /^.[\s$;]*$/);
5553 $has_statement = 1;
5554 $count++;
5555 $has_break = 1 if ($fline =~ /\bswitch\b|\b(?:break\s*;[\s$;]*$|return\b|goto\b|continue\b)/);
5557 if (!$has_break && $has_statement) {
5558 WARN("MISSING_BREAK",
5559 "Possible switch case/default not preceeded by break or fallthrough comment\n" . $herecurr);
5563 # check for switch/default statements without a break;
5564 if ($^V && $^V ge 5.10.0 &&
5565 defined $stat &&
5566 $stat =~ /^\+[$;\s]*(?:case[$;\s]+\w+[$;\s]*:[$;\s]*|)*[$;\s]*\bdefault[$;\s]*:[$;\s]*;/g) {
5567 my $ctx = '';
5568 my $herectx = $here . "\n";
5569 my $cnt = statement_rawlines($stat);
5570 for (my $n = 0; $n < $cnt; $n++) {
5571 $herectx .= raw_line($linenr, $n) . "\n";
5573 WARN("DEFAULT_NO_BREAK",
5574 "switch default: should use break\n" . $herectx);
5577 # check for gcc specific __FUNCTION__
5578 if ($line =~ /\b__FUNCTION__\b/) {
5579 if (WARN("USE_FUNC",
5580 "__func__ should be used instead of gcc specific __FUNCTION__\n" . $herecurr) &&
5581 $fix) {
5582 $fixed[$fixlinenr] =~ s/\b__FUNCTION__\b/__func__/g;
5586 # check for uses of __DATE__, __TIME__, __TIMESTAMP__
5587 while ($line =~ /\b(__(?:DATE|TIME|TIMESTAMP)__)\b/g) {
5588 ERROR("DATE_TIME",
5589 "Use of the '$1' macro makes the build non-deterministic\n" . $herecurr);
5592 # check for use of yield()
5593 if ($line =~ /\byield\s*\(\s*\)/) {
5594 WARN("YIELD",
5595 "Using yield() is generally wrong. See yield() kernel-doc (sched/core.c)\n" . $herecurr);
5598 # check for comparisons against true and false
5599 if ($line =~ /\+\s*(.*?)\b(true|false|$Lval)\s*(==|\!=)\s*(true|false|$Lval)\b(.*)$/i) {
5600 my $lead = $1;
5601 my $arg = $2;
5602 my $test = $3;
5603 my $otype = $4;
5604 my $trail = $5;
5605 my $op = "!";
5607 ($arg, $otype) = ($otype, $arg) if ($arg =~ /^(?:true|false)$/i);
5609 my $type = lc($otype);
5610 if ($type =~ /^(?:true|false)$/) {
5611 if (("$test" eq "==" && "$type" eq "true") ||
5612 ("$test" eq "!=" && "$type" eq "false")) {
5613 $op = "";
5616 CHK("BOOL_COMPARISON",
5617 "Using comparison to $otype is error prone\n" . $herecurr);
5619 ## maybe suggesting a correct construct would better
5620 ## "Using comparison to $otype is error prone. Perhaps use '${lead}${op}${arg}${trail}'\n" . $herecurr);
5625 # check for semaphores initialized locked
5626 if ($line =~ /^.\s*sema_init.+,\W?0\W?\)/) {
5627 WARN("CONSIDER_COMPLETION",
5628 "consider using a completion\n" . $herecurr);
5631 # recommend kstrto* over simple_strto* and strict_strto*
5632 if ($line =~ /\b((simple|strict)_(strto(l|ll|ul|ull)))\s*\(/) {
5633 WARN("CONSIDER_KSTRTO",
5634 "$1 is obsolete, use k$3 instead\n" . $herecurr);
5637 # check for __initcall(), use device_initcall() explicitly or more appropriate function please
5638 if ($line =~ /^.\s*__initcall\s*\(/) {
5639 WARN("USE_DEVICE_INITCALL",
5640 "please use device_initcall() or more appropriate function instead of __initcall() (see include/linux/init.h)\n" . $herecurr);
5643 # check for various structs that are normally const (ops, kgdb, device_tree)
5644 my $const_structs = qr{
5645 acpi_dock_ops|
5646 address_space_operations|
5647 backlight_ops|
5648 block_device_operations|
5649 dentry_operations|
5650 dev_pm_ops|
5651 dma_map_ops|
5652 extent_io_ops|
5653 file_lock_operations|
5654 file_operations|
5655 hv_ops|
5656 ide_dma_ops|
5657 intel_dvo_dev_ops|
5658 item_operations|
5659 iwl_ops|
5660 kgdb_arch|
5661 kgdb_io|
5662 kset_uevent_ops|
5663 lock_manager_operations|
5664 microcode_ops|
5665 mtrr_ops|
5666 neigh_ops|
5667 nlmsvc_binding|
5668 of_device_id|
5669 pci_raw_ops|
5670 pipe_buf_operations|
5671 platform_hibernation_ops|
5672 platform_suspend_ops|
5673 proto_ops|
5674 rpc_pipe_ops|
5675 seq_operations|
5676 snd_ac97_build_ops|
5677 soc_pcmcia_socket_ops|
5678 stacktrace_ops|
5679 sysfs_ops|
5680 tty_operations|
5681 uart_ops|
5682 usb_mon_operations|
5683 wd_ops}x;
5684 if ($line !~ /\bconst\b/ &&
5685 $line =~ /\bstruct\s+($const_structs)\b/) {
5686 WARN("CONST_STRUCT",
5687 "struct $1 should normally be const\n" .
5688 $herecurr);
5691 # use of NR_CPUS is usually wrong
5692 # ignore definitions of NR_CPUS and usage to define arrays as likely right
5693 if ($line =~ /\bNR_CPUS\b/ &&
5694 $line !~ /^.\s*\s*#\s*if\b.*\bNR_CPUS\b/ &&
5695 $line !~ /^.\s*\s*#\s*define\b.*\bNR_CPUS\b/ &&
5696 $line !~ /^.\s*$Declare\s.*\[[^\]]*NR_CPUS[^\]]*\]/ &&
5697 $line !~ /\[[^\]]*\.\.\.[^\]]*NR_CPUS[^\]]*\]/ &&
5698 $line !~ /\[[^\]]*NR_CPUS[^\]]*\.\.\.[^\]]*\]/)
5700 WARN("NR_CPUS",
5701 "usage of NR_CPUS is often wrong - consider using cpu_possible(), num_possible_cpus(), for_each_possible_cpu(), etc\n" . $herecurr);
5704 # Use of __ARCH_HAS_<FOO> or ARCH_HAVE_<BAR> is wrong.
5705 if ($line =~ /\+\s*#\s*define\s+((?:__)?ARCH_(?:HAS|HAVE)\w*)\b/) {
5706 ERROR("DEFINE_ARCH_HAS",
5707 "#define of '$1' is wrong - use Kconfig variables or standard guards instead\n" . $herecurr);
5710 # likely/unlikely comparisons similar to "(likely(foo) > 0)"
5711 if ($^V && $^V ge 5.10.0 &&
5712 $line =~ /\b((?:un)?likely)\s*\(\s*$FuncArg\s*\)\s*$Compare/) {
5713 WARN("LIKELY_MISUSE",
5714 "Using $1 should generally have parentheses around the comparison\n" . $herecurr);
5717 # whine mightly about in_atomic
5718 if ($line =~ /\bin_atomic\s*\(/) {
5719 if ($realfile =~ m@^drivers/@) {
5720 ERROR("IN_ATOMIC",
5721 "do not use in_atomic in drivers\n" . $herecurr);
5722 } elsif ($realfile !~ m@^kernel/@) {
5723 WARN("IN_ATOMIC",
5724 "use of in_atomic() is incorrect outside core kernel code\n" . $herecurr);
5728 # check for lockdep_set_novalidate_class
5729 if ($line =~ /^.\s*lockdep_set_novalidate_class\s*\(/ ||
5730 $line =~ /__lockdep_no_validate__\s*\)/ ) {
5731 if ($realfile !~ m@^kernel/lockdep@ &&
5732 $realfile !~ m@^include/linux/lockdep@ &&
5733 $realfile !~ m@^drivers/base/core@) {
5734 ERROR("LOCKDEP",
5735 "lockdep_no_validate class is reserved for device->mutex.\n" . $herecurr);
5739 if ($line =~ /debugfs_create_\w+.*\b$mode_perms_world_writable\b/ ||
5740 $line =~ /DEVICE_ATTR.*\b$mode_perms_world_writable\b/) {
5741 WARN("EXPORTED_WORLD_WRITABLE",
5742 "Exporting world writable files is usually an error. Consider more restrictive permissions.\n" . $herecurr);
5745 # Mode permission misuses where it seems decimal should be octal
5746 # This uses a shortcut match to avoid unnecessary uses of a slow foreach loop
5747 if ($^V && $^V ge 5.10.0 &&
5748 $line =~ /$mode_perms_search/) {
5749 foreach my $entry (@mode_permission_funcs) {
5750 my $func = $entry->[0];
5751 my $arg_pos = $entry->[1];
5753 my $skip_args = "";
5754 if ($arg_pos > 1) {
5755 $arg_pos--;
5756 $skip_args = "(?:\\s*$FuncArg\\s*,\\s*){$arg_pos,$arg_pos}";
5758 my $test = "\\b$func\\s*\\(${skip_args}([\\d]+)\\s*[,\\)]";
5759 if ($line =~ /$test/) {
5760 my $val = $1;
5761 $val = $6 if ($skip_args ne "");
5763 if ($val !~ /^0$/ &&
5764 (($val =~ /^$Int$/ && $val !~ /^$Octal$/) ||
5765 length($val) ne 4)) {
5766 ERROR("NON_OCTAL_PERMISSIONS",
5767 "Use 4 digit octal (0777) not decimal permissions\n" . $herecurr);
5768 } elsif ($val =~ /^$Octal$/ && (oct($val) & 02)) {
5769 ERROR("EXPORTED_WORLD_WRITABLE",
5770 "Exporting writable files is usually an error. Consider more restrictive permissions.\n" . $herecurr);
5776 # validate content of MODULE_LICENSE against list from include/linux/module.h
5777 if ($line =~ /\bMODULE_LICENSE\s*\(\s*($String)\s*\)/) {
5778 my $extracted_string = get_quoted_string($line, $rawline);
5779 my $valid_licenses = qr{
5780 GPL|
5781 GPL\ v2|
5782 GPL\ and\ additional\ rights|
5783 Dual\ BSD/GPL|
5784 Dual\ MIT/GPL|
5785 Dual\ MPL/GPL|
5786 Proprietary
5788 if ($extracted_string !~ /^"(?:$valid_licenses)"$/x) {
5789 WARN("MODULE_LICENSE",
5790 "unknown module license " . $extracted_string . "\n" . $herecurr);
5795 # If we have no input at all, then there is nothing to report on
5796 # so just keep quiet.
5797 if ($#rawlines == -1) {
5798 exit(0);
5801 # In mailback mode only produce a report in the negative, for
5802 # things that appear to be patches.
5803 if ($mailback && ($clean == 1 || !$is_patch)) {
5804 exit(0);
5807 # This is not a patch, and we are are in 'no-patch' mode so
5808 # just keep quiet.
5809 if (!$chk_patch && !$is_patch) {
5810 exit(0);
5813 if (!$is_patch && $file !~ /cover-letter\.patch$/) {
5814 ERROR("NOT_UNIFIED_DIFF",
5815 "Does not appear to be a unified-diff format patch\n");
5817 if ($is_patch && $filename ne '-' && $chk_signoff && $signoff == 0) {
5818 ERROR("MISSING_SIGN_OFF",
5819 "Missing Signed-off-by: line(s)\n");
5822 print report_dump();
5823 if ($summary && !($clean == 1 && $quiet == 1)) {
5824 print "$filename " if ($summary_file);
5825 print "total: $cnt_error errors, $cnt_warn warnings, " .
5826 (($check)? "$cnt_chk checks, " : "") .
5827 "$cnt_lines lines checked\n";
5830 if ($quiet == 0) {
5831 # If there were whitespace errors which cleanpatch can fix
5832 # then suggest that.
5833 if ($rpt_cleaners) {
5834 $rpt_cleaners = 0;
5835 print << "EOM"
5837 NOTE: Whitespace errors detected.
5838 You may wish to use scripts/cleanpatch or scripts/cleanfile
5843 if ($clean == 0 && $fix &&
5844 ("@rawlines" ne "@fixed" ||
5845 $#fixed_inserted >= 0 || $#fixed_deleted >= 0)) {
5846 my $newfile = $filename;
5847 $newfile .= ".EXPERIMENTAL-checkpatch-fixes" if (!$fix_inplace);
5848 my $linecount = 0;
5849 my $f;
5851 @fixed = fix_inserted_deleted_lines(\@fixed, \@fixed_inserted, \@fixed_deleted);
5853 open($f, '>', $newfile)
5854 or die "$P: Can't open $newfile for write\n";
5855 foreach my $fixed_line (@fixed) {
5856 $linecount++;
5857 if ($file) {
5858 if ($linecount > 3) {
5859 $fixed_line =~ s/^\+//;
5860 print $f $fixed_line . "\n";
5862 } else {
5863 print $f $fixed_line . "\n";
5866 close($f);
5868 if (!$quiet) {
5869 print << "EOM";
5871 Wrote EXPERIMENTAL --fix correction(s) to '$newfile'
5873 Do _NOT_ trust the results written to this file.
5874 Do _NOT_ submit these changes without inspecting them for correctness.
5876 This EXPERIMENTAL file is simply a convenience to help rewrite patches.
5877 No warranties, expressed or implied...
5882 if ($quiet == 0) {
5883 print "\n";
5884 if ($clean == 1) {
5885 print "$vname has no obvious style problems and is ready for submission.\n";
5886 } else {
5887 print "$vname has style problems, please review.\n";
5890 return $clean;