One more workaround for gcc-4.8

This commit is contained in:
Eddie Hung 2019-06-21 14:35:58 -07:00
parent 1845b762b6
commit e581a3e6f4
1 changed files with 4 additions and 3 deletions

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);