Program: 83271
Project: 83271
Buggy source:
@Override public void writeJumpInsn(int opcode,Label target) throws BytecodeException {
  if (opcode > 255) {
switch (opcode) {
case Opcodes.IF_LCMPEQ:
      this.writeInsn(Opcodes.LCMP);
    this.writeJumpInsn(Opcodes.IFEQ,target);
  return;
case Opcodes.IF_LCMPNE:
this.writeInsn(Opcodes.LCMP);
this.writeJumpInsn(Opcodes.IFNE,target);
return;
case Opcodes.IF_LCMPLT:
this.writeInsn(Opcodes.LCMP);
this.writeJumpInsn(Opcodes.IFLT,target);
return;
case Opcodes.IF_LCMPGE:
this.writeInsn(Opcodes.LCMP);
this.writeJumpInsn(Opcodes.IFGE,target);
return;
case Opcodes.IF_LCMPGT:
this.writeInsn(Opcodes.LCMP);
this.writeJumpInsn(Opcodes.IFGT,target);
return;
case Opcodes.IF_LCMPLE:
this.writeInsn(Opcodes.LCMP);
this.writeJumpInsn(Opcodes.IFLE,target);
return;
case Opcodes.IF_FCMPEQ:
this.writeInsn(Opcodes.FCMPL);
this.writeJumpInsn(Opcodes.IFEQ,target);
return;
case Opcodes.IF_FCMPNE:
this.writeInsn(Opcodes.FCMPL);
this.writeJumpInsn(Opcodes.IFNE,target);
return;
case Opcodes.IF_FCMPLT:
this.writeInsn(Opcodes.FCMPL);
this.writeJumpInsn(Opcodes.IFLT,target);
return;
case Opcodes.IF_FCMPGE:
this.writeInsn(Opcodes.FCMPG);
this.writeJumpInsn(Opcodes.IFGE,target);
return;
case Opcodes.IF_FCMPGT:
this.writeInsn(Opcodes.FCMPG);
this.writeJumpInsn(Opcodes.IFGT,target);
return;
case Opcodes.IF_FCMPLE:
this.writeInsn(Opcodes.FCMPL);
this.writeJumpInsn(Opcodes.IFLE,target);
return;
case Opcodes.IF_DCMPEQ:
this.writeInsn(Opcodes.DCMPL);
this.writeJumpInsn(Opcodes.IFEQ,target);
return;
case Opcodes.IF_DCMPNE:
this.writeInsn(Opcodes.DCMPL);
this.writeJumpInsn(Opcodes.IFNE,target);
return;
case Opcodes.IF_DCMPLT:
this.writeInsn(Opcodes.DCMPL);
this.writeJumpInsn(Opcodes.IFLT,target);
return;
case Opcodes.IF_DCMPGE:
this.writeInsn(Opcodes.DCMPG);
this.writeJumpInsn(Opcodes.IFGE,target);
return;
case Opcodes.IF_DCMPGT:
this.writeInsn(Opcodes.DCMPG);
this.writeJumpInsn(Opcodes.IFGT,target);
return;
case Opcodes.IF_DCMPLE:
this.writeInsn(Opcodes.DCMPL);
this.writeJumpInsn(Opcodes.IFLE,target);
return;
}
}
this.insnCallback();
this.visitFrame=true;
this.frame.visitJumpInsn(opcode);
target.info=this.frame;
this.frame=this.frame.copy();
this.mv.visitJumpInsn(opcode,target);
}

Fixed version (ground truth):
@Override public void writeJumpInsn(int opcode,Label target) throws BytecodeException {
  if (opcode > 255) {
switch (opcode) {
case Opcodes.IF_LCMPEQ:
      this.writeInsn(Opcodes.LCMP);
    this.writeJumpInsn(Opcodes.IFEQ,target);
  return;
case Opcodes.IF_LCMPNE:
this.writeInsn(Opcodes.LCMP);
this.writeJumpInsn(Opcodes.IFNE,target);
return;
case Opcodes.IF_LCMPLT:
this.writeInsn(Opcodes.LCMP);
this.writeJumpInsn(Opcodes.IFLT,target);
return;
case Opcodes.IF_LCMPGE:
this.writeInsn(Opcodes.LCMP);
this.writeJumpInsn(Opcodes.IFGE,target);
return;
case Opcodes.IF_LCMPGT:
this.writeInsn(Opcodes.LCMP);
this.writeJumpInsn(Opcodes.IFGT,target);
return;
case Opcodes.IF_LCMPLE:
this.writeInsn(Opcodes.LCMP);
this.writeJumpInsn(Opcodes.IFLE,target);
return;
case Opcodes.IF_FCMPEQ:
this.writeInsn(Opcodes.FCMPL);
this.writeJumpInsn(Opcodes.IFEQ,target);
return;
case Opcodes.IF_FCMPNE:
this.writeInsn(Opcodes.FCMPL);
this.writeJumpInsn(Opcodes.IFNE,target);
return;
case Opcodes.IF_FCMPLT:
this.writeInsn(Opcodes.FCMPL);
this.writeJumpInsn(Opcodes.IFLT,target);
return;
case Opcodes.IF_FCMPGE:
this.writeInsn(Opcodes.FCMPG);
this.writeJumpInsn(Opcodes.IFGE,target);
return;
case Opcodes.IF_FCMPGT:
this.writeInsn(Opcodes.FCMPG);
this.writeJumpInsn(Opcodes.IFGT,target);
return;
case Opcodes.IF_FCMPLE:
this.writeInsn(Opcodes.FCMPL);
this.writeJumpInsn(Opcodes.IFLE,target);
return;
case Opcodes.IF_DCMPEQ:
this.writeInsn(Opcodes.DCMPL);
this.writeJumpInsn(Opcodes.IFEQ,target);
return;
case Opcodes.IF_DCMPNE:
this.writeInsn(Opcodes.DCMPL);
this.writeJumpInsn(Opcodes.IFNE,target);
return;
case Opcodes.IF_DCMPLT:
this.writeInsn(Opcodes.DCMPL);
this.writeJumpInsn(Opcodes.IFLT,target);
return;
case Opcodes.IF_DCMPGE:
this.writeInsn(Opcodes.DCMPG);
this.writeJumpInsn(Opcodes.IFGE,target);
return;
case Opcodes.IF_DCMPGT:
this.writeInsn(Opcodes.DCMPG);
this.writeJumpInsn(Opcodes.IFGT,target);
return;
case Opcodes.IF_DCMPLE:
this.writeInsn(Opcodes.DCMPL);
this.writeJumpInsn(Opcodes.IFLE,target);
return;
}
}
this.insnCallback();
this.visitFrame=true;
this.frame.visitJumpInsn(opcode);
if (target.info == null) {
target.info=this.frame.copy();
}
this.mv.visitJumpInsn(opcode,target);
}