Bug 496

Summary: yosys-abc segfaults
Product: Libre-SOC's first SoC Reporter: Luke Kenneth Casson Leighton <lkcl>
Component: Source CodeAssignee: Luke Kenneth Casson Leighton <lkcl>
Status: CONFIRMED ---    
Severity: enhancement CC: libre-soc-bugs
Priority: ---    
Version: unspecified   
Hardware: PC   
OS: Linux   
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:

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