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

abc segfaults in certain usecase #4622

Open
MrHighVoltage opened this issue Oct 1, 2024 · 2 comments
Open

abc segfaults in certain usecase #4622

MrHighVoltage opened this issue Oct 1, 2024 · 2 comments

Comments

@MrHighVoltage
Copy link

Version

Yosys 0.45 (git sha1 9ed031d, g++ 11.4.0-1ubuntu1~22.04 -Og -fPIC)

On which OS did this happen?

Linux

Reproduction Steps

Compile yosys from source, using the 0.45 tag, which builds ABC from the commit 2188bc7
Run example provided in this issue : iic-jku/IIC-OSIC-TOOLS#75

Expected Behavior

According to the reported issue for our container, the script works on a different versions.

Actual Behavior

ABC segfaults, a backtrace is provided as a comment at the issue there iic-jku/IIC-OSIC-TOOLS#75

@MrHighVoltage MrHighVoltage added the pending-verification This issue is pending verification and/or reproduction label Oct 1, 2024
@widlarizer
Copy link
Collaborator

Reproduced in ubuntu 22.04 docker as well as up to date nixos unstable with the 0.45 release

@widlarizer widlarizer added bug ABC and removed pending-verification This issue is pending verification and/or reproduction labels Oct 1, 2024
@wjrforcyber
Copy link

wjrforcyber commented Oct 9, 2024

There's an update on boxes support in &nf mapper recently might cause this issue, there are several places need to be fixed, if you don't need boxes in this mapper, revert in ABC:

git revert 111867432cbfc9d24849bf044b044b8bab6c3b1e 0cb945ebcd8051fc2673d8ebe322a5030b9f948e

Then the case you provided will pass with no problem.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

3 participants