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

Fix gcc error, due to dict invalidation during recursion

Browse source
This commit is contained in:
Eddie Hung 2019-06-20 21:55:08 -07:00
parent 06bf2ea562
commit d2076aa659
2 changed files with 5 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

4
Makefile
View file

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

5
backends/aiger/xaiger.cc
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);
}
}