Add regression tests for disable target lookup

Check separately that a local variable, named event, and parameter hide a
compilation-unit task used as a disable target.

Signed-off-by: Lars-Peter Clausen <lars@metafoo.de>
This commit is contained in:
Lars-Peter Clausen 2026-08-11 23:18:30 -07:00
parent 6e8c05eda8
commit 3ed306bab8
7 changed files with 57 additions and 0 deletions

View File

@ -0,0 +1,13 @@
// Check that a local named event hides a compilation-unit task used as a
// disable target.
task value;
endtask
module test;
event value;
initial disable value;
endmodule

View File

@ -0,0 +1,13 @@
// Check that a local parameter hides a compilation-unit task used as a
// disable target.
task value;
endtask
module test;
parameter value = 1;
initial disable value;
endmodule

View File

@ -0,0 +1,13 @@
// Check that a local variable hides a compilation-unit task used as a
// disable target.
task value;
endtask
module test;
integer value;
initial disable value;
endmodule

View File

@ -351,6 +351,9 @@ sv_default_port_value2 vvp_tests/sv_default_port_value2.json
sv_default_port_value3 vvp_tests/sv_default_port_value3.json
sv_dimension_null_range_fail vvp_tests/sv_dimension_null_range_fail.json
sv_dimension_null_size_fail vvp_tests/sv_dimension_null_size_fail.json
sv_disable_order_event_fail vvp_tests/sv_disable_order_event_fail.json
sv_disable_order_parameter_fail vvp_tests/sv_disable_order_parameter_fail.json
sv_disable_order_variable_fail vvp_tests/sv_disable_order_variable_fail.json
sv_enum_reference_order vvp_tests/sv_enum_reference_order.json
sv_enum_reference_order_relaxed vvp_tests/sv_enum_reference_order_relaxed.json
sv_foreach9 vvp_tests/sv_foreach9.json

View File

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

View File

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

View File

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