Assertion failed: (net), function ivl_nexus_ptrs, file t-dll-api.cc, line 1791.

[shirriff]

I repeatably get the following crash:

Assertion failed: (net), function ivl_nexus_ptrs, file t-dll-api.cc, line 1791.
sh: line 1: 98607 Done                    /opt/local/lib/ivl/ivlpp -L -F"/var/folders/y0/std_yssd13z9snh48rx3m8l40000gq/T//ivrlg262c7b15b" -f"/var/folders/y0/std_yssd13z9snh48rx3m8l40000gq/T//ivrlg62c7b15b" -p"/var/folders/y0/std_yssd13z9snh48rx3m8l40000gq/T//ivrli62c7b15b"

To reproduce, run iverilog err.v on the following file:

module pass(output reg out, input wire in, input wire ctrl);
  always @* begin
    if (ctrl === 1) begin
      out <= in;
    end
  end
endmodule

module ROM();
 wire a, b, c, d;
 pass p1361 (b, a, c);
 pass p1814 (d, a, a);
endmodule

The original failing file is 15000 lines of autogenerated code, but I was able to trim it down to the above test case. This code doesn't really make sense (something is wrong in the input to my autogenerator), but I'm submitting a bug in case you want to know about assertion failures. Feel free to close the bug.

I'm using iverilog on a Macbook: Icarus Verilog version 13.0 (devel) (s20250103)

This looks a bit like #1286 but I think the problems are different.

[caryr]

This is certainly a bug. Icarus should not assert just because the code is a little wonky. If it's invalid it should at least report a message.

Thanks for trimming this down!