We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 7bebe3a commit 435f46cCopy full SHA for 435f46c
jbmc/src/java_bytecode/java_bytecode_parser.cpp
@@ -680,8 +680,7 @@ void java_bytecode_parsert::rconstant_pool()
680
case CONSTANT_Long:
681
case CONSTANT_Double:
682
it->number = read<u8>();
683
- // Eight-byte constants take up two entries
684
- // in the constant_pool table, for annoying this programmer.
+ // Eight-byte constants take up two entries in the constant_pool table.
685
if(it==constant_pool.end())
686
{
687
error() << "invalid double entry" << eom;
@@ -698,7 +697,7 @@ void java_bytecode_parsert::rconstant_pool()
698
697
s.resize(bytes);
699
for(auto &ch : s)
700
ch = read<u1>();
701
- it->s=s; // hashes
+ it->s = s; // Add to string table
702
}
703
break;
704
0 commit comments