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" ] +}