Mario1159/verilator
1
0
Fork 0
forked from github/verilator
Code Pull Requests Releases 1 Activity

Fix cinlude check (#3907)

Browse Source
This commit is contained in:
Ilya Barkov 2023-01-26 14:35:59 +03:00 committed by GitHub
parent c2a8810eb1
commit d118a739dc
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 32 additions and 31 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/V3FunctionTraits.h
View File

@ -19,7 +19,7 @@
#include "verilatedos.h"
#include <stddef.h>
#include <cstddef>
#include <tuple>
#include <type_traits>

23
test_regress/t/t_dist_cinclude.pl
View File

@ -9,24 +9,26 @@ if (!$::Driver) { use FindBin; exec("$FindBin::Bin/bootstrap.pl", @ARGV, $0); di
# SPDX-License-Identifier: LGPL-3.0-only OR Artistic-2.0
use IO::File;
use File::Spec::Functions 'catfile';
scenarios(dist => 1);
my $root = "..";
my $Debug;
if (!-r "$root/.git") {
if (!-r catfile($root, ".git")) {
skip("Not in a git repository");
} else {
### Must trim output before and after our file list
my $files = `cd $root && git ls-files --exclude-standard`;
print "ST $files\n" if $Debug;
$files =~ s/\s+/ /g;
my $cmd = "cd $root && fgrep -n include $files | sort";
my $grep = `$cmd`;
foreach my $line (split /\n/, $grep) {
next if $line =~ m!include/vltstd/vpi_user.h!; # IEEE Standard file - can't change it
next if $line =~ m!include/gtkwave/!; # Standard file - can't change it
foreach my $file (split /\n/, $files) {
next if $file =~ m!include/vltstd/vpi_user.h!; # IEEE Standard file - can't change it
next if $file =~ m!include/gtkwave/!; # Standard file - can't change it
my $filename = catfile($root, $file);
@lines = split /\n/, file_contents($filename);
@include_lines = grep(/include/, @lines);
foreach my $line (@include_lines) {
my $hit;
$hit = 1 if $line =~ /\bassert\.h/;
$hit = 1 if $line =~ /\bctype\.h/;
@ -46,12 +48,11 @@ if (!-r "$root/.git") {
$hit = 1 if $line =~ /\bstring\.h/;
$hit = 1 if $line =~ /\btime\.h/ && $line !~ m!sys/time.h!;
next if !$hit;
print "$line\n";
$names{$1} = 1 if $line =~ /^([^:]+)/;
$names{"$filename: $line"} = 1;
}
}
if (keys %names) {
error("Files like stdint.h instead of cstdint: ", join(' ', sort keys %names));
error("Files like stdint.h instead of cstdint:\n ", join("\n ", sort keys %names));
}
}