diff --git a/ivtest/ivltests/array_index_real_fail.v b/ivtest/ivltests/array_index_real_fail.v new file mode 100644 index 000000000..763e24ee9 --- /dev/null +++ b/ivtest/ivltests/array_index_real_fail.v @@ -0,0 +1,12 @@ +// Check that real expressions can not be used as array indices. + +module test; + + reg [1:0] a[1:0]; + real r; + + initial begin + a[r] = 2'b10; + end + +endmodule diff --git a/ivtest/regress-vvp.list b/ivtest/regress-vvp.list index e9c9a1633..13b3a3bf8 100644 --- a/ivtest/regress-vvp.list +++ b/ivtest/regress-vvp.list @@ -6,6 +6,7 @@ always4A vvp_tests/always4A.json always4B vvp_tests/always4B.json analog1 vvp_tests/analog1.json analog2 vvp_tests/analog2.json +array_index_real_fail vvp_tests/array_index_real_fail.json array_packed_sysfunct vvp_tests/array_packed_sysfunct.json array_packed_value_list vvp_tests/array_packed_value_list.json array_packed_write_read vvp_tests/array_packed_write_read.json diff --git a/ivtest/vvp_tests/array_index_real_fail.json b/ivtest/vvp_tests/array_index_real_fail.json new file mode 100644 index 000000000..a4b453e0a --- /dev/null +++ b/ivtest/vvp_tests/array_index_real_fail.json @@ -0,0 +1,4 @@ +{ + "type" : "CE", + "source" : "array_index_real_fail.v" +}