From 3ed306bab828df606f76b978264786499ba01f3e Mon Sep 17 00:00:00 2001 From: Lars-Peter Clausen Date: Tue, 11 Aug 2026 23:18:30 -0700 Subject: [PATCH] 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 --- ivtest/ivltests/sv_disable_order_event_fail.v | 13 +++++++++++++ ivtest/ivltests/sv_disable_order_parameter_fail.v | 13 +++++++++++++ ivtest/ivltests/sv_disable_order_variable_fail.v | 13 +++++++++++++ ivtest/regress-vvp.list | 3 +++ ivtest/vvp_tests/sv_disable_order_event_fail.json | 5 +++++ .../vvp_tests/sv_disable_order_parameter_fail.json | 5 +++++ .../vvp_tests/sv_disable_order_variable_fail.json | 5 +++++ 7 files changed, 57 insertions(+) create mode 100644 ivtest/ivltests/sv_disable_order_event_fail.v create mode 100644 ivtest/ivltests/sv_disable_order_parameter_fail.v create mode 100644 ivtest/ivltests/sv_disable_order_variable_fail.v create mode 100644 ivtest/vvp_tests/sv_disable_order_event_fail.json create mode 100644 ivtest/vvp_tests/sv_disable_order_parameter_fail.json create mode 100644 ivtest/vvp_tests/sv_disable_order_variable_fail.json diff --git a/ivtest/ivltests/sv_disable_order_event_fail.v b/ivtest/ivltests/sv_disable_order_event_fail.v new file mode 100644 index 000000000..3a28e544b --- /dev/null +++ b/ivtest/ivltests/sv_disable_order_event_fail.v @@ -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 diff --git a/ivtest/ivltests/sv_disable_order_parameter_fail.v b/ivtest/ivltests/sv_disable_order_parameter_fail.v new file mode 100644 index 000000000..efb0c49e1 --- /dev/null +++ b/ivtest/ivltests/sv_disable_order_parameter_fail.v @@ -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 diff --git a/ivtest/ivltests/sv_disable_order_variable_fail.v b/ivtest/ivltests/sv_disable_order_variable_fail.v new file mode 100644 index 000000000..d85e375ca --- /dev/null +++ b/ivtest/ivltests/sv_disable_order_variable_fail.v @@ -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 diff --git a/ivtest/regress-vvp.list b/ivtest/regress-vvp.list index 361ac014e..e144fb561 100644 --- a/ivtest/regress-vvp.list +++ b/ivtest/regress-vvp.list @@ -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 diff --git a/ivtest/vvp_tests/sv_disable_order_event_fail.json b/ivtest/vvp_tests/sv_disable_order_event_fail.json new file mode 100644 index 000000000..f362d9a89 --- /dev/null +++ b/ivtest/vvp_tests/sv_disable_order_event_fail.json @@ -0,0 +1,5 @@ +{ + "type" : "CE", + "source" : "sv_disable_order_event_fail.v", + "iverilog-args" : [ "-g2005-sv" ] +} diff --git a/ivtest/vvp_tests/sv_disable_order_parameter_fail.json b/ivtest/vvp_tests/sv_disable_order_parameter_fail.json new file mode 100644 index 000000000..993ee91a5 --- /dev/null +++ b/ivtest/vvp_tests/sv_disable_order_parameter_fail.json @@ -0,0 +1,5 @@ +{ + "type" : "CE", + "source" : "sv_disable_order_parameter_fail.v", + "iverilog-args" : [ "-g2005-sv" ] +} diff --git a/ivtest/vvp_tests/sv_disable_order_variable_fail.json b/ivtest/vvp_tests/sv_disable_order_variable_fail.json new file mode 100644 index 000000000..1d8d8c01e --- /dev/null +++ b/ivtest/vvp_tests/sv_disable_order_variable_fail.json @@ -0,0 +1,5 @@ +{ + "type" : "CE", + "source" : "sv_disable_order_variable_fail.v", + "iverilog-args" : [ "-g2005-sv" ] +}