diff --git a/ivtest/ivltests/final3.v b/ivtest/ivltests/final3.v
new file mode 100644
index 000000000..b943e9656
--- /dev/null
+++ b/ivtest/ivltests/final3.v
@@ -0,0 +1,20 @@
+// Check that sub-blocks with variable declarations inside final procedures get
+// executed
+
+
+module test;
+
+  final begin
+    static int x = -1;
+    for (int i = 0; i < 1; i++) begin
+      x = i;
+    end
+
+    if (x === 0) begin
+      $display("PASSED");
+    end else begin
+      $display("FAILED");
+    end
+  end
+
+endmodule
diff --git a/ivtest/regress-vvp.list b/ivtest/regress-vvp.list
index 2dd09bb7a..95139f51d 100644
--- a/ivtest/regress-vvp.list
+++ b/ivtest/regress-vvp.list
@@ -23,6 +23,7 @@ dffsynth9			vvp_tests/dffsynth9.json
 dffsynth10			vvp_tests/dffsynth10.json
 dffsynth11			vvp_tests/dffsynth11.json
 dumpfile			vvp_tests/dumpfile.json
+final3				vvp_tests/final3.json
 macro_str_esc			vvp_tests/macro_str_esc.json
 memsynth1			vvp_tests/memsynth1.json
 param-width			vvp_tests/param-width.json
diff --git a/ivtest/vvp_tests/final3.json b/ivtest/vvp_tests/final3.json
new file mode 100644
index 000000000..99b4572c5
--- /dev/null
+++ b/ivtest/vvp_tests/final3.json
@@ -0,0 +1,5 @@
+{
+    "type"          : "normal",
+    "source"        : "final3.v",
+    "iverilog-args" : [ "-g2009" ]
+}