mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-10-31 11:42:30 +00:00
Code Activity

One more workaround for gcc-4.8

Browse source
This commit is contained in:
Eddie Hung 2019-06-21 14:35:58 -07:00
parent b75863ca3f
commit 65c1199acd
1 changed files with 4 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

7
backends/aiger/xaiger.cc
View file

@ -429,12 +429,13 @@ struct XAigerWriter
module->connect(new_bit, bit); module->connect(new_bit, bit);
if (not_map.count(bit)) if (not_map.count(bit))
not_map[new_bit] = not_map.at(bit); not_map[new_bit] = not_map.at(bit);
else if (and_map.count(bit)) else if (and_map.count(bit)) {
and_map[new_bit] = and_map.at(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)) else if (alias_map.count(bit))
alias_map[new_bit] = alias_map.at(bit); alias_map[new_bit] = alias_map.at(bit);
else else
//log_abort();
alias_map[new_bit] = bit; alias_map[new_bit] = bit;
output_bits.erase(bit); output_bits.erase(bit);
output_bits.insert(new_bit); output_bits.insert(new_bit);