Add regression test for assertion item labels shadowing type identifiers

Check that a visible type identifier can be shadowed by labels on module
level assertion items. Cover both a concurrent assertion item and a
deferred immediate assertion item.

Signed-off-by: Lars-Peter Clausen <lars@metafoo.de>

ivtest/ivltests/sv_type_identifier_assert_item_label.v

@@ -0,0 +1,15 @@
+// Check that assertion item labels can shadow visible type identifiers.
+
+typedef int CHECK_A;
+typedef int CHECK_B;
+
+module test;
+
+  CHECK_A: assert property (1);
+  CHECK_B: assert final (1);
+
+  initial begin
+    $display("PASSED");
+  end
+
+endmodule

ivtest/regress-vvp.list

@@ -407,6 +407,7 @@ sv_soft_packed_union_fail1	vvp_tests/sv_soft_packed_union_fail1.json
 sv_string_method_substr_too_few_arg_fail	vvp_tests/sv_string_method_substr_too_few_arg_fail.json
 sv_super_member_fail		vvp_tests/sv_super_member_fail.json
 sv_type_identifier_ams_name_fields	vvp_tests/sv_type_identifier_ams_name_fields.json
+sv_type_identifier_assert_item_label	vvp_tests/sv_type_identifier_assert_item_label.json
 sv_type_identifier_assert_label	vvp_tests/sv_type_identifier_assert_label.json
 sv_type_identifier_attribute_name	vvp_tests/sv_type_identifier_attribute_name.json
 sv_type_identifier_attribute_target	vvp_tests/sv_type_identifier_attribute_target.json

ivtest/vvp_tests/sv_type_identifier_assert_item_label.json

@@ -0,0 +1,5 @@
+{
+    "type"          : "normal",
+    "source"        : "sv_type_identifier_assert_item_label.v",
+    "iverilog-args" : [ "-g2012", "-gsupported-assertions" ]
+}