mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-10-31 11:42:30 +00:00
Code Activity

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

Browse source
This commit is contained in:
Eddie Hung 2019-02-16 08:58:25 -08:00
parent d4545d415b
commit 8f36013fac
1 changed files with 2 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

3
frontends/aiger/aigerparse.cc
View file

@ -202,7 +202,8 @@ void AigerReader::parse_aiger()
static uint32_t parse_xaiger_literal(std::istream &f) static uint32_t parse_xaiger_literal(std::istream &f)
{ {
boost::endian::big_uint32_buf_t l; 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())); log_error("Offset %ld: unable to read literal!\n", boost::lexical_cast<int64_t>(f.tellg()));
return l.value(); return l.value();
} }