Failure to compile - ERROR: Assert `n.id != 0' failed in src/ghdl.cc:204.

[psi-chuffine]

Minimal example from my project is attached.

Running OSS-CAD-SUITE

GHDL Version:

ghdl -v
GHDL 4.0.0-dev (3.0.0.r22.gdb9d2b819.dirty) [Dunoon edition]
 Compiled with GNAT Version: 9.3.0
 llvm 10.0.0 code generator
Written by Tristan Gingold.

Copyright (C) 2003 - 2023 Tristan Gingold.
GHDL is free software, covered by the GNU General Public License.  There is NO
warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.

Command and output:

sby --yosys "yosys -m ghdl" -f test.sby bmc
SBY 14:36:33 [test_bmc] Removing directory '/mnt/c/HDL/compilation failure/test_bmc'.
SBY 14:36:34 [test_bmc] Copy '/mnt/c/HDL/compilation failure/test.vhd' to '/mnt/c/HDL/compilation failure/test_bmc/src/test.vhd'.
SBY 14:36:34 [test_bmc] engine_0: smtbmc
SBY 14:36:34 [test_bmc] base: starting process "cd test_bmc/src; yosys -m ghdl -ql ../model/design.log ../model/design.ys"
SBY 14:36:34 [test_bmc] base: ERROR: Assert `n.id != 0' failed in src/ghdl.cc:204.
SBY 14:36:34 [test_bmc] base: finished (returncode=1)
SBY 14:36:34 [test_bmc] base: task failed. ERROR.
SBY 14:36:34 [test_bmc] summary: Elapsed clock time [H:MM:SS (secs)]: 0:00:00 (0)
SBY 14:36:34 [test_bmc] summary: Elapsed process time [H:MM:SS (secs)]: 0:00:00 (0)
SBY 14:36:34 [test_bmc] summary: engine_0 (smtbmc) did not return a status
SBY 14:36:34 [test_bmc] summary: engine_0 did not produce any traces
SBY 14:36:34 [test_bmc] DONE (ERROR, rc=16)

Example:
compilation failure.zip

[tgingold]

I can reproduce the issue.

[psi-chuffine]

Thank you!