We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 42065ec commit 1974010Copy full SHA for 1974010
src/java_bytecode/java_bytecode_parser.cpp
@@ -1895,9 +1895,9 @@ void java_bytecode_parsert::read_bootstrapmethods_entry(classt &parsed_class)
1895
const pool_entryt &method_type_argument = pool_entry(method_type_index);
1896
1897
if(
1898
- !(interface_type_argument.tag == CONSTANT_MethodType &&
1899
- method_handle_argument.tag == CONSTANT_MethodHandle &&
1900
- method_type_argument.tag == CONSTANT_MethodType))
+ interface_type_argument.tag != CONSTANT_MethodType ||
+ method_handle_argument.tag != CONSTANT_MethodHandle ||
+ method_type_argument.tag != CONSTANT_MethodType)
1901
{
1902
debug() << "format of BootstrapMethods entry not recognized: arguments "
1903
"wrong type"
0 commit comments