Name: rmT116609 Date: 02/06/2004


FULL PRODUCT VERSION :
Java(TM) 2 Runtime Environment, Standard Edition (build 1.5.0-beta-b32c)
Java HotSpot(TM) Client VM (build 1.5.0-beta-b32c, mixed mode)

ADDITIONAL OS VERSION INFORMATION :
Windows NT Version 4.0

A DESCRIPTION OF THE PROBLEM :
One can compile but not run/use Auto-unboxing with shortcut operators.
Trying to do so results in a VerifyError during runtime.
 

STEPS TO FOLLOW TO REPRODUCE THE PROBLEM :
compile and run th provided test case

EXPECTED VERSUS ACTUAL BEHAVIOR :
EXPECTED -
should run without VerifyError
ACTUAL -
VerifyError

ERROR MESSAGES/STACK TRACES THAT OCCUR :
Exception in thread "main" java.lang.VerifyError: (class: Small, method: main signature: ([Ljava/lang/String;)V) Expecting to find integer on stack

REPRODUCIBILITY :
This bug can be reproduced always.

---------- BEGIN SOURCE ----------
public class Small {
  public static void main(String[] args) {
    Integer integer = 1;
    int sum = 12;
    sum += integer;
    //this works: sum = sum + integer;
    System.out.printf("sum: %d", sum);
  }
}
---------- END SOURCE ----------
(Incident Review ID: 237532)
======================================================================

Name: rmT116609 Date: 02/08/2004


FULL PRODUCT VERSION :
java version "1.5.0-beta"
Java(TM) 2 Runtime Environment, Standard Edition (build 1.5.0-beta-b32c)
Java HotSpot(TM) Client VM (build 1.5.0-beta-b32c, mixed mode)


FULL OS VERSION :
Microsoft Windows XP [Version 5.1.2600]


A DESCRIPTION OF THE PROBLEM :
The test program shown below compiles successfully, but the JVM throws a VerifyError. This seems to be related to using the auto-unboxing feature.


STEPS TO FOLLOW TO REPRODUCE THE PROBLEM :
Just compile and execute the test program.


EXPECTED VERSUS ACTUAL BEHAVIOR :
EXPECTED -
This line:

      iSum += i; // this causes a VerifyError

should exactly behave like that one:

      iSum += i.intValue(); // this works fine

ACTUAL -
When executing with "java Test":

Exception in thread "main" java.lang.VerifyError: (class: Test, method: test signature: ()V) Expecting to find integer on stack


ERROR MESSAGES/STACK TRACES THAT OCCUR :
Exception in thread "main" java.lang.VerifyError: (class: Test, method: test signature: ()V) Expecting to find integer on stack


REPRODUCIBILITY :
This bug can be reproduced always.

---------- BEGIN SOURCE ----------
import java.util.*;

class Test {
  private static void test() {
    final List<Integer> lsti = new ArrayList<Integer>();
    for(int i=1; i <= 10; ++i) {
      lsti.add(i);
    }
    int iSum = 0;
    for(Integer i : lsti) {
// iSum += i.intValue(); // this works fine
      iSum += i; // this causes a VerifyError
    }
    System.out.println("Sum: " + iSum);
  }

  public static void main(String[] args) {
    test();
  }
}

---------- END SOURCE ----------
(Review ID: 237647)
======================================================================