From: Eddie Hung Date: Fri, 21 Jun 2019 19:43:20 +0000 (-0700) Subject: Move comment X-Git-Tag: working-ls180~1208^2~114^2~7 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=950bb4c2428aa546ee6abc861e7e87fea31a4b20;p=yosys.git Move comment --- diff --git a/backends/aiger/xaiger.cc b/backends/aiger/xaiger.cc index caf292d59..0e8ea65bf 100644 --- a/backends/aiger/xaiger.cc +++ b/backends/aiger/xaiger.cc @@ -86,14 +86,15 @@ struct XAigerWriter int bit2aig(SigBit bit) { - // NB: Cannot use iterator returned from aig_map.insert() - // since this function is called recursively auto it = aig_map.find(bit); if (it != aig_map.end()) { log_assert(it->second >= 0); return it->second; } + // NB: Cannot use iterator returned from aig_map.insert() + // since this function is called recursively + int a = -1; if (not_map.count(bit)) { a = bit2aig(not_map.at(bit)) ^ 1;