diff options
| author | Catherine <whitequark@whitequark.org> | 2021-12-15 08:15:54 +0000 |
|---|---|---|
| committer | Catherine <whitequark@whitequark.org> | 2021-12-15 08:17:02 +0000 |
| commit | 4f1d62d9b25208f23a08b21247d016c44df01c26 (patch) | |
| tree | 7b3f1f59da020fb83dd7a49bfdb0f779912583e9 /passes/cmds | |
| parent | 48ed6d998bb2943891acd730c4aaef5d1deecb7e (diff) | |
| download | yosys-4f1d62d9b25208f23a08b21247d016c44df01c26.tar.gz yosys-4f1d62d9b25208f23a08b21247d016c44df01c26.tar.bz2 yosys-4f1d62d9b25208f23a08b21247d016c44df01c26.zip | |
bugpoint: avoid infinite loop between -connections and -wires.
Fixes #3113.
Diffstat (limited to 'passes/cmds')
| -rw-r--r-- | passes/cmds/bugpoint.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/passes/cmds/bugpoint.cc b/passes/cmds/bugpoint.cc index 16ac5b6a7..7b621504d 100644 --- a/passes/cmds/bugpoint.cc +++ b/passes/cmds/bugpoint.cc @@ -377,7 +377,7 @@ struct BugpointPass : public Pass { if (wire->get_bool_attribute(ID::bugpoint_keep)) continue; - if (wire->name.begins_with("$delete_wire")) + if (wire->name.begins_with("$delete_wire") || wire->name.begins_with("$auto$bugpoint")) continue; if (index++ == seed) |