diff --git a/test_regress/t/t_fuzz_always_bad.out b/test_regress/t/t_fuzz_always_bad.out new file mode 100644 index 000000000..63fc162df --- /dev/null +++ b/test_regress/t/t_fuzz_always_bad.out @@ -0,0 +1,10 @@ +%Error: t/t_fuzz_always_bad.v:9: Can't find definition of 'a' in dotted variable: 'c.a' + always @ c.a c:h; + ^ +%Error: t/t_fuzz_always_bad.v:9: Can't find definition of task/function: 'h' + always @ c.a c:h; + ^ +%Error: t/t_fuzz_always_bad.v:9: Unsupported: Complex statement in sensitivity list + always @ c.a c:h; + ^ +%Error: Exiting due to diff --git a/test_regress/t/t_fuzz_always_bad.pl b/test_regress/t/t_fuzz_always_bad.pl new file mode 100755 index 000000000..b09f43e8b --- /dev/null +++ b/test_regress/t/t_fuzz_always_bad.pl @@ -0,0 +1,18 @@ +#!/usr/bin/perl +if (!$::Driver) { use FindBin; exec("$FindBin::Bin/bootstrap.pl", @ARGV, $0); die; } +# DESCRIPTION: Verilator: Verilog Test driver/expect definition +# +# Copyright 2003 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. + +scenarios(linter => 1); + +lint( + fails => 1, + expect_filename => $Self->{golden_filename}, + ); + +ok(1); +1; diff --git a/test_regress/t/t_fuzz_always_bad.v b/test_regress/t/t_fuzz_always_bad.v new file mode 100644 index 000000000..ed2c10357 --- /dev/null +++ b/test_regress/t/t_fuzz_always_bad.v @@ -0,0 +1,10 @@ +// DESCRIPTION: Verilator: Verilog Test module +// +// This file ONLY is placed into the Public Domain, for any use, +// without warranty, 2019 by Wilson Snyder. + +//bug1577 + +module t; + always @ c.a c:h; +endmodule