diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2019-06-20 21:55:08 -0700 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2019-06-20 22:10:43 -0700 |
| commit | 32f8014e121cd3338d6786269455c8b3fe9f1631 (patch) | |
| tree | 1be8e26af250b6923c36b0274ce04e5e140a3264 | |
| parent | 54f3237720709f7c59f4e440ebfdbc61a63c926a (diff) | |
| download | yosys-32f8014e121cd3338d6786269455c8b3fe9f1631.tar.gz yosys-32f8014e121cd3338d6786269455c8b3fe9f1631.tar.bz2 yosys-32f8014e121cd3338d6786269455c8b3fe9f1631.zip | |
Fix gcc error, due to dict invalidation during recursion
| -rw-r--r-- | Makefile | 4 | ||||
| -rw-r--r-- | backends/aiger/xaiger.cc | 5 |
2 files changed, 5 insertions, 4 deletions
@@ -1,6 +1,6 @@ -CONFIG := clang -# CONFIG := gcc +# CONFIG := clang +CONFIG := gcc # CONFIG := gcc-4.8 # CONFIG := afl-gcc # CONFIG := emcc diff --git a/backends/aiger/xaiger.cc b/backends/aiger/xaiger.cc index 82f0f24b2..32c3f9045 100644 --- a/backends/aiger/xaiger.cc +++ b/backends/aiger/xaiger.cc @@ -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); } } |