From 7afc0696e2ffefde3ea3c92a5b22c6de1309b68e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Martin=20Povi=C5=A1er?= Date: Tue, 9 Jan 2024 11:54:38 +0100 Subject: [PATCH] opt_clean: Assert an impossible path isn't taken --- passes/opt/opt_clean.cc | 3 +++ 1 file changed, 3 insertions(+) diff --git a/passes/opt/opt_clean.cc b/passes/opt/opt_clean.cc index c9d85028e..8b56895fe 100644 --- a/passes/opt/opt_clean.cc +++ b/passes/opt/opt_clean.cc @@ -438,6 +438,9 @@ bool rmunused_module_signals(RTLIL::Module *module, bool purge_mode, bool verbos goto delete_this_wire; } else if (!used_signals.check_any(s2)) { + // this path shouldn't be possible: this wire is used directly (otherwise it would get cleaned up above), and indirectly + // used wires are a superset of those used directly + log_assert(false); // delete wires that aren't used by anything indirectly, even though other wires may alias it goto delete_this_wire; }