diff --git a/ivtest/ivltests/sv_super_member_fail.v b/ivtest/ivltests/sv_super_member_fail.v new file mode 100644 index 000000000..503c1131d --- /dev/null +++ b/ivtest/ivltests/sv_super_member_fail.v @@ -0,0 +1,11 @@ +// Check that `super` access in a class without a parent class is rejected. + +module test; + + class C; + function void f; + super.x = 1; + endfunction + endclass + +endmodule diff --git a/ivtest/regress-vvp.list b/ivtest/regress-vvp.list index 8424d7f55..5671edaf5 100644 --- a/ivtest/regress-vvp.list +++ b/ivtest/regress-vvp.list @@ -288,6 +288,7 @@ sv_package_lifetime vvp_tests/sv_package_lifetime.json sv_package_lifetime_fail vvp_tests/sv_package_lifetime_fail.json sv_parameter_type vvp_tests/sv_parameter_type.json sv_queue_assign_op vvp_tests/sv_queue_assign_op.json +sv_super_member_fail vvp_tests/sv_super_member_fail.json sv_wildcard_import8 vvp_tests/sv_wildcard_import8.json sdf_header vvp_tests/sdf_header.json task_return1 vvp_tests/task_return1.json diff --git a/ivtest/vvp_tests/sv_super_member_fail.json b/ivtest/vvp_tests/sv_super_member_fail.json new file mode 100644 index 000000000..14a7e7d70 --- /dev/null +++ b/ivtest/vvp_tests/sv_super_member_fail.json @@ -0,0 +1,5 @@ +{ + "type" : "CE", + "source" : "sv_super_member_fail.v", + "iverilog-args" : [ "-g2005-sv" ] +}