From: Eddie Hung <eddieh@ece.ubc.ca>
Date: Sat, 16 Feb 2019 16:58:25 +0000 (-0800)
Subject: read_xaiger() to use f.read() not readsome()
X-Git-Tag: working-ls180~1237^2~320
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=8f36013fac34e7cf7b79456f7f8bec8ad6292c99;p=yosys.git

read_xaiger() to use f.read() not readsome()
---

diff --git a/frontends/aiger/aigerparse.cc b/frontends/aiger/aigerparse.cc
index ce421a9be..8493264f5 100644
--- a/frontends/aiger/aigerparse.cc
+++ b/frontends/aiger/aigerparse.cc
@@ -202,7 +202,8 @@ void AigerReader::parse_aiger()
 static uint32_t parse_xaiger_literal(std::istream &f)
 {
     boost::endian::big_uint32_buf_t l;
-    if (f.readsome(reinterpret_cast<char*>(&l), sizeof(l)) != sizeof(l))
+    f.read(reinterpret_cast<char*>(&l), sizeof(l));
+    if (f.gcount() != sizeof(l))
         log_error("Offset %ld: unable to read literal!\n", boost::lexical_cast<int64_t>(f.tellg()));
     return l.value();
 }