Add regression tests for assigning scalar value to array

Check that trying to assign a scalar value to an array results in an error.

Signed-off-by: Lars-Peter Clausen <lars@metafoo.de>
This commit is contained in:
Lars-Peter Clausen 2023-06-17 11:58:59 -07:00
parent 90a1168086
commit 6991b2d84f
5 changed files with 39 additions and 0 deletions

View File

@ -0,0 +1,13 @@
// Check that trying to do a procedural assign of a scalar to an array results
// in an error.
module test;
integer x[1:0];
initial begin
x = 10; // Error, scalar assigned to array
$display("FAILED");
end
endmodule

View File

@ -0,0 +1,14 @@
// Check that trying to do a continuous assign of a scalar to an array results
// in an error.
module test;
integer x[1:0];
assign x = 10; // Error, scalar assigned to array
initial begin
$display("FAILED");
end
endmodule

View File

@ -53,6 +53,8 @@ sv_ap_uarray5 vvp_tests/sv_ap_uarray5.json
sv_ap_uarray6 vvp_tests/sv_ap_uarray6.json
sv_ap_uarray_fail1 vvp_tests/sv_ap_uarray_fail1.json
sv_ap_uarray_fail2 vvp_tests/sv_ap_uarray_fail2.json
sv_array_assign_fail1 vvp_tests/sv_array_assign_fail1.json
sv_array_assign_fail2 vvp_tests/sv_array_assign_fail2.json
sv_array_cassign6 vvp_tests/sv_array_cassign6.json
sv_array_cassign7 vvp_tests/sv_array_cassign7.json
sv_foreach9 vvp_tests/sv_foreach9.json

View File

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

View File

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