diff --git a/ivtest/ivltests/sv_lval_idx_part_invalid_base_down_fail.v b/ivtest/ivltests/sv_lval_idx_part_invalid_base_down_fail.v new file mode 100644 index 000000000..769a76899 --- /dev/null +++ b/ivtest/ivltests/sv_lval_idx_part_invalid_base_down_fail.v @@ -0,0 +1,9 @@ +// Check that invalid indexed part-select l-value bases report an error. + +module test; + reg [31:0] a; + + initial begin + a[does_not_exist -: 2] = 2'b00; + end +endmodule diff --git a/ivtest/regress-vvp.list b/ivtest/regress-vvp.list index b66ada6b5..043df7b52 100644 --- a/ivtest/regress-vvp.list +++ b/ivtest/regress-vvp.list @@ -343,6 +343,7 @@ sv_lval_concat_uarray_fail1 vvp_tests/sv_lval_concat_uarray_fail1.json sv_lval_concat_uarray_fail2 vvp_tests/sv_lval_concat_uarray_fail2.json sv_lval_concat_uarray_fail3 vvp_tests/sv_lval_concat_uarray_fail3.json sv_lval_concat_uarray_fail4 vvp_tests/sv_lval_concat_uarray_fail4.json +sv_lval_idx_part_invalid_base_down_fail vvp_tests/sv_lval_idx_part_invalid_base_down_fail.json sv_mixed_assign1 vvp_tests/sv_mixed_assign1.json sv_mixed_assign2 vvp_tests/sv_mixed_assign2.json sv_mixed_assign_error1 vvp_tests/sv_mixed_assign_error1.json diff --git a/ivtest/vvp_tests/sv_lval_idx_part_invalid_base_down_fail.json b/ivtest/vvp_tests/sv_lval_idx_part_invalid_base_down_fail.json new file mode 100644 index 000000000..e04a3a978 --- /dev/null +++ b/ivtest/vvp_tests/sv_lval_idx_part_invalid_base_down_fail.json @@ -0,0 +1,5 @@ +{ + "type" : "CE", + "source" : "sv_lval_idx_part_invalid_base_down_fail.v", + "iverilog-args" : [ "-g2001" ] +}