Add regression test for end labels on unnamed blocks

An end label on an unnamed block should generate an error. Add a regression
test to check this.

Signed-off-by: Lars-Peter Clausen <lars@metafoo.de>
This commit is contained in:
Lars-Peter Clausen 2022-02-06 20:55:09 +01:00
parent e950e2d0d3
commit 305a1a9262
3 changed files with 20 additions and 0 deletions

View File

@ -0,0 +1,3 @@
./ivltests/sv_end_labels_unnamed.v:7: error: unnamed block must not have end label.
./ivltests/sv_end_labels_unnamed.v:11: error: unnamed block must not have end label.
./ivltests/sv_end_labels_unnamed.v:14: error: unnamed fork must not have end label.

View File

@ -0,0 +1,16 @@
// Check that end labels on unnamed blocks generate an error
module test;
generate
if (1) begin
end : label
endgenerate
initial begin
end : label
initial fork
join : label
endmodule

View File

@ -451,6 +451,7 @@ sv_end_label normal,-g2005-sv ivltests
sv_end_label_fail CE,-g2009 ivltests gold=sv_end_label_fail.gold
sv_end_labels normal,-g2009 ivltests
sv_end_labels_bad CE,-g2009 ivltests gold=sv_end_labels_bad.gold
sv_end_labels_unnamed CE,-g2009 ivltests gold=sv_end_labels_unnamed.gold
sv_enum1 normal,-g2009 ivltests
sv_for_variable normal,-g2009 ivltests
sv_foreach1 normal,-g2009 ivltests