langtools/test/tools/javac/DefiniteAssignment/T4718708.java
author mcimadamore
Wed, 26 Oct 2016 15:41:25 +0100
changeset 41856 13a056e8f16e
parent 25308 190cac01c316
permissions -rw-r--r--
8168774: Polymorhic signature method check crashes javac Summary: Check for polysig method assumes arity is greater than zero Reviewed-by: vromero
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
10
06bc494ca11e Initial load
duke
parents:
diff changeset
     1
/*
25308
190cac01c316 8044236: create .out files for DefiniteAssignment tests in tools/javac dir
sogoel
parents: 5520
diff changeset
     2
 * @test /nodynamiccopyright/
10
06bc494ca11e Initial load
duke
parents:
diff changeset
     3
 * @bug 4718708
06bc494ca11e Initial load
duke
parents:
diff changeset
     4
 * @summary bug in DU analysis of while loop
06bc494ca11e Initial load
duke
parents:
diff changeset
     5
 * @author Neal Gafter (gafter)
06bc494ca11e Initial load
duke
parents:
diff changeset
     6
 *
25308
190cac01c316 8044236: create .out files for DefiniteAssignment tests in tools/javac dir
sogoel
parents: 5520
diff changeset
     7
 * @compile/fail/ref=T4718708.out -XDrawDiagnostics  T4718708.java
10
06bc494ca11e Initial load
duke
parents:
diff changeset
     8
 */
06bc494ca11e Initial load
duke
parents:
diff changeset
     9
06bc494ca11e Initial load
duke
parents:
diff changeset
    10
class T4718708 {
06bc494ca11e Initial load
duke
parents:
diff changeset
    11
    void f() {
06bc494ca11e Initial load
duke
parents:
diff changeset
    12
        final int i;
06bc494ca11e Initial load
duke
parents:
diff changeset
    13
        while (true) {
06bc494ca11e Initial load
duke
parents:
diff changeset
    14
            i = 3;
06bc494ca11e Initial load
duke
parents:
diff changeset
    15
            continue;
06bc494ca11e Initial load
duke
parents:
diff changeset
    16
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
    17
    }
06bc494ca11e Initial load
duke
parents:
diff changeset
    18
}