Program: 85089
Project: 85089
Buggy source:
private void writeInlineArguments(MethodWriter writer,IArguments arguments,int localCount){
  if ((this.modifiers & Modifiers.INFIX) == Modifiers.INFIX) {
    int len=this.parameterCount;
    if ((this.modifiers & Modifiers.VARARGS) != 0) {
      len--;
      IParameter param;
      for (int i=1, j=0; i < len; i++, j++) {
        param=this.parameters[i];
        arguments.writeValue(j,param.getName(),param.getValue(),writer);
        param.setIndex(writer.registerLocal());
        param.writeSet(writer,null,null);
      }
      param=this.parameters[len];
      arguments.writeVarargsValue(len - 1,param.getName(),param.getType(),writer);
      param.setIndex(writer.registerLocal());
      param.writeSet(writer,null,null);
      return;
    }
    for (int i=1, j=0; i < this.parameterCount; i++, j++) {
      IParameter param=this.parameters[i];
      arguments.writeValue(j,param.getName(),param.getValue(),writer);
      param.setIndex(writer.registerLocal());
      param.writeSet(writer,null,null);
    }
    return;
  }
  if ((this.modifiers & Modifiers.PREFIX) == Modifiers.PREFIX) {
    arguments.writeValue(0,Name._this,null,writer);
    return;
  }
  if ((this.modifiers & Modifiers.VARARGS) != 0) {
    int len=this.parameterCount - 1;
    IParameter param;
    for (int i=0; i < len; i++) {
      param=this.parameters[i];
      arguments.writeValue(i,param.getName(),param.getValue(),writer);
      param.setIndex(writer.registerLocal());
      param.writeSet(writer,null,null);
    }
    param=this.parameters[len];
    arguments.writeVarargsValue(len,param.getName(),param.getType(),writer);
    param.setIndex(writer.registerLocal());
    param.writeSet(writer,null,null);
    return;
  }
  for (int i=0; i < this.parameterCount; i++) {
    IParameter param=this.parameters[i];
    arguments.writeValue(i,param.getName(),param.getValue(),writer);
    param.setIndex(writer.registerLocal());
    param.writeSet(writer,null,null);
  }
}

Fixed version (ground truth):
private void writeInlineArguments(MethodWriter writer,IValue instance,IArguments arguments,int localCount){
  if (instance != null) {
    instance.writeExpression(writer);
    writer.writeVarInsn(instance.getType().getStoreOpcode(),localCount);
  }
  if ((this.modifiers & Modifiers.INFIX) == Modifiers.INFIX) {
    int len=this.parameterCount;
    if ((this.modifiers & Modifiers.VARARGS) != 0) {
      len--;
      IParameter param;
      for (int i=1, j=0; i < len; i++, j++) {
        param=this.parameters[i];
        arguments.writeValue(j,param.getName(),param.getValue(),writer);
        param.setIndex(writer.registerLocal());
        param.writeSet(writer,null,null);
      }
      param=this.parameters[len];
      arguments.writeVarargsValue(len - 1,param.getName(),param.getType(),writer);
      param.setIndex(writer.registerLocal());
      param.writeSet(writer,null,null);
      return;
    }
    for (int i=1, j=0; i < this.parameterCount; i++, j++) {
      IParameter param=this.parameters[i];
      arguments.writeValue(j,param.getName(),param.getValue(),writer);
      param.setIndex(writer.registerLocal());
      param.writeSet(writer,null,null);
    }
    return;
  }
  if ((this.modifiers & Modifiers.PREFIX) == Modifiers.PREFIX) {
    arguments.writeValue(0,Name._this,null,writer);
    writer.writeVarInsn(Opcodes.ASTORE,localCount);
    return;
  }
  if ((this.modifiers & Modifiers.VARARGS) != 0) {
    int len=this.parameterCount - 1;
    IParameter param;
    for (int i=0; i < len; i++) {
      param=this.parameters[i];
      arguments.writeValue(i,param.getName(),param.getValue(),writer);
      param.setIndex(writer.registerLocal());
      param.writeSet(writer,null,null);
    }
    param=this.parameters[len];
    arguments.writeVarargsValue(len,param.getName(),param.getType(),writer);
    param.setIndex(writer.registerLocal());
    param.writeSet(writer,null,null);
    return;
  }
  for (int i=0; i < this.parameterCount; i++) {
    IParameter param=this.parameters[i];
    arguments.writeValue(i,param.getName(),param.getValue(),writer);
    param.setIndex(writer.registerLocal());
    param.writeSet(writer,null,null);
  }
}