diff options
| author | Clifford Wolf <clifford@clifford.at> | 2014-08-12 17:35:22 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2014-08-12 17:35:22 +0200 |
| commit | 9d353fc543295db7d6f4b4ba60c2b66a509b3ee2 (patch) | |
| tree | 0777ef4983eff07323064ff5e55d853ef18ad815 /passes/proc/proc_rmdead.cc | |
| parent | 1dd8252169654c2bc8cb96a90141a333d3ccd4f6 (diff) | |
Fixed handling of constant-true branches in proc_clean
Diffstat (limited to 'passes/proc/proc_rmdead.cc')
| -rw-r--r-- | passes/proc/proc_rmdead.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/passes/proc/proc_rmdead.cc b/passes/proc/proc_rmdead.cc index 61844d5e..fe3532da 100644 --- a/passes/proc/proc_rmdead.cc +++ b/passes/proc/proc_rmdead.cc @@ -31,7 +31,7 @@ static void proc_rmdead(RTLIL::SwitchRule *sw, int &counter) for (size_t i = 0; i < sw->cases.size(); i++) { - bool is_default = sw->cases[i]->compare.size() == 0 && !pool.empty(); + bool is_default = SIZE(sw->cases[i]->compare) == 0 && (!pool.empty() || SIZE(sw->signal) == 0); for (size_t j = 0; j < sw->cases[i]->compare.size(); j++) { RTLIL::SigSpec sig = sw->cases[i]->compare[j]; |