Fix gcc error, due to dict invalidation during recursion

This commit is contained in:
Eddie Hung 2019-06-20 21:55:08 -07:00
parent 54f3237720
commit 32f8014e12
2 changed files with 5 additions and 4 deletions

View File

@ -1,6 +1,6 @@
CONFIG := clang
# CONFIG := gcc
# CONFIG := clang
CONFIG := gcc
# CONFIG := gcc-4.8
# CONFIG := afl-gcc
# CONFIG := emcc

View File

@ -101,12 +101,13 @@ struct XAigerWriter
aig_map[bit] = mkgate(a0, a1);
} else
if (alias_map.count(bit)) {
aig_map[bit] = bit2aig(alias_map.at(bit));
int a = bit2aig(alias_map.at(bit));
aig_map[bit] = a;
}
if (bit == State::Sx || bit == State::Sz) {
log_debug("Bit '%s' contains 'x' or 'z' bits. Treating as 1'b0.\n", log_signal(bit));
aig_map[bit] = 0;
aig_map[bit] = aig_map.at(State::S0);
}
}