Bug 496 - yosys-abc segfaults
Summary: yosys-abc segfaults
Status: CONFIRMED
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
URL:
Depends on:
Blocks:
 
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:

Attachments
Add an attachment (proposed patch, testcase, etc.)

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