Program: 88636
Project: 88636
Buggy source:
public void casePushInst(PushInst i){
  if (i.getConstant() instanceof IntConstant) {
    IntConstant v=(IntConstant)(i.getConstant());
    if (v.value == -1)     emit("String_Node_Str");
 else     if (v.value >= 0 && v.value <= 5)     emit("String_Node_Str" + v.value);
 else     if (v.value >= Byte.MIN_VALUE && v.value <= Byte.MAX_VALUE)     emit("String_Node_Str" + v.value);
 else     if (v.value >= Short.MIN_VALUE && v.value <= Short.MAX_VALUE)     emit("String_Node_Str" + v.value);
 else     emit("String_Node_Str" + v.toString());
  }
 else   if (i.getConstant() instanceof StringConstant) {
    emit("String_Node_Str" + i.getConstant().toString());
  }
 else   if (i.getConstant() instanceof DoubleConstant) {
    DoubleConstant v=(DoubleConstant)(i.getConstant());
    if (v.value == 0)     emit("String_Node_Str");
 else     if (v.value == 1)     emit("String_Node_Str");
 else {
      String s=v.toString();
      if (s.equals("String_Node_Str"))       s="String_Node_Str";
      if (s.equals("String_Node_Str"))       s="String_Node_Str";
      if (s.equals("String_Node_Str"))       s="String_Node_Str";
      emit("String_Node_Str" + s);
    }
  }
 else   if (i.getConstant() instanceof FloatConstant) {
    FloatConstant v=(FloatConstant)(i.getConstant());
    if (v.value == 0)     emit("String_Node_Str");
 else     if (v.value == 1)     emit("String_Node_Str");
 else     if (v.value == 2)     emit("String_Node_Str");
 else {
      String s=v.toString();
      if (s.equals("String_Node_Str"))       s="String_Node_Str";
      if (s.equals("String_Node_Str"))       s="String_Node_Str";
      if (s.equals("String_Node_Str"))       s="String_Node_Str";
      emit("String_Node_Str" + s);
    }
  }
 else   if (i.getConstant() instanceof LongConstant) {
    LongConstant v=(LongConstant)(i.getConstant());
    if (v.value == 0)     emit("String_Node_Str");
 else     if (v.value == 1)     emit("String_Node_Str");
 else     emit("String_Node_Str" + v.toString());
  }
 else   if (i.getConstant() instanceof NullConstant)   emit("String_Node_Str");
 else   throw new RuntimeException("String_Node_Str");
}

Fixed version (ground truth):
public void casePushInst(PushInst i){
  if (i.getConstant() instanceof IntConstant) {
    IntConstant v=(IntConstant)(i.getConstant());
    if (v.value == -1)     emit("String_Node_Str");
 else     if (v.value >= 0 && v.value <= 5)     emit("String_Node_Str" + v.value);
 else     if (v.value >= Byte.MIN_VALUE && v.value <= Byte.MAX_VALUE)     emit("String_Node_Str" + v.value);
 else     if (v.value >= Short.MIN_VALUE && v.value <= Short.MAX_VALUE)     emit("String_Node_Str" + v.value);
 else     emit("String_Node_Str" + v.toString());
  }
 else   if (i.getConstant() instanceof StringConstant) {
    emit("String_Node_Str" + i.getConstant().toString());
  }
 else   if (i.getConstant() instanceof DoubleConstant) {
    DoubleConstant v=(DoubleConstant)(i.getConstant());
    if ((v.value == 0) && ((1.0 / v.value) > 0.0))     emit("String_Node_Str");
 else     if (v.value == 1)     emit("String_Node_Str");
 else {
      String s=v.toString();
      if (s.equals("String_Node_Str"))       s="String_Node_Str";
      if (s.equals("String_Node_Str"))       s="String_Node_Str";
      if (s.equals("String_Node_Str"))       s="String_Node_Str";
      emit("String_Node_Str" + s);
    }
  }
 else   if (i.getConstant() instanceof FloatConstant) {
    FloatConstant v=(FloatConstant)(i.getConstant());
    if ((v.value == 0) && ((1.0f / v.value) > 1.0f))     emit("String_Node_Str");
 else     if (v.value == 1)     emit("String_Node_Str");
 else     if (v.value == 2)     emit("String_Node_Str");
 else {
      String s=v.toString();
      if (s.equals("String_Node_Str"))       s="String_Node_Str";
      if (s.equals("String_Node_Str"))       s="String_Node_Str";
      if (s.equals("String_Node_Str"))       s="String_Node_Str";
      emit("String_Node_Str" + s);
    }
  }
 else   if (i.getConstant() instanceof LongConstant) {
    LongConstant v=(LongConstant)(i.getConstant());
    if (v.value == 0)     emit("String_Node_Str");
 else     if (v.value == 1)     emit("String_Node_Str");
 else     emit("String_Node_Str" + v.toString());
  }
 else   if (i.getConstant() instanceof NullConstant)   emit("String_Node_Str");
 else   throw new RuntimeException("String_Node_Str");
}