[jira] [Comment Edited] (GROOVY-10580) Conditionally initialized `final` variables considered maybe uninitialized

["Paul King (Jira)" <ji...@apache.org>]

    [ https://issues.apache.org/jira/browse/GROOVY-10580?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=17521401#comment-17521401 ] 

Paul King edited comment on GROOVY-10580 at 4/13/22 1:16 AM:
-------------------------------------------------------------

Added code tags. Plus here is a JavaShell snippet to confirm the Java behaviour:
{code:groovy}
def js = new JavaShell()
js.run('Main', '''
public class Main {
  public static void main(String[] args) {
    final int i;
    final boolean a = true;
    if (a) {
        i = 1;
    } else {
        throw new IllegalStateException("a is false");
    }
    System.out.println("i = " + i);
  }
}
''')
{code}


was (Author: paulk):
Added code tags

> Conditionally initialized `final` variables considered maybe uninitialized
> --------------------------------------------------------------------------
>
>                 Key: GROOVY-10580
>                 URL: https://issues.apache.org/jira/browse/GROOVY-10580
>             Project: Groovy
>          Issue Type: Bug
>    Affects Versions: 4.0.1
>            Reporter: V
>            Priority: Major
>
> Running the following in `groovyConsole`:
> {code:groovy}
> final int i
> final boolean a = true
> if (a) {
>     i = 1
> } else {
>     throw new IllegalStateException('a is false')
> }
> println "i = $i"
> {code}
> would give me:
> {noformat}
> 1 compilation error:
> The variable [i] may be uninitialized
> . At [9:15] at line: 9, column: 15
> {noformat}
> It seems groovyc does not take throwing an exception as a non-reachable branch.
> This code is almost a verbatim copy from a java code that is working.
> This looks similar to GROOVY-8472, and a few others.



--
This message was sent by Atlassian Jira
(v8.20.1#820001)