Merge pull request #241 from diffblue/for_with_reg

Verilog: add a KNOWNBUG test for a for loop over a register

Author: tautschnig

regression/verilog/for/for_with_reg.desc

@@ -0,0 +1,7 @@
+KNOWNBUG
+for_with_reg.v
+--bound 0
+^EXIT=0$
+^SIGNAL=0$
+--
+^warning: ignoring

regression/verilog/for/for_with_reg.v

@@ -0,0 +1,14 @@
+module main(input [7:0] data);
+
+  reg [31:0] counter;
+  reg is_zero;
+
+  always @data begin
+    is_zero = 1;
+    for(counter = 0; counter < 8; counter = counter + 1)
+      is_zero = is_zero && (data[counter] == 0);
+  end
+
+  always assert a1: is_zero == (data == 0);
+
+endmodule