diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2019-05-21 16:26:20 -0700 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2019-05-21 16:26:20 -0700 |
| commit | 1bff09f2ff137c5fe35199bd0f77ce7506c3bfb5 (patch) | |
| tree | f50251e640ee5fa5d0e070c47717cf116c844436 /frontends/aiger | |
| parent | c907899422884d959632ed42c6589a0720b681e4 (diff) | |
| download | yosys-1bff09f2ff137c5fe35199bd0f77ce7506c3bfb5.tar.gz yosys-1bff09f2ff137c5fe35199bd0f77ce7506c3bfb5.tar.bz2 yosys-1bff09f2ff137c5fe35199bd0f77ce7506c3bfb5.zip | |
Fix warning
Diffstat (limited to 'frontends/aiger')
| -rw-r--r-- | frontends/aiger/aigerparse.cc | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/frontends/aiger/aigerparse.cc b/frontends/aiger/aigerparse.cc index 2e4774dfd..566825ece 100644 --- a/frontends/aiger/aigerparse.cc +++ b/frontends/aiger/aigerparse.cc @@ -55,9 +55,8 @@ void AigerReader::parse_aiger() // Optional values B = C = J = F = 0; - for (auto &i : std::array<std::reference_wrapper<unsigned>,4>{B, C, J, F}) { - if (f.peek() != ' ') break; - if (!(f >> i)) + if (f.peek() == ' ') { + if (!(f >> B >> C >> J >> F)) log_error("Invalid AIGER header\n"); } |