diff --git a/ivtest/ivltests/br_gh801.v b/ivtest/ivltests/br_gh801.v
new file mode 100644
index 000000000..fbc4e6891
--- /dev/null
+++ b/ivtest/ivltests/br_gh801.v
@@ -0,0 +1,16 @@
+
+module main;
+   initial begin
+      int idx;
+      idx = 1;
+      for ( ; idx < 5 ; idx += 1) begin
+	 $display("... %02d", idx);
+      end
+      if (idx !== 5) begin
+	 $display("FAILED -- idx=%0d", idx);
+	 $finish;
+      end
+      $display("PASSED");
+      $finish;
+   end
+endmodule // main
diff --git a/ivtest/regress-sv.list b/ivtest/regress-sv.list
index f9456c777..f0a8003e2 100644
--- a/ivtest/regress-sv.list
+++ b/ivtest/regress-sv.list
@@ -221,6 +221,7 @@ br_gh672		normal,-g2009		ivltests
 br_gh699		CE,-g2009		ivltests
 br_gh756		normal,-g2009		ivltests
 br_gh782a		normal,-g2009		ivltests gold=br_gh782a.gold
+br_gh801		normal,-g2009		ivltests
 br_ml20171017		normal,-g2009		ivltests
 br_ml20180227		CE,-g2009		ivltests
 br_ml20180309a		normal,-g2009		ivltests