Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
9 changes: 9 additions & 0 deletions regression/verilog/expressions/concatenation4.desc
Original file line number Diff line number Diff line change
@@ -0,0 +1,9 @@
KNOWNBUG
concatenation4.v
--bound 0
^EXIT=0$
^SIGNAL=0$
--
^warning: ignoring
--
This should yield an error.
7 changes: 7 additions & 0 deletions regression/verilog/expressions/concatenation4.v
Original file line number Diff line number Diff line change
@@ -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
9 changes: 9 additions & 0 deletions regression/verilog/expressions/replication2.desc
Original file line number Diff line number Diff line change
@@ -0,0 +1,9 @@
KNOWNBUG
replication2.v
--bound 0
^EXIT=0$
^SIGNAL=0$
--
^warning: ignoring
--
This should yield an error.
8 changes: 8 additions & 0 deletions regression/verilog/expressions/replication2.v
Original file line number Diff line number Diff line change
@@ -0,0 +1,8 @@
module main;

// The section 11.4.12.1 in 1800-2017 is contained in 11.4.12,
// which suggests that the rules there apply to replication operators.
// Hence, replications must not use unsized constants.
wire [31:0] x = {4{'b1010}};

endmodule
Loading