diff --git a/ivtest/ivltests/struct_packed_member_def.v b/ivtest/ivltests/struct_packed_member_def.v new file mode 100644 index 000000000..1e9b58129 --- /dev/null +++ b/ivtest/ivltests/struct_packed_member_def.v @@ -0,0 +1,13 @@ +// Check that an error is reported when specifing a default member value for a +// packed struct. + +module test; + struct packed { + // This should fail, default member value is not allowed for packed struct + integer x = 10; + } s; + + initial begin + $display("FAILED"); + end +endmodule diff --git a/ivtest/regress-sv.list b/ivtest/regress-sv.list index be291eb87..c2c1a8bad 100644 --- a/ivtest/regress-sv.list +++ b/ivtest/regress-sv.list @@ -485,6 +485,7 @@ struct_member_signed normal,-g2009 ivltests struct_packed_array normal,-g2009 ivltests struct_packed_array2 normal,-g2009 ivltests struct_packed_darray_fail CE,-g2009 ivltests +struct_packed_member_def CE,-g2009 ivltests struct_packed_queue_fail CE,-g2009 ivltests struct_packed_sysfunct normal,-g2009 ivltests struct_packed_sysfunct2 normal,-g2009 ivltests