Program: 85329
Project: 85329
Buggy source:
private void processCmdLine(String[] args){
  if (!Options.v().parse(args))   throw new CompilationDeathException(CompilationDeathException.COMPILATION_ABORTED,"String_Node_Str");
  if (PackManager.v().onlyStandardPacks()) {
    for (    Pack pack : PackManager.v().allPacks()) {
      Options.v().warnForeignPhase(pack.getPhaseName());
      for (Iterator<Transform> trIt=pack.iterator(); trIt.hasNext(); ) {
        final Transform tr=trIt.next();
        Options.v().warnForeignPhase(tr.getPhaseName());
      }
    }
  }
  Options.v().warnNonexistentPhase();
  if (Options.v().help()) {
    G.v().out.println(Options.v().getUsage());
    throw new CompilationDeathException(CompilationDeathException.COMPILATION_SUCCEEDED);
  }
  if (Options.v().phase_list()) {
    G.v().out.println(Options.v().getPhaseList());
    throw new CompilationDeathException(CompilationDeathException.COMPILATION_SUCCEEDED);
  }
  if (!Options.v().phase_help().isEmpty()) {
    for (Iterator<String> phaseIt=Options.v().phase_help().iterator(); phaseIt.hasNext(); ) {
      final String phase=phaseIt.next();
      G.v().out.println(Options.v().getPhaseHelp(phase));
    }
    throw new CompilationDeathException(CompilationDeathException.COMPILATION_SUCCEEDED);
  }
  if ((!Options.v().unfriendly_mode() && args.length == 0) || Options.v().version()) {
    printVersion();
    throw new CompilationDeathException(CompilationDeathException.COMPILATION_SUCCEEDED);
  }
  if (Options.v().on_the_fly()) {
    Options.v().set_whole_program(true);
    PhaseOptions.v().setPhaseOption("String_Node_Str","String_Node_Str");
  }
  postCmdLineCheck();
}

Fixed version (ground truth):
private void processCmdLine(String[] args){
  if (!Options.v().parse(args))   throw new OptionsParseException("String_Node_Str");
  if (PackManager.v().onlyStandardPacks()) {
    for (    Pack pack : PackManager.v().allPacks()) {
      Options.v().warnForeignPhase(pack.getPhaseName());
      for (Iterator<Transform> trIt=pack.iterator(); trIt.hasNext(); ) {
        final Transform tr=trIt.next();
        Options.v().warnForeignPhase(tr.getPhaseName());
      }
    }
  }
  Options.v().warnNonexistentPhase();
  if (Options.v().help()) {
    G.v().out.println(Options.v().getUsage());
    throw new CompilationDeathException(CompilationDeathException.COMPILATION_SUCCEEDED);
  }
  if (Options.v().phase_list()) {
    G.v().out.println(Options.v().getPhaseList());
    throw new CompilationDeathException(CompilationDeathException.COMPILATION_SUCCEEDED);
  }
  if (!Options.v().phase_help().isEmpty()) {
    for (Iterator<String> phaseIt=Options.v().phase_help().iterator(); phaseIt.hasNext(); ) {
      final String phase=phaseIt.next();
      G.v().out.println(Options.v().getPhaseHelp(phase));
    }
    throw new CompilationDeathException(CompilationDeathException.COMPILATION_SUCCEEDED);
  }
  if ((!Options.v().unfriendly_mode() && args.length == 0) || Options.v().version()) {
    printVersion();
    throw new CompilationDeathException(CompilationDeathException.COMPILATION_SUCCEEDED);
  }
  if (Options.v().on_the_fly()) {
    Options.v().set_whole_program(true);
    PhaseOptions.v().setPhaseOption("String_Node_Str","String_Node_Str");
  }
  postCmdLineCheck();
}