diff options
author | Clifford Wolf <clifford@clifford.at> | 2019-07-15 20:05:56 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-07-15 20:05:56 +0200 |
commit | 2c5c53e4c1b4d40a3cf19136e3e87bb4f608d7a1 (patch) | |
tree | c59f33250f95e143f053edcbc39d990c45606d24 | |
parent | 196c9c22b2e1811250e8ddc949b740c0c4c0f2cb (diff) | |
parent | 9b91d815b55343630c3c2d4a5a7d2a593c344f07 (diff) | |
download | yosys-2c5c53e4c1b4d40a3cf19136e3e87bb4f608d7a1.tar.gz yosys-2c5c53e4c1b4d40a3cf19136e3e87bb4f608d7a1.tar.bz2 yosys-2c5c53e4c1b4d40a3cf19136e3e87bb4f608d7a1.zip |
Merge pull request #1190 from YosysHQ/eddie/fix_1099
extract_fa to return nothing more gracefully
-rw-r--r-- | passes/techmap/extract_fa.cc | 12 |
1 files changed, 8 insertions, 4 deletions
diff --git a/passes/techmap/extract_fa.cc b/passes/techmap/extract_fa.cc index 9e6dc0d24..8de57e769 100644 --- a/passes/techmap/extract_fa.cc +++ b/passes/techmap/extract_fa.cc @@ -174,8 +174,10 @@ struct ExtractFaWorker SigSpec sig = root; - if (!ce.eval(sig)) - log_abort(); + if (ce.eval(sig)) { + ce.pop(); + return; + } if (sig == State::S1) func |= 1 << i; @@ -214,8 +216,10 @@ struct ExtractFaWorker SigSpec sig = root; - if (!ce.eval(sig)) - log_abort(); + if (ce.eval(sig)) { + ce.pop(); + return; + } if (sig == State::S1) func |= 1 << i; |