[BCEL-192] Verification error when defining an inner class

• Type: Bug
• Status: Open
• Priority: Major
• Resolution: Unresolved
• Affects Version/s: 6.0
• Component/s: Verifier
• Assignee: Unassigned
• Reporter: Jérôme Leroux
• Created: 13/Jan/15 08:20
• Updated: 10/Mar/15 08:46

Description

The verification of the following code fails:

    public void test(){
        new Runnable() {
            
            @Override
            public void run() {
            }
        };
    }

The cause is a wrong verification of field modification on uninitialized object. The modification of an uninitialized object is allowed in a constructor if this object is the receiver of the constructor.
Here is the explanation from the §4.9.4 of The Java Virtual Machine Specification, Second Edition:

The instance initialization method (§3.9) for class myClass sees the new uninitialized object as its this argument in local variable 0. Before that method invokes another instance initialization method of myClass or its direct superclass on this, the only operation the method can perform on this is assigning fields declared within myClass.