Add regression test for event names shadowing type identifiers

Check that event declarations can use visible type identifiers as event names.
Also check that the resulting named event can be triggered and waited on.

Signed-off-by: Lars-Peter Clausen <lars@metafoo.de>
This commit is contained in:
Lars-Peter Clausen 2026-07-05 14:39:50 -07:00
parent 17ca0948f4
commit abfb4e83bc
3 changed files with 37 additions and 0 deletions

View File

@ -0,0 +1,31 @@
// Check that event names can shadow visible type identifiers.
typedef int T;
module test;
reg failed;
reg seen;
event T;
initial begin
failed = 1'b0;
seen = 1'b0;
#1 -> T;
#1;
if (seen !== 1'b1) begin
$display("FAILED(%0d). Event T was not triggered", `__LINE__);
failed = 1'b1;
end
if (!failed) begin
$display("PASSED");
end
end
always @T seen = 1'b1;
endmodule

View File

@ -389,6 +389,7 @@ sv_type_identifier_ams_name_fields vvp_tests/sv_type_identifier_ams_name_fields.
sv_type_identifier_block_label_name vvp_tests/sv_type_identifier_block_label_name.json
sv_type_identifier_config_name vvp_tests/sv_type_identifier_config_name.json
sv_type_identifier_enum_item_name vvp_tests/sv_type_identifier_enum_item_name.json
sv_type_identifier_event_name vvp_tests/sv_type_identifier_event_name.json
sv_type_identifier_foreach_name vvp_tests/sv_type_identifier_foreach_name.json
sv_type_identifier_fork_label_name vvp_tests/sv_type_identifier_fork_label_name.json
sv_type_identifier_function_name vvp_tests/sv_type_identifier_function_name.json

View File

@ -0,0 +1,5 @@
{
"type" : "normal",
"source" : "sv_type_identifier_event_name.v",
"iverilog-args" : [ "-g2005-sv" ]
}