Original Redmine Comment
Author Name: Wilson Snyder (@wsnyder)
Original Date: 2015-10-30T01:16:34Z

Probably missing a call to constify somewhere. Would you like to try a patch?

Original Redmine Comment
Author Name: Todd Strader (@toddstrader)
Original Date: 2015-10-30T01:52:20Z

Yeah, sure thing. It may take me a little longer to get to this one, but it's on the list.

Original Redmine Comment
Author Name: Johan Bjork
Original Date: 2017-03-17T20:19:52Z

Took a quick look at this. It seems the problem stems from that V3Width converts the constant to SEL\CONST\CONST\CONST, then V3Width calls V3Task::taskConnects which barfs on the SEL (Expecting const). The quick fix of attempting to call V3Const results in an infinte loop as V3Const calls into V3Width. There might still be a quick fix but not as obvious as expected from the ticket.

Original Redmine Comment
Author Name: Johan Bjork
Original Date: 2017-03-20T14:03:48Z

Trivial fix it seems:

V3Width.cpp:2786
-       if (constp && !nodep->isSigned()) {
+       if (constp && !constp->num().isNegative()) {
V3Width:2793
-           num.isSigned(expDTypep->isSigned());
+           num.isSigned(false);

passes all tests including the one attached to this ticket.

Original Redmine Comment
Author Name: Wilson Snyder (@wsnyder)
Original Date: 2017-03-21T23:27:51Z

Thanks for the patch!

Fixed in git towards 3.902.

Original Redmine Comment
Author Name: Wilson Snyder (@wsnyder)
Original Date: 2017-04-02T12:51:30Z

In 3.902.