]>
Commit | Line | Data |
---|---|---|
cb77f0d6 | 1 | #!/usr/bin/env perl |
b2441318 | 2 | # SPDX-License-Identifier: GPL-2.0 |
7712401a SR |
3 | # |
4 | # headers_check.pl execute a number of trivial consistency checks | |
5 | # | |
67b7ebe0 | 6 | # Usage: headers_check.pl dir arch [files...] |
7712401a SR |
7 | # dir: dir to look for included files |
8 | # arch: architecture | |
9 | # files: list of files to check | |
10 | # | |
11 | # The script reads the supplied files line by line and: | |
12 | # | |
13 | # 1) for each include statement it checks if the | |
14 | # included file actually exists. | |
15 | # Only include files located in asm* and linux* are checked. | |
16 | # The rest are assumed to be system include files. | |
17 | # | |
46b8af50 MF |
18 | # 2) It is checked that prototypes does not use "extern" |
19 | # | |
7e557a25 | 20 | # 3) Check for leaked CONFIG_ symbols |
7712401a | 21 | |
cb77f0d6 | 22 | use warnings; |
7712401a | 23 | use strict; |
f75a8df3 | 24 | use File::Basename; |
7712401a SR |
25 | |
26 | my ($dir, $arch, @files) = @ARGV; | |
27 | ||
28 | my $ret = 0; | |
29 | my $line; | |
30 | my $lineno = 0; | |
31 | my $filename; | |
32 | ||
33 | foreach my $file (@files) { | |
34 | $filename = $file; | |
dbbe33e9 SH |
35 | |
36 | open(my $fh, '<', $filename) | |
37 | or die "$filename: $!\n"; | |
7712401a | 38 | $lineno = 0; |
dbbe33e9 | 39 | while ($line = <$fh>) { |
7712401a | 40 | $lineno++; |
483b4121 SR |
41 | &check_include(); |
42 | &check_asm_types(); | |
43 | &check_sizetypes(); | |
67b7ebe0 | 44 | &check_declarations(); |
7e3fa561 | 45 | # Dropped for now. Too much noise &check_config(); |
7712401a | 46 | } |
dbbe33e9 | 47 | close $fh; |
7712401a SR |
48 | } |
49 | exit $ret; | |
50 | ||
51 | sub check_include | |
52 | { | |
53 | if ($line =~ m/^\s*#\s*include\s+<((asm|linux).*)>/) { | |
54 | my $inc = $1; | |
55 | my $found; | |
56 | $found = stat($dir . "/" . $inc); | |
57 | if (!$found) { | |
58 | $inc =~ s#asm/#asm-$arch/#; | |
59 | $found = stat($dir . "/" . $inc); | |
60 | } | |
61 | if (!$found) { | |
62 | printf STDERR "$filename:$lineno: included file '$inc' is not exported\n"; | |
63 | $ret = 1; | |
64 | } | |
65 | } | |
66 | } | |
46b8af50 | 67 | |
67b7ebe0 | 68 | sub check_declarations |
46b8af50 | 69 | { |
a7e1d98f PB |
70 | # soundcard.h is what it is |
71 | if ($line =~ m/^void seqbuf_dump\(void\);/) { | |
72 | return; | |
73 | } | |
92181d47 AB |
74 | # drm headers are being C++ friendly |
75 | if ($line =~ m/^extern "C"/) { | |
76 | return; | |
77 | } | |
a7e1d98f | 78 | if ($line =~ m/^(\s*extern|unsigned|char|short|int|long|void)\b/) { |
67b7ebe0 | 79 | printf STDERR "$filename:$lineno: " . |
d52784eb AM |
80 | "userspace cannot reference function or " . |
81 | "variable defined in the kernel\n"; | |
46b8af50 MF |
82 | } |
83 | } | |
7e557a25 SR |
84 | |
85 | sub check_config | |
86 | { | |
1581c1ce | 87 | if ($line =~ m/[^a-zA-Z0-9_]+CONFIG_([a-zA-Z0-9_]+)[^a-zA-Z0-9_]/) { |
7e557a25 SR |
88 | printf STDERR "$filename:$lineno: leaks CONFIG_$1 to userspace where it is not valid\n"; |
89 | } | |
90 | } | |
91 | ||
483b4121 | 92 | my $linux_asm_types; |
dbbe33e9 | 93 | sub check_asm_types |
483b4121 | 94 | { |
b67ff8ce SR |
95 | if ($filename =~ /types.h|int-l64.h|int-ll64.h/o) { |
96 | return; | |
97 | } | |
483b4121 SR |
98 | if ($lineno == 1) { |
99 | $linux_asm_types = 0; | |
100 | } elsif ($linux_asm_types >= 1) { | |
101 | return; | |
102 | } | |
103 | if ($line =~ m/^\s*#\s*include\s+<asm\/types.h>/) { | |
104 | $linux_asm_types = 1; | |
105 | printf STDERR "$filename:$lineno: " . | |
106 | "include of <linux/types.h> is preferred over <asm/types.h>\n" | |
107 | # Warn until headers are all fixed | |
108 | #$ret = 1; | |
109 | } | |
110 | } | |
111 | ||
112 | my $linux_types; | |
f75a8df3 BP |
113 | my %import_stack = (); |
114 | sub check_include_typesh | |
115 | { | |
116 | my $path = $_[0]; | |
117 | my $import_path; | |
118 | ||
119 | my $fh; | |
120 | my @file_paths = ($path, $dir . "/" . $path, dirname($filename) . "/" . $path); | |
121 | for my $possible ( @file_paths ) { | |
122 | if (not $import_stack{$possible} and open($fh, '<', $possible)) { | |
123 | $import_path = $possible; | |
124 | $import_stack{$import_path} = 1; | |
125 | last; | |
126 | } | |
127 | } | |
128 | if (eof $fh) { | |
129 | return; | |
130 | } | |
131 | ||
132 | my $line; | |
133 | while ($line = <$fh>) { | |
134 | if ($line =~ m/^\s*#\s*include\s+<linux\/types.h>/) { | |
135 | $linux_types = 1; | |
136 | last; | |
137 | } | |
138 | if (my $included = ($line =~ /^\s*#\s*include\s+[<"](\S+)[>"]/)[0]) { | |
139 | check_include_typesh($included); | |
140 | } | |
141 | } | |
142 | close $fh; | |
143 | delete $import_stack{$import_path}; | |
144 | } | |
145 | ||
483b4121 SR |
146 | sub check_sizetypes |
147 | { | |
b67ff8ce SR |
148 | if ($filename =~ /types.h|int-l64.h|int-ll64.h/o) { |
149 | return; | |
150 | } | |
483b4121 SR |
151 | if ($lineno == 1) { |
152 | $linux_types = 0; | |
153 | } elsif ($linux_types >= 1) { | |
154 | return; | |
155 | } | |
156 | if ($line =~ m/^\s*#\s*include\s+<linux\/types.h>/) { | |
157 | $linux_types = 1; | |
158 | return; | |
159 | } | |
f75a8df3 BP |
160 | if (my $included = ($line =~ /^\s*#\s*include\s+[<"](\S+)[>"]/)[0]) { |
161 | check_include_typesh($included); | |
162 | } | |
483b4121 SR |
163 | if ($line =~ m/__[us](8|16|32|64)\b/) { |
164 | printf STDERR "$filename:$lineno: " . | |
165 | "found __[us]{8,16,32,64} type " . | |
166 | "without #include <linux/types.h>\n"; | |
167 | $linux_types = 2; | |
168 | # Warn until headers are all fixed | |
169 | #$ret = 1; | |
170 | } | |
171 | } |