From 4f1d62d9b25208f23a08b21247d016c44df01c26 Mon Sep 17 00:00:00 2001 From: Catherine Date: Wed, 15 Dec 2021 08:15:54 +0000 Subject: [PATCH] bugpoint: avoid infinite loop between -connections and -wires. Fixes #3113. --- passes/cmds/bugpoint.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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) -- 2.30.2