test/tools/javac/T4906100.java

Tue, 12 Mar 2013 16:02:43 +0000

author
mcimadamore
date
Tue, 12 Mar 2013 16:02:43 +0000
changeset 1628
5ddecb91d843
parent 611
4172cfff05f0
child 2525
2eb010b6cb22
permissions
-rw-r--r--

8009545: Graph inference: dependencies between inference variables should be set during incorporation
Summary: Move all transitivity checks into the incorporation round
Reviewed-by: jjg

     1 /*
     2  * @test  /nodynamiccopyright/
     3  * @bug 4906100
     4  * @summary detect empty statement after if
     5  * @compile/ref=T4906100.out -XDrawDiagnostics -Xlint:empty T4906100.java
     6  */
     8 class T4906100 {
     9     void f1(int a, int b) {
    10         if (a == b);
    11             System.out.println("a == b");
    12     }
    14     @SuppressWarnings("empty")
    15     void f2(int a, int b) {
    16         if (a == b);
    17             System.out.println("a == b");
    18     }
    20     // check that { } is not treated as an empty statement
    21     void f3(int a, int b) {
    22         if (a == b) { }
    23             System.out.println("a == b");
    24     }
    25 }

mercurial