[GROOVY-8094] Final variable analysis giving incorrect message within nested if

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Affects Version/s: 2.5.x
• Fix Version/s: 2.5.0-beta-3
• Component/s: Compiler
• Assignee: Paul King
• Reporter: Paul King
• Created: 21/Feb/17 07:50
• Updated: 06/Mar/18 23:25
• Resolved: 24/Dec/17 06:37

Description

def method() {
    final z = null
    if (z != null) {
        z = 3
    }
}

gives error message:

1 compilation error:
The variable [z] may be uninitialized
. At [5:11]  at line: 5, column: 11

it should be a compile error since we are reassigning z, but the error message should be:

The variable [z] is declared final but is reassigned