Verilator bug in signdness of {single}

[veripoolbot]

---

Author Name: Clifford Wolf (@cliffordwolf)
Original Redmine Issue: 759 from https://www.veripool.org
Original Date: 2014-05-03
Original Assignee: Wilson Snyder (@wsnyder)

---

Verilator a985a1f returns 11001 instead of 01001, i.e. verilator
performs sign extension even though the result of { .. } is unsigned.

     output [4:0] y;
     assign y = { -4'sd7 };
endmodule

Self-contained test case:

http://svn.clifford.at/handicraft/2014/verilatortest/test010.v

http://svn.clifford.at/handicraft/2014/verilatortest/test010.cc

http://svn.clifford.at/handicraft/2014/verilatortest/test010.sh

[veripoolbot]

---

Original Redmine Comment
Author Name: Wilson Snyder (@wsnyder)
Original Date: 2014-05-04T00:20:38Z

---

Good one. It worked with multiple concat arguments, but with just one term "{x}" was optimizing it away before it determined the sizes didn't change. Wouldn't be surprising if no one ever had a concat without multiple arguments and a signed size mismatch.

[veripoolbot]

---

Original Redmine Comment
Author Name: Wilson Snyder (@wsnyder)
Original Date: 2014-05-11T21:11:35Z

---

In 3.860.