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.
2 parents 9c0e0d3 + c156475 commit f097054Copy full SHA for f097054
jbmc/src/java_bytecode/java_bytecode_convert_method.cpp
@@ -605,10 +605,10 @@ void java_bytecode_convert_methodt::convert(
605
method_has_this = method_type.has_this();
606
if((!m.is_abstract) && (!m.is_native))
607
{
608
- code_blockt code(convert_parameter_annotations(m, method_type));
609
// Do not convert if method is not in context
610
if(!method_context || (*method_context)(id2string(method_identifier)))
611
+ code_blockt code{convert_parameter_annotations(m, method_type)};
612
code.append(convert_instructions(m));
613
method_symbol.value = std::move(code);
614
}
0 commit comments