2008-10-29 15:20:13 -06:00
|
|
|
#!/usr/bin/perl -w
|
2008-06-15 13:41:09 -06:00
|
|
|
#
|
|
|
|
# headers_check.pl execute a number of trivial consistency checks
|
|
|
|
#
|
|
|
|
# Usage: headers_check.pl dir [files...]
|
|
|
|
# dir: dir to look for included files
|
|
|
|
# arch: architecture
|
|
|
|
# files: list of files to check
|
|
|
|
#
|
|
|
|
# The script reads the supplied files line by line and:
|
|
|
|
#
|
|
|
|
# 1) for each include statement it checks if the
|
|
|
|
# included file actually exists.
|
|
|
|
# Only include files located in asm* and linux* are checked.
|
|
|
|
# The rest are assumed to be system include files.
|
|
|
|
#
|
2008-12-27 00:43:36 -07:00
|
|
|
# 2) It is checked that prototypes does not use "extern"
|
|
|
|
#
|
2008-12-27 11:52:20 -07:00
|
|
|
# 3) Check for leaked CONFIG_ symbols
|
2008-06-15 13:41:09 -06:00
|
|
|
|
|
|
|
use strict;
|
|
|
|
|
|
|
|
my ($dir, $arch, @files) = @ARGV;
|
|
|
|
|
|
|
|
my $ret = 0;
|
|
|
|
my $line;
|
|
|
|
my $lineno = 0;
|
|
|
|
my $filename;
|
|
|
|
|
|
|
|
foreach my $file (@files) {
|
2008-10-29 15:20:13 -06:00
|
|
|
local *FH;
|
2008-06-15 13:41:09 -06:00
|
|
|
$filename = $file;
|
2008-10-29 15:20:13 -06:00
|
|
|
open(FH, "<$filename") or die "$filename: $!\n";
|
2008-06-15 13:41:09 -06:00
|
|
|
$lineno = 0;
|
2008-10-29 15:20:13 -06:00
|
|
|
while ($line = <FH>) {
|
2008-06-15 13:41:09 -06:00
|
|
|
$lineno++;
|
2008-12-30 03:34:58 -07:00
|
|
|
&check_include();
|
|
|
|
&check_asm_types();
|
|
|
|
&check_sizetypes();
|
|
|
|
&check_prototypes();
|
2009-01-30 15:56:42 -07:00
|
|
|
# Dropped for now. Too much noise &check_config();
|
2008-06-15 13:41:09 -06:00
|
|
|
}
|
2008-10-29 15:20:13 -06:00
|
|
|
close FH;
|
2008-06-15 13:41:09 -06:00
|
|
|
}
|
|
|
|
exit $ret;
|
|
|
|
|
|
|
|
sub check_include
|
|
|
|
{
|
|
|
|
if ($line =~ m/^\s*#\s*include\s+<((asm|linux).*)>/) {
|
|
|
|
my $inc = $1;
|
|
|
|
my $found;
|
|
|
|
$found = stat($dir . "/" . $inc);
|
|
|
|
if (!$found) {
|
|
|
|
$inc =~ s#asm/#asm-$arch/#;
|
|
|
|
$found = stat($dir . "/" . $inc);
|
|
|
|
}
|
|
|
|
if (!$found) {
|
|
|
|
printf STDERR "$filename:$lineno: included file '$inc' is not exported\n";
|
|
|
|
$ret = 1;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
2008-12-27 00:43:36 -07:00
|
|
|
|
|
|
|
sub check_prototypes
|
|
|
|
{
|
|
|
|
if ($line =~ m/^\s*extern\b/) {
|
|
|
|
printf STDERR "$filename:$lineno: extern's make no sense in userspace\n";
|
|
|
|
}
|
|
|
|
}
|
2008-12-27 11:52:20 -07:00
|
|
|
|
|
|
|
sub check_config
|
|
|
|
{
|
|
|
|
if ($line =~ m/[^a-zA-Z0-9_]+CONFIG_([a-zA-Z0-9]+)[^a-zA-Z0-9]/) {
|
|
|
|
printf STDERR "$filename:$lineno: leaks CONFIG_$1 to userspace where it is not valid\n";
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2008-12-30 03:34:58 -07:00
|
|
|
my $linux_asm_types;
|
|
|
|
sub check_asm_types()
|
|
|
|
{
|
2008-12-31 01:32:30 -07:00
|
|
|
if ($filename =~ /types.h|int-l64.h|int-ll64.h/o) {
|
|
|
|
return;
|
|
|
|
}
|
2008-12-30 03:34:58 -07:00
|
|
|
if ($lineno == 1) {
|
|
|
|
$linux_asm_types = 0;
|
|
|
|
} elsif ($linux_asm_types >= 1) {
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
if ($line =~ m/^\s*#\s*include\s+<asm\/types.h>/) {
|
|
|
|
$linux_asm_types = 1;
|
|
|
|
printf STDERR "$filename:$lineno: " .
|
|
|
|
"include of <linux/types.h> is preferred over <asm/types.h>\n"
|
|
|
|
# Warn until headers are all fixed
|
|
|
|
#$ret = 1;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
my $linux_types;
|
|
|
|
sub check_sizetypes
|
|
|
|
{
|
2008-12-31 01:32:30 -07:00
|
|
|
if ($filename =~ /types.h|int-l64.h|int-ll64.h/o) {
|
|
|
|
return;
|
|
|
|
}
|
2008-12-30 03:34:58 -07:00
|
|
|
if ($lineno == 1) {
|
|
|
|
$linux_types = 0;
|
|
|
|
} elsif ($linux_types >= 1) {
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
if ($line =~ m/^\s*#\s*include\s+<linux\/types.h>/) {
|
|
|
|
$linux_types = 1;
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
if ($line =~ m/__[us](8|16|32|64)\b/) {
|
|
|
|
printf STDERR "$filename:$lineno: " .
|
|
|
|
"found __[us]{8,16,32,64} type " .
|
|
|
|
"without #include <linux/types.h>\n";
|
|
|
|
$linux_types = 2;
|
|
|
|
# Warn until headers are all fixed
|
|
|
|
#$ret = 1;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|