diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2019-06-21 14:35:58 -0700 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2019-06-21 14:35:58 -0700 |
| commit | e581a3e6f4c8763c6a308d1330dbf1ee4bb19499 (patch) | |
| tree | a1a286dc0267a41d1ee107584e4bd411bbfb1677 /backends | |
| parent | 1845b762b6e1f91c2a4eeb807089945e7b307fc6 (diff) | |
| download | yosys-e581a3e6f4c8763c6a308d1330dbf1ee4bb19499.tar.gz yosys-e581a3e6f4c8763c6a308d1330dbf1ee4bb19499.tar.bz2 yosys-e581a3e6f4c8763c6a308d1330dbf1ee4bb19499.zip | |
One more workaround for gcc-4.8
Diffstat (limited to 'backends')
| -rw-r--r-- | backends/aiger/xaiger.cc | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/backends/aiger/xaiger.cc b/backends/aiger/xaiger.cc index 6718e4f2c..637c54ff9 100644 --- a/backends/aiger/xaiger.cc +++ b/backends/aiger/xaiger.cc @@ -429,12 +429,13 @@ struct XAigerWriter module->connect(new_bit, bit); if (not_map.count(bit)) not_map[new_bit] = not_map.at(bit); - else if (and_map.count(bit)) - and_map[new_bit] = and_map.at(bit); + else if (and_map.count(bit)) { + //and_map[new_bit] = and_map.at(bit); // Breaks gcc-4.8 + and_map.insert(std::make_pair(new_bit, and_map.at(bit))); + } else if (alias_map.count(bit)) alias_map[new_bit] = alias_map.at(bit); else - //log_abort(); alias_map[new_bit] = bit; output_bits.erase(bit); output_bits.insert(new_bit); |