github/verilator
1
0
Fork 1
mirror of https://github.com/verilator/verilator.git synced 2025-04-05 04:02:37 +00:00
Code Issues Packages Projects Releases Wiki Activity

Tests: Check for bad event methods

Browse Source
This commit is contained in:
Wilson Snyder 2024-04-28 12:52:25 -04:00
parent 8ed269c77f
commit 5601056ed0
5 changed files with 40 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
include/verilated.cpp
View File

@ -2936,7 +2936,6 @@ void VerilatedContext::trace(VerilatedTraceBaseC* tfp, int levels, int options)
VL_FATAL_MT("", 0, "", VL_FATAL_MT("", 0, "",
"Testbench C call to 'VerilatedContext::trace()' must not be called" "Testbench C call to 'VerilatedContext::trace()' must not be called"
" after 'VerilatedTrace*::open()'\n"); " after 'VerilatedTrace*::open()'\n");
return;
} }
{ {
// Legacy usage may call {modela}->trace(...) then {modelb}->trace(...) // Legacy usage may call {modela}->trace(...) then {modelb}->trace(...)

3
test_regress/t/t_dist_warn_coverage.pl
View File

@ -67,8 +67,6 @@ foreach my $s (
'String of ', 'String of ',
'Symbol matching ', 'Symbol matching ',
'Unexpected connection to arrayed port', 'Unexpected connection to arrayed port',
'Unknown `pragma',
'Unknown built-in event method ',
'Unsized numbers/parameters not allowed in streams.', 'Unsized numbers/parameters not allowed in streams.',
'Unsupported RHS tristate construct: ', 'Unsupported RHS tristate construct: ',
'Unsupported or syntax error: Unsized range in instance or other declaration', 'Unsupported or syntax error: Unsized range in instance or other declaration',
@ -166,6 +164,7 @@ sub read_messages {
while (my $origline = ($fh && $fh->getline)) { while (my $origline = ($fh && $fh->getline)) {
my $line = $origline; my $line = $origline;
next if $line =~ m!^\s*//!; next if $line =~ m!^\s*//!;
next if $line =~ m!^\s*/\*!;
++$lineno; ++$lineno;
if ($line =~ /\b(v3error|v3warn)\b\($/g) { if ($line =~ /\b(v3error|v3warn)\b\($/g) {
$read_next = 1 if $line !~ /LCOV_EXCL_LINE/; $read_next = 1 if $line !~ /LCOV_EXCL_LINE/;

5
test_regress/t/t_event_method_bad.out Normal file
View File

@ -0,0 +1,5 @@
%Error: t/t_event_method_bad.v:12:10: Unknown built-in event method 'bad_method'
: ... note: In instance 't'
12 | e1.bad_method();
| ^~~~~~~~~~
%Error: Exiting due to

19
test_regress/t/t_event_method_bad.pl Executable file
View File

@ -0,0 +1,19 @@
#!/usr/bin/env perl
if (!$::Driver) { use FindBin; exec("$FindBin::Bin/bootstrap.pl", @ARGV, $0); die; }
# DESCRIPTION: Verilator: Verilog Test driver/expect definition
#
# Copyright 2008 by Wilson Snyder. This program is free software; you
# can redistribute it and/or modify it under the terms of either the GNU
# Lesser General Public License Version 3 or the Perl Artistic License
# Version 2.0.
# SPDX-License-Identifier: LGPL-3.0-only OR Artistic-2.0
scenarios(linter => 1);
lint(
fails => 1,
expect_filename => $Self->{golden_filename},
);
ok(1);
1;

15
test_regress/t/t_event_method_bad.v Normal file
View File

@ -0,0 +1,15 @@
// DESCRIPTION: Verilator: Verilog Test module
//
// This file ONLY is placed under the Creative Commons Public Domain, for
// any use, without warranty, 2024 by Wilson Snyder.
// SPDX-License-Identifier: CC0-1.0
module t(/*AUTOARG*/);
event e1;
initial begin
e1.bad_method();
end
endmodule