From c156475a17410a5fd860fe029f483d72283fd224 Mon Sep 17 00:00:00 2001
From: Owen <owen.mansel-chan@diffblue.com>
Date: Fri, 20 Sep 2019 11:15:03 +0100
Subject: [PATCH] Move variable declaration inside conditional

Also switch to brace initialisation
---
 jbmc/src/java_bytecode/java_bytecode_convert_method.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/jbmc/src/java_bytecode/java_bytecode_convert_method.cpp b/jbmc/src/java_bytecode/java_bytecode_convert_method.cpp
index 02c5f52d52..0e4327b048 100644
--- a/jbmc/src/java_bytecode/java_bytecode_convert_method.cpp
+++ b/jbmc/src/java_bytecode/java_bytecode_convert_method.cpp
@@ -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);
     }