Set the bytecode index for the instrumentation in goto_check.cpp

Author: cristina-david

src/analyses/goto_check.cpp

@@ -1820,6 +1820,11 @@ void goto_checkt::goto_check(
 
         if(it->source_location.get_column()!=irep_idt())
           i_it->source_location.set_column(it->source_location.get_column());
+
+        if(mode==ID_java &&
+           it->source_location.get_java_bytecode_index()!=irep_idt())
+          i_it->source_location.set_java_bytecode_index(
+            it->source_location.get_java_bytecode_index());
       }
 
       if(i_it->function==irep_idt())