Summary: | [1.5][compiler] VerifyError using -- operator on unboxed generic Integer type | ||
---|---|---|---|
Product: | [Eclipse Project] JDT | Reporter: | Tim Moreton <tim.moreton> |
Component: | Core | Assignee: | Philipe Mulet <philippe_mulet> |
Status: | VERIFIED FIXED | QA Contact: | |
Severity: | major | ||
Priority: | P3 | CC: | philippe_mulet, vulcannis |
Version: | 3.1 | ||
Target Milestone: | 3.1.1 | ||
Hardware: | PC | ||
OS: | Linux-GTK | ||
Whiteboard: |
Description
Tim Moreton
2005-06-25 17:45:05 EDT
Reproduced. Offending sequence is in method a() 12 aload_1 [p] 13 dup 14 getfield Pair.first : Object [30] 17 invokevirtual Integer.intValue() : int [34] 20 iconst_1 21 isub 22 invokestatic Integer.valueOf(int) : Integer [20] 25 putfield Pair.first : Object [30] 28 return before bytecode at 17, a checkcast Integer should be issue. Similar weaknesses spotted for prefix operators as well, and for all single/qualified/field references. Added AutoboxingTest#test105-109. Actually regression tests are: AutoboxingTest#test105-108. Fixed in 3.1 maintenance branch *** Bug 105524 has been marked as a duplicate of this bug. *** Verified in 3.2 M1 with build I20050808-2000. Verified using M20050923-1430 for 3.1.1 |