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

Fixes #3113.

diff --git a/passes/cmds/bugpoint.cc b/passes/cmds/bugpoint.cc
index 16ac5b6a7efd2bffd26d58fdcdd44982e5e179ff..7b621504df8d5b9f87ad53c9def36678a1dc5241 100644 (file)
--- 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)