[GROOVY-461] Compiler does not inforce the Java rules for definite assignment before use

• Type: Bug
• Status: Closed
• Priority: Minor
• Resolution: Fixed
• Affects Version/s: 1.0-beta-5
• Fix Version/s: 1.0-JSR-1
• Component/s: parser
• Assignee: Jochen Theodorou
• Reporter: John Wilson
• Created: 11/May/04 11:10
• Updated: 30/Nov/07 06:26
• Resolved: 22/Mar/05 08:04

Description

class C {
static main(args) {
c =

{if (it == 1) x = 100 else println "!" println x }

c(1)
c(2)
}
}

produces:

Exception in thread "main" java.lang.VerifyError: (class: C$1, method: doCall signature: (Ljava/lang/Object;)Ljava/lang/Object Accessing value from uninitialized register 2

If the compiler applied the standard Java flow analysis to ensure definite assignment before use (See chapter 16 of the JLS) then the program would be rejected at compile time.