diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2019-06-20 21:56:02 -0700 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2019-06-20 21:56:02 -0700 |
| commit | eb13663698aa52593e53fae58bd1dfa01136fe08 (patch) | |
| tree | f7f65156048ce2f608b4fb48a7ef4e0a2eb1c45f /backends | |
| parent | d2076aa6595b5448bc151a22710822a6fb314c55 (diff) | |
| download | yosys-eb13663698aa52593e53fae58bd1dfa01136fe08.tar.gz yosys-eb13663698aa52593e53fae58bd1dfa01136fe08.tar.bz2 yosys-eb13663698aa52593e53fae58bd1dfa01136fe08.zip | |
Fix gcc invalidation behaviour for write_aiger
Diffstat (limited to 'backends')
| -rw-r--r-- | backends/aiger/aiger.cc | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/backends/aiger/aiger.cc b/backends/aiger/aiger.cc index 4c2ea511a..4fb47f0d6 100644 --- a/backends/aiger/aiger.cc +++ b/backends/aiger/aiger.cc @@ -89,7 +89,8 @@ struct AigerWriter 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) |