replica
/
diffblue-cbmc
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Reformat read_bytes

This commit is contained in:
Lukasz A.J. Wrona 2019-07-26 09:59:27 +01:00
parent 69a95288e8
commit 7dcd04d95d
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
jbmc/src/java_bytecode/java_bytecode_parser.cpp
View File

@ -139,16 +139,16 @@ protected:
u8 read_bytes(size_t bytes)
{
u8 result=0;
for(size_t i=0; i<bytes; i++)
u8 result = 0;
for(size_t i = 0; i < bytes; i++)
{
if(!*in)
{
error() << "unexpected end of bytecode file" << eom;
throw 0;
}
result<<=8;
result|=in->get();
result <<= 8;
result |= in->get();
}
return result;
}