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

Merge pull request #5121 from owen-mc-diffblue/owen-mc-diffblue/extremely-minor-code-improvement 

Extremely minor code improvement
This commit is contained in:
Owen Mansel-Chan 2019-09-21 06:14:17 +01:00 committed by GitHub
parent 9c0e0d36b9 c156475a17
commit f097054d17
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
jbmc/src/java_bytecode/java_bytecode_convert_method.cpp
View File

@ -605,10 +605,10 @@ void java_bytecode_convert_methodt::convert(
method_has_this = method_type.has_this();
if((!m.is_abstract) && (!m.is_native))
{
code_blockt code(convert_parameter_annotations(m, method_type));
// Do not convert if method is not in context
if(!method_context || (*method_context)(id2string(method_identifier)))
{
code_blockt code{convert_parameter_annotations(m, method_type)};
code.append(convert_instructions(m));
method_symbol.value = std::move(code);
}