diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2020-03-19 14:58:06 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-03-19 14:58:06 -0700 |
| commit | f828cb5132b5d1a2c2d4d26ffaac6d492c7cc69e (patch) | |
| tree | bf4a9458b679811563000d38f70b0c348a7c042c /frontends/aiger/aigerparse.cc | |
| parent | e91368a5f423b0e4188c13512816e0ecaf09a0d9 (diff) | |
| parent | 43092f063f231482797fa9c240a4a5fe1223d55b (diff) | |
| download | yosys-f828cb5132b5d1a2c2d4d26ffaac6d492c7cc69e.tar.gz yosys-f828cb5132b5d1a2c2d4d26ffaac6d492c7cc69e.tar.bz2 yosys-f828cb5132b5d1a2c2d4d26ffaac6d492c7cc69e.zip | |
Merge pull request #1788 from YosysHQ/eddie/fix_ndebug
Fix NDEBUG warnings
Diffstat (limited to 'frontends/aiger/aigerparse.cc')
| -rw-r--r-- | frontends/aiger/aigerparse.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/frontends/aiger/aigerparse.cc b/frontends/aiger/aigerparse.cc index a42569301..50c2a3ce6 100644 --- a/frontends/aiger/aigerparse.cc +++ b/frontends/aiger/aigerparse.cc @@ -444,7 +444,7 @@ void AigerReader::parse_xaiger() } } else if (c == 'r') { - uint32_t dataSize = parse_xaiger_literal(f); + uint32_t dataSize YS_ATTRIBUTE(unused) = parse_xaiger_literal(f); flopNum = parse_xaiger_literal(f); log_debug("flopNum = %u\n", flopNum); log_assert(dataSize == (flopNum+1) * sizeof(uint32_t)); |