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:36:24 -0700 |
| commit | 65c1199acd52f90de86106652dbbca86d4ac5ebc (patch) | |
| tree | 6e803d29e388e7dd78328d5dfa6ef9a5f09ab59a /backends/aiger/xaiger.cc | |
| parent | b75863ca3f835595d75a6943de3cdd01fc91e4ca (diff) | |
| download | yosys-65c1199acd52f90de86106652dbbca86d4ac5ebc.tar.gz yosys-65c1199acd52f90de86106652dbbca86d4ac5ebc.tar.bz2 yosys-65c1199acd52f90de86106652dbbca86d4ac5ebc.zip | |
One more workaround for gcc-4.8
Diffstat (limited to 'backends/aiger/xaiger.cc')
| -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); |