From 305a1a9262eedd95fca56892df89f27b6d873b21 Mon Sep 17 00:00:00 2001 From: Lars-Peter Clausen Date: Sun, 6 Feb 2022 20:55:09 +0100 Subject: [PATCH] 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 --- ivtest/gold/sv_end_labels_unnamed.gold | 3 +++ ivtest/ivltests/sv_end_labels_unnamed.v | 16 ++++++++++++++++ ivtest/regress-sv.list | 1 + 3 files changed, 20 insertions(+) create mode 100644 ivtest/gold/sv_end_labels_unnamed.gold create mode 100644 ivtest/ivltests/sv_end_labels_unnamed.v diff --git a/ivtest/gold/sv_end_labels_unnamed.gold b/ivtest/gold/sv_end_labels_unnamed.gold new file mode 100644 index 000000000..2979cbbc3 --- /dev/null +++ b/ivtest/gold/sv_end_labels_unnamed.gold @@ -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. diff --git a/ivtest/ivltests/sv_end_labels_unnamed.v b/ivtest/ivltests/sv_end_labels_unnamed.v new file mode 100644 index 000000000..eb8f788c8 --- /dev/null +++ b/ivtest/ivltests/sv_end_labels_unnamed.v @@ -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 diff --git a/ivtest/regress-sv.list b/ivtest/regress-sv.list index 9a64bde65..f6045ebfe 100644 --- a/ivtest/regress-sv.list +++ b/ivtest/regress-sv.list @@ -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