Add regression tests for `null` array dimensions

Check that source `null` expressions in `[null]` and `[null:N]` are
rejected rather than treated as the `$` marker for unbounded and bounded
queue dimensions.

Signed-off-by: Lars-Peter Clausen <lars@metafoo.de>
This commit is contained in:
Lars-Peter Clausen 2026-08-09 14:47:42 -07:00
parent 04c21e1982
commit 008b76eae6
5 changed files with 22 additions and 0 deletions

View File

@ -0,0 +1,5 @@
// Check that null is not confused with a bounded queue dimension.
module test;
integer value[null:2];
endmodule

View File

@ -0,0 +1,5 @@
// Check that null is not confused with an unbounded queue dimension.
module test;
integer value[null];
endmodule

View File

@ -338,6 +338,8 @@ sv_declaration_after_null_statement_fail vvp_tests/sv_declaration_after_null_sta
sv_default_port_value1 vvp_tests/sv_default_port_value1.json
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_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_dimension_null_range_fail.v",
"iverilog-args" : [ "-g2005-sv" ]
}

View File

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