Add regression test for module port range mismatch

Check that a range mismatch is detected for non-ANSI module ports when port
direction and data type are declared separately.

An error should be reported and no crash should occur.

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

ivtest/ivltests/module_port_range_mismatch.v

@@ -0,0 +1,16 @@
+// Check that range mismatches between port direction and data type are detected
+// for module ports. An error should be reported and no crash should occur.
+
+module test;
+  input [1:0] x;
+  wire [3:0] x;
+
+  wire [3:0] y;
+
+  assign y = x;
+
+  initial begin
+    $display("FAILED");
+  end
+
+endmodule

ivtest/regress-vlg.list

@@ -648,6 +648,7 @@ module_inout_port_type	CE			ivltests
 module_input_port_type	CE			ivltests
 module_output_port_var1	normal			ivltests
 module_output_port_var2	normal			ivltests
+module_port_range_mismatch CE			ivltests
 modulus			normal			ivltests # wire % and reg % operators
 modulus2		normal			ivltests # reg % operators
 monitor			normal			ivltests gold=monitor.gold