diff options
| author | Robert Ou <rqou@robertou.com> | 2017-09-12 14:21:04 -0700 |
|---|---|---|
| committer | Andrew Zonenberg <azonenberg@drawersteak.com> | 2017-09-14 12:54:44 -0700 |
| commit | ab1bf8d661d3edd865c1b425535b81e8fba9d58d (patch) | |
| tree | 0fbc866fecd9c8563265a5730ec79b9143b2de66 /tests/sat | |
| parent | f9d023c53fedd96ec1b9d3a93d0448291a1f2527 (diff) | |
| download | yosys-ab1bf8d661d3edd865c1b425535b81e8fba9d58d.tar.gz yosys-ab1bf8d661d3edd865c1b425535b81e8fba9d58d.tar.bz2 yosys-ab1bf8d661d3edd865c1b425535b81e8fba9d58d.zip | |
extract_reduce: Fix segfault on "undriven" inputs
This is easily triggered when un-techmapping if the technology-specific
cell library isn't loaded. Outputs of technology-specific cells will be
seen as inputs, and nets using those outputs will be seen as undriven.
Just ignore these cells because they can't be part of a reduce chain
anyways.
Diffstat (limited to 'tests/sat')
0 files changed, 0 insertions, 0 deletions