From: Catherine <whitequark@whitequark.org>
Date: Wed, 15 Dec 2021 08:15:54 +0000 (+0000)
Subject: bugpoint: avoid infinite loop between -connections and -wires.
X-Git-Tag: yosys-0.13~24^2
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=4f1d62d9b25208f23a08b21247d016c44df01c26;p=yosys.git

bugpoint: avoid infinite loop between -connections and -wires.

Fixes #3113.
---

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)