Add regression test for case-generate defaults without a colon

Check an omitted colon before a single module item and a named block
containing a nested generate. Check both a matching case and the default
selection.

The vlog95 variant expects a compilation error because that backend does
not translate generate scopes.

Signed-off-by: Lars-Peter Clausen <lars@metafoo.de>

Author: larsclausen

ivtest/ivltests/generate_case_default.v

@@ -0,0 +1,38 @@
+// Check that a case-generate default does not require a colon.
+
+module M #(parameter SELECT = 0) (output [1:0] value);
+
+  generate
+    case (SELECT)
+      0: assign value[0] = 1'b0;
+      default assign value[0] = 1'b1;
+    endcase
+    case (SELECT)
+      0: assign value[1] = 1'b0;
+      default begin : g
+        if (1) begin : nested
+          assign value[1] = 1'b1;
+        end
+      end
+    endcase
+  endgenerate
+
+endmodule
+
+module test;
+
+  wire [1:0] matched, unmatched;
+
+  M #(0) i_matched(matched);
+  M #(1) i_unmatched(unmatched);
+
+  initial begin
+    #1;
+    if (matched !== 2'b00 || unmatched !== 2'b11) begin
+      $display("FAILED: matched=%b unmatched=%b", matched, unmatched);
+    end else begin
+      $display("PASSED");
+    end
+  end
+
+endmodule

ivtest/regress-vvp.list

@@ -93,6 +93,7 @@ class_property_array_invalid_compare	vvp_tests/class_property_array_invalid_comp
 class_property_array_invalid_read	vvp_tests/class_property_array_invalid_read.json
 class_property_array_invalid_write	vvp_tests/class_property_array_invalid_write.json
 constfunc_call_signedness	vvp_tests/constfunc_call_signedness.json
+generate_case_default			vvp_tests/generate_case_default.json
 initial_null				vvp_tests/initial_null.json
 initial_null_verilog_fail		vvp_tests/initial_null_verilog_fail.json
 packed_typedef_part_select	vvp_tests/packed_typedef_part_select.json

ivtest/vvp_tests/generate_case_default.json

@@ -0,0 +1,9 @@
+{
+    "type"          : "normal",
+    "source"        : "generate_case_default.v",
+    "iverilog-args" : [ "-g2001" ],
+    "vlog95" : {
+        "__comment" : "Generate scopes are not translated by vlog95.",
+        "type"      : "CE"
+    }
+}