Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

segfault in proc_dlatch when latch is driven by conflicting drivers #4692

Open
gadfort opened this issue Oct 30, 2024 · 0 comments
Open

segfault in proc_dlatch when latch is driven by conflicting drivers #4692

gadfort opened this issue Oct 30, 2024 · 0 comments
Labels

Comments

@gadfort
Copy link
Contributor

gadfort commented Oct 30, 2024

Version

Yosys 0.46 (git sha1 e97731b, g++ 11.4.0-1ubuntu1~22.04 -fPIC -O3)

On which OS did this happen?

Linux

Reproduction Steps

yosys_segfault.tar.gz

tar xvf yosys_segfault.tar.gz
cd yosys_segfault
yosys -C run.ys

Expected Behavior

proc_dlatch fails gracefully and no segfault is generated.

Actual Behavior

2.2.7. Executing PROC_MUX pass (convert decision trees to multiplexers).
Creating decoders for process `\issue.$proc$issue.v:5$2'.
     1/3: $1\io[2:0] [2]
     2/3: $1\io[2:0] [0]
     3/3: $1\io[2:0] [1]

2.2.8. Executing PROC_DLATCH pass (convert process syncs to latches).
Segmentation fault (core dumped)
@gadfort gadfort added the pending-verification This issue is pending verification and/or reproduction label Oct 30, 2024
@whitequark whitequark added bug and removed pending-verification This issue is pending verification and/or reproduction labels Oct 30, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

No branches or pull requests

2 participants