From: Eddie Hung Date: Wed, 12 Jun 2019 22:55:02 +0000 (-0700) Subject: Remove unnecessary undriven_bits.insert X-Git-Tag: working-ls180~1237^2~140 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=8374eb1cb4dcb99b2125543a3d5f9f6adbdd6b7d;p=yosys.git Remove unnecessary undriven_bits.insert --- diff --git a/backends/aiger/xaiger.cc b/backends/aiger/xaiger.cc index 3a4b353e2..fcf9a7bf1 100644 --- a/backends/aiger/xaiger.cc +++ b/backends/aiger/xaiger.cc @@ -154,11 +154,8 @@ struct XAigerWriter } if (wire->port_output || keep) { - if (bit != wirebit) { + if (bit != wirebit) alias_map[wirebit] = bit; - if (!bit.wire) - undriven_bits.insert(wirebit); - } output_bits.insert(wirebit); } }