KNOWNBUG test for concatenation with unsized constant

kroening · kroening · commit 96acaf3ae2f7 · 2024-11-14T09:35:02.000Z
diff --git a/regression/verilog/expressions/concatenation4.desc b/regression/verilog/expressions/concatenation4.desc
@@ -0,0 +1,9 @@
+KNOWNBUG
+concatenation4.v
+--bound 0
+^EXIT=0$
+^SIGNAL=0$
+--
+^warning: ignoring
+--
+This should yield an error.
diff --git a/regression/verilog/expressions/concatenation4.v b/regression/verilog/expressions/concatenation4.v
@@ -0,0 +1,7 @@
+module main;
+
+  // 1800-2017 11.4.12
+  // "Unsized constant numbers shall not be allowed in concatenations"
+  wire [31:0] x = { 'b1010 };
+
+endmodule
