Regression test for github issue 801

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

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