diff --git a/ivtest/ivltests/sv_bad_member_lval_proc_fail.v b/ivtest/ivltests/sv_bad_member_lval_proc_fail.v
new file mode 100644
index 000000000..5b43b7afe
--- /dev/null
+++ b/ivtest/ivltests/sv_bad_member_lval_proc_fail.v
@@ -0,0 +1,9 @@
+// Check that bogus member access on procedural l-values reports an error.
+
+module test;
+  logic r;
+
+  initial begin
+    r.bad = 1'b1;
+  end
+endmodule
diff --git a/ivtest/regress-vvp.list b/ivtest/regress-vvp.list
index b66ada6b5..3ad3643f1 100644
--- a/ivtest/regress-vvp.list
+++ b/ivtest/regress-vvp.list
@@ -254,6 +254,7 @@ sv_array_cassign10		vvp_tests/sv_array_cassign10.json
 sv_array_cassign_single	vvp_tests/sv_array_cassign_single.json
 sv_array_cassign_single_fail1	vvp_tests/sv_array_cassign_single_fail1.json
 sv_automatic_2state		vvp_tests/sv_automatic_2state.json
+sv_bad_member_lval_proc_fail	vvp_tests/sv_bad_member_lval_proc_fail.json
 sv_byte_array_string1		vvp_tests/sv_byte_array_string1.json
 sv_byte_array_string2		vvp_tests/sv_byte_array_string2.json
 sv_byte_array_string3		vvp_tests/sv_byte_array_string3.json
diff --git a/ivtest/vvp_tests/sv_bad_member_lval_proc_fail.json b/ivtest/vvp_tests/sv_bad_member_lval_proc_fail.json
new file mode 100644
index 000000000..dc312633a
--- /dev/null
+++ b/ivtest/vvp_tests/sv_bad_member_lval_proc_fail.json
@@ -0,0 +1,5 @@
+{
+    "type"          : "CE",
+    "source"        : "sv_bad_member_lval_proc_fail.v",
+    "iverilog-args" : [ "-g2005-sv" ]
+}