Program: 149868
Project: 149868
Buggy source:
static void emitVirtualMachineDeclarations(int bootImageDataAddress,int bootImageCodeAddress,int bootImageRMapAddress){
  p("String_Node_Str" + Integer.toHexString(bootImageDataAddress) + "String_Node_Str");
  p("String_Node_Str" + Integer.toHexString(bootImageCodeAddress) + "String_Node_Str");
  p("String_Node_Str" + Integer.toHexString(bootImageRMapAddress) + "String_Node_Str");
  p("String_Node_Str" + ArchitectureSpecific.VM_StackframeLayoutConstants.STACK_SIZE_GUARD + "String_Node_Str");
  p("String_Node_Str" + ArchitectureSpecific.VM_StackframeLayoutConstants.INVISIBLE_METHOD_ID + "String_Node_Str");
  p("String_Node_Str" + VM_ThinLockConstants.TL_THREAD_ID_SHIFT + "String_Node_Str");
  p("String_Node_Str" + ArchitectureSpecific.VM_StackframeLayoutConstants.STACKFRAME_HEADER_SIZE + "String_Node_Str");
  p("String_Node_Str" + ArchitectureSpecific.VM_StackframeLayoutConstants.STACKFRAME_METHOD_ID_OFFSET + "String_Node_Str");
  p("String_Node_Str" + ArchitectureSpecific.VM_StackframeLayoutConstants.STACKFRAME_FRAME_POINTER_OFFSET + "String_Node_Str");
  pln("String_Node_Str",ArchitectureSpecific.VM_StackframeLayoutConstants.STACKFRAME_SENTINEL_FP);
  p("String_Node_Str");
  pln("String_Node_Str",VM_ObjectModel.getArrayLengthOffset());
  pln();
  p("String_Node_Str" + VM_GreenScheduler.PRIMORDIAL_PROCESSOR_ID + "String_Node_Str");
  p("String_Node_Str" + VM_Scheduler.PRIMORDIAL_THREAD_INDEX + "String_Node_Str");
  p("String_Node_Str");
  p("String_Node_Str" + VM_ThreadEventConstants.WAIT_INFINITE + "String_Node_Str");
  p("String_Node_Str" + VM_ThreadIOQueue.READ_OFFSET + "String_Node_Str");
  p("String_Node_Str" + VM_ThreadIOQueue.WRITE_OFFSET + "String_Node_Str");
  p("String_Node_Str" + VM_ThreadIOQueue.EXCEPT_OFFSET + "String_Node_Str");
  p("String_Node_Str");
  p("String_Node_Str" + VM_ThreadIOConstants.FD_READY + "String_Node_Str");
  p("String_Node_Str" + VM_ThreadIOConstants.FD_READY_BIT + "String_Node_Str");
  p("String_Node_Str" + VM_ThreadIOConstants.FD_INVALID + "String_Node_Str");
  p("String_Node_Str" + VM_ThreadIOConstants.FD_INVALID_BIT + "String_Node_Str");
  p("String_Node_Str" + VM_ThreadIOConstants.FD_MASK + "String_Node_Str");
  p("String_Node_Str");
  p("String_Node_Str" + VM_ThreadProcessWaitQueue.PROCESS_FINISHED + "String_Node_Str");
  p("String_Node_Str" + VM_Runtime.TRAP_UNKNOWN + "String_Node_Str");
  p("String_Node_Str" + VM_Runtime.TRAP_NULL_POINTER + "String_Node_Str");
  p("String_Node_Str" + VM_Runtime.TRAP_ARRAY_BOUNDS + "String_Node_Str");
  p("String_Node_Str" + VM_Runtime.TRAP_DIVIDE_BY_ZERO + "String_Node_Str");
  p("String_Node_Str" + VM_Runtime.TRAP_STACK_OVERFLOW + "String_Node_Str");
  p("String_Node_Str" + VM_Runtime.TRAP_CHECKCAST + "String_Node_Str");
  p("String_Node_Str" + VM_Runtime.TRAP_REGENERATE + "String_Node_Str");
  p("String_Node_Str" + VM_Runtime.TRAP_JNI_STACK + "String_Node_Str");
  p("String_Node_Str" + VM_Runtime.TRAP_MUST_IMPLEMENT + "String_Node_Str");
  p("String_Node_Str" + VM_Runtime.TRAP_STORE_CHECK + "String_Node_Str");
  pln();
  p("String_Node_Str" + VM_FileSystem.OPEN_READ + "String_Node_Str");
  p("String_Node_Str" + VM_FileSystem.OPEN_WRITE + "String_Node_Str");
  p("String_Node_Str" + VM_FileSystem.OPEN_MODIFY + "String_Node_Str");
  p("String_Node_Str" + VM_FileSystem.OPEN_APPEND + "String_Node_Str");
  p("String_Node_Str" + VM_FileSystem.SEEK_SET + "String_Node_Str");
  p("String_Node_Str" + VM_FileSystem.SEEK_CUR + "String_Node_Str");
  p("String_Node_Str" + VM_FileSystem.SEEK_END + "String_Node_Str");
  p("String_Node_Str" + VM_FileSystem.STAT_EXISTS + "String_Node_Str");
  p("String_Node_Str" + VM_FileSystem.STAT_IS_FILE + "String_Node_Str");
  p("String_Node_Str" + VM_FileSystem.STAT_IS_DIRECTORY + "String_Node_Str");
  p("String_Node_Str" + VM_FileSystem.STAT_IS_READABLE + "String_Node_Str");
  p("String_Node_Str" + VM_FileSystem.STAT_IS_WRITABLE + "String_Node_Str");
  p("String_Node_Str" + VM_FileSystem.STAT_LAST_MODIFIED + "String_Node_Str");
  p("String_Node_Str" + VM_FileSystem.STAT_LENGTH + "String_Node_Str");
  p("String_Node_Str" + org.mmtk.utility.Constants.BYTES_IN_PAGE + "String_Node_Str");
  Offset offset;
  offset=VM_Entrypoints.timeSliceExpiredField.getOffset();
  pln("String_Node_Str",offset);
  offset=VM_Entrypoints.takeYieldpointField.getOffset();
  pln("String_Node_Str",offset);
  offset=VM_Entrypoints.activeThreadStackLimitField.getOffset();
  pln("String_Node_Str",offset);
  offset=VM_Entrypoints.pthreadIDField.getOffset();
  pln("String_Node_Str",offset);
  offset=VM_Entrypoints.timerTicksField.getOffset();
  pln("String_Node_Str",offset);
  offset=VM_Entrypoints.reportedTimerTicksField.getOffset();
  pln("String_Node_Str",offset);
  offset=VM_Entrypoints.activeThreadField.getOffset();
  pln("String_Node_Str",offset);
  offset=VM_Entrypoints.vpStatusField.getOffset();
  pln("String_Node_Str",offset);
  offset=VM_Entrypoints.threadIdField.getOffset();
  pln("String_Node_Str",offset);
  offset=VM_Entrypoints.threadStackField.getOffset();
  pln("String_Node_Str",offset);
  offset=VM_Entrypoints.stackLimitField.getOffset();
  pln("String_Node_Str",offset);
  offset=VM_Entrypoints.threadHardwareExceptionRegistersField.getOffset();
  pln("String_Node_Str",offset);
  offset=VM_Entrypoints.jniEnvField.getOffset();
  pln("String_Node_Str",offset);
  offset=VM_ArchEntrypoints.registersGPRsField.getOffset();
  pln("String_Node_Str",offset);
  offset=VM_ArchEntrypoints.registersFPRsField.getOffset();
  pln("String_Node_Str",offset);
  offset=VM_ArchEntrypoints.registersIPField.getOffset();
  pln("String_Node_Str",offset);
  offset=VM_ArchEntrypoints.registersInUseField.getOffset();
  pln("String_Node_Str",offset);
  offset=VM_Entrypoints.JNIExternalFunctionsField.getOffset();
  pln("String_Node_Str",offset);
  offset=VM_Entrypoints.inetAddressAddressField.getOffset();
  pln("String_Node_Str",offset);
  offset=VM_Entrypoints.inetAddressFamilyField.getOffset();
  pln("String_Node_Str",offset);
  offset=VM_Entrypoints.socketImplAddressField.getOffset();
  pln("String_Node_Str",offset);
  offset=VM_Entrypoints.socketImplPortField.getOffset();
  pln("String_Node_Str",offset);
  offset=VM_Entrypoints.gcStatusField.getOffset();
  pln("String_Node_Str",offset);
  arch.emitArchVirtualMachineDeclarations();
}

Fixed version (ground truth):
static void emitVirtualMachineDeclarations(int bootImageDataAddress,int bootImageCodeAddress,int bootImageRMapAddress){
  p("String_Node_Str" + Integer.toHexString(bootImageDataAddress) + "String_Node_Str");
  p("String_Node_Str" + Integer.toHexString(bootImageCodeAddress) + "String_Node_Str");
  p("String_Node_Str" + Integer.toHexString(bootImageRMapAddress) + "String_Node_Str");
  p("String_Node_Str" + ArchitectureSpecific.VM_StackframeLayoutConstants.STACK_SIZE_GUARD + "String_Node_Str");
  p("String_Node_Str" + ArchitectureSpecific.VM_StackframeLayoutConstants.INVISIBLE_METHOD_ID + "String_Node_Str");
  p("String_Node_Str" + VM_ThinLockConstants.TL_THREAD_ID_SHIFT + "String_Node_Str");
  p("String_Node_Str" + ArchitectureSpecific.VM_StackframeLayoutConstants.STACKFRAME_HEADER_SIZE + "String_Node_Str");
  p("String_Node_Str" + ArchitectureSpecific.VM_StackframeLayoutConstants.STACKFRAME_METHOD_ID_OFFSET + "String_Node_Str");
  p("String_Node_Str" + ArchitectureSpecific.VM_StackframeLayoutConstants.STACKFRAME_FRAME_POINTER_OFFSET + "String_Node_Str");
  pln("String_Node_Str",ArchitectureSpecific.VM_StackframeLayoutConstants.STACKFRAME_SENTINEL_FP);
  p("String_Node_Str");
  pln("String_Node_Str",VM_ObjectModel.getArrayLengthOffset());
  pln();
  p("String_Node_Str" + VM_GreenScheduler.PRIMORDIAL_PROCESSOR_ID + "String_Node_Str");
  p("String_Node_Str" + VM_Scheduler.PRIMORDIAL_THREAD_INDEX + "String_Node_Str");
  p("String_Node_Str");
  p("String_Node_Str" + VM_ThreadEventConstants.WAIT_INFINITE + "String_Node_Str");
  p("String_Node_Str" + VM_ThreadIOQueue.READ_OFFSET + "String_Node_Str");
  p("String_Node_Str" + VM_ThreadIOQueue.WRITE_OFFSET + "String_Node_Str");
  p("String_Node_Str" + VM_ThreadIOQueue.EXCEPT_OFFSET + "String_Node_Str");
  p("String_Node_Str");
  p("String_Node_Str" + VM_ThreadIOConstants.FD_READY + "String_Node_Str");
  p("String_Node_Str" + VM_ThreadIOConstants.FD_READY_BIT + "String_Node_Str");
  p("String_Node_Str" + VM_ThreadIOConstants.FD_INVALID + "String_Node_Str");
  p("String_Node_Str" + VM_ThreadIOConstants.FD_INVALID_BIT + "String_Node_Str");
  p("String_Node_Str" + VM_ThreadIOConstants.FD_MASK + "String_Node_Str");
  p("String_Node_Str");
  p("String_Node_Str" + VM_ThreadProcessWaitQueue.PROCESS_FINISHED + "String_Node_Str");
  p("String_Node_Str" + VM_Runtime.TRAP_UNKNOWN + "String_Node_Str");
  p("String_Node_Str" + VM_Runtime.TRAP_NULL_POINTER + "String_Node_Str");
  p("String_Node_Str" + VM_Runtime.TRAP_ARRAY_BOUNDS + "String_Node_Str");
  p("String_Node_Str" + VM_Runtime.TRAP_DIVIDE_BY_ZERO + "String_Node_Str");
  p("String_Node_Str" + VM_Runtime.TRAP_STACK_OVERFLOW + "String_Node_Str");
  p("String_Node_Str" + VM_Runtime.TRAP_CHECKCAST + "String_Node_Str");
  p("String_Node_Str" + VM_Runtime.TRAP_REGENERATE + "String_Node_Str");
  p("String_Node_Str" + VM_Runtime.TRAP_JNI_STACK + "String_Node_Str");
  p("String_Node_Str" + VM_Runtime.TRAP_MUST_IMPLEMENT + "String_Node_Str");
  p("String_Node_Str" + VM_Runtime.TRAP_STORE_CHECK + "String_Node_Str");
  pln();
  p("String_Node_Str" + VM_FileSystem.OPEN_READ + "String_Node_Str");
  p("String_Node_Str" + VM_FileSystem.OPEN_WRITE + "String_Node_Str");
  p("String_Node_Str" + VM_FileSystem.OPEN_MODIFY + "String_Node_Str");
  p("String_Node_Str" + VM_FileSystem.OPEN_APPEND + "String_Node_Str");
  p("String_Node_Str" + VM_FileSystem.SEEK_SET + "String_Node_Str");
  p("String_Node_Str" + VM_FileSystem.SEEK_CUR + "String_Node_Str");
  p("String_Node_Str" + VM_FileSystem.SEEK_END + "String_Node_Str");
  p("String_Node_Str" + VM_FileSystem.STAT_EXISTS + "String_Node_Str");
  p("String_Node_Str" + VM_FileSystem.STAT_IS_FILE + "String_Node_Str");
  p("String_Node_Str" + VM_FileSystem.STAT_IS_DIRECTORY + "String_Node_Str");
  p("String_Node_Str" + VM_FileSystem.STAT_IS_READABLE + "String_Node_Str");
  p("String_Node_Str" + VM_FileSystem.STAT_IS_WRITABLE + "String_Node_Str");
  p("String_Node_Str" + VM_FileSystem.STAT_LAST_MODIFIED + "String_Node_Str");
  p("String_Node_Str" + VM_FileSystem.STAT_LENGTH + "String_Node_Str");
  p("String_Node_Str" + org.mmtk.utility.Constants.BYTES_IN_PAGE + "String_Node_Str");
  Offset offset;
  offset=VM_Entrypoints.timeSliceExpiredField.getOffset();
  pln("String_Node_Str",offset);
  offset=VM_Entrypoints.takeYieldpointField.getOffset();
  pln("String_Node_Str",offset);
  offset=VM_Entrypoints.activeThreadStackLimitField.getOffset();
  pln("String_Node_Str",offset);
  offset=VM_Entrypoints.pthreadIDField.getOffset();
  pln("String_Node_Str",offset);
  offset=VM_Entrypoints.activeThreadField.getOffset();
  pln("String_Node_Str",offset);
  offset=VM_Entrypoints.vpStatusField.getOffset();
  pln("String_Node_Str",offset);
  offset=VM_Entrypoints.threadIdField.getOffset();
  pln("String_Node_Str",offset);
  offset=VM_Entrypoints.threadStackField.getOffset();
  pln("String_Node_Str",offset);
  offset=VM_Entrypoints.stackLimitField.getOffset();
  pln("String_Node_Str",offset);
  offset=VM_Entrypoints.threadHardwareExceptionRegistersField.getOffset();
  pln("String_Node_Str",offset);
  offset=VM_Entrypoints.jniEnvField.getOffset();
  pln("String_Node_Str",offset);
  offset=VM_ArchEntrypoints.registersGPRsField.getOffset();
  pln("String_Node_Str",offset);
  offset=VM_ArchEntrypoints.registersFPRsField.getOffset();
  pln("String_Node_Str",offset);
  offset=VM_ArchEntrypoints.registersIPField.getOffset();
  pln("String_Node_Str",offset);
  offset=VM_ArchEntrypoints.registersInUseField.getOffset();
  pln("String_Node_Str",offset);
  offset=VM_Entrypoints.JNIExternalFunctionsField.getOffset();
  pln("String_Node_Str",offset);
  offset=VM_Entrypoints.inetAddressAddressField.getOffset();
  pln("String_Node_Str",offset);
  offset=VM_Entrypoints.inetAddressFamilyField.getOffset();
  pln("String_Node_Str",offset);
  offset=VM_Entrypoints.socketImplAddressField.getOffset();
  pln("String_Node_Str",offset);
  offset=VM_Entrypoints.socketImplPortField.getOffset();
  pln("String_Node_Str",offset);
  arch.emitArchVirtualMachineDeclarations();
}