#46 assertion from compiler when using unary negation

[Jeff Newbern]

The attached simple testcase causes iverilog 0.8 to
abort with the assertion:

ivl: netlist.cc:762: Link&
NetAddSub::pin_DataB(unsigned int): Assertion `idx <
pin_count()' failed.

Incidently, if the declarations of sel and x are
removed from the testcase, the assertion changes to:

:0: internal error: pin(0) out of bounds(0)
:0: : typeid=6NetNet
ivl: netlist.cc:208: Link& NetObj::pin(unsigned int):
Assertion `idx < npins_' failed.

[Jeff Newbern]

Testcase for assertion with negation

[Stephen Williams]

Logged In: YES
user_id=97566

I've confirmed that this is a bug in v0.8, and *not* a problem in the
current devel tree. The bug should remain open, but I'll bump the
priority down a notch to reflect my focus on the devel branch.

[Stephen Williams]

Patch for v0.8.4

[Stephen Williams]

Logged In: YES
user_id=97566
Originator: NO

The attached patch fixes this bug. It should apply to the v0.8.4 source code, or get it from git branch v0_8-devel as of 19 July 2007.

File Added: 0001-Unary-minus-size-assertion.patch