-
Notifications
You must be signed in to change notification settings - Fork 531
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
double free or corruption error during yosys abc9 techmap pass #84
Comments
Valgrind indicates that a pointer into the middle of a malloc()ed block is being passed to free. But even before that, things have gone wrong. Here is the first valgrind complaint:
That suggests that either The fatal call to
Sadly, by that point valgrind has become so confused that it doesn't tell me where that call to
|
Have any abc developers had a chance to look at this? I'm pretty sure my pull request is not the right fix, so it would be great if somebody who understands the code could fix it. |
@alanminko could you look at this please? |
Still hitting this as of most recent yosys. |
See
yosys-abc-test.tgz
. Reproduce with:Program fails with:
Any idea as to what might be going wrong much appreciated!
The text was updated successfully, but these errors were encountered: