Bug 496 - yosys-abc segfaults
Summary: yosys-abc segfaults
Alias: None
Product: Libre-SOC's first SoC
Classification: Unclassified
Component: Source Code (show other bugs)
Version: unspecified
Hardware: PC Linux
: --- enhancement
Assignee: Luke Kenneth Casson Leighton
Depends on:
Reported: 2020-09-19 15:03 BST by Luke Kenneth Casson Leighton
Modified: 2020-09-19 15:03 BST (History)
1 user (show)

See Also:
NLnet milestone: ---
total budget (EUR) for completion of task and all subtasks: 0
budget (EUR) for this task, excluding subtasks' budget: 0
parent task for budget allocation:
child tasks for budget allocation:
The table of payments (in EUR) for this task; TOML format:


Note You need to log in before you can comment on or make changes to this bug.
Description Luke Kenneth Casson Leighton 2020-09-19 15:03:17 BST
current git location:

commit 71f2b40320127561175ad60f6f2428f3438e5243 (HEAD)
Author: Alan Mishchenko <alanmi@berkeley.edu>
Date:   Sat Jan 11 12:48:26 2020 +0200

    Preventing 'mfs' from using fanins of fixed objects as divisors.

archive containing repro case is at https://ftp.libre-soc.org/yosys-abc-segfault.tgz