jsr and ret

Author: kroening

src/java_bytecode/java_bytecode_convert_method.cpp

@@ -538,7 +538,10 @@ codet java_bytecode_convert_methodt::convert_instructions(
     if(i_it->statement!="goto" &&
        i_it->statement!="return" &&
        !(i_it->statement==patternt("?return")) &&
-       i_it->statement!="athrow")
+       i_it->statement!="athrow" &&
+       i_it->statement!="jsr" &&
+       i_it->statement!="jsr_w" &&
+       i_it->statement!="ret")
     {
       instructionst::const_iterator next=i_it;
       if(++next!=instructions.end())
@@ -549,7 +552,9 @@ codet java_bytecode_convert_methodt::convert_instructions(
        i_it->statement==patternt("if_?cmp??") ||
        i_it->statement==patternt("if??") ||
        i_it->statement=="ifnonnull" ||
-       i_it->statement=="ifnull")
+       i_it->statement=="ifnull" ||
+       i_it->statement=="jsr" ||
+       i_it->statement=="jsr_w")
     {
       assert(!i_it->args.empty());