/*
 * @test  /nodynamiccopyright/
 * @bug 4906100
 * @summary detect empty statement after if
 * @compile/ref=T4906100.out -XDstdout -XDrawDiagnostics -Xlint:empty T4906100.java
 */

class T4906100 {
    void f1(int a, int b) {
        if (a == b);
            System.out.println("a == b");
    }

    @SuppressWarnings("empty")
    void f2(int a, int b) {
        if (a == b);
            System.out.println("a == b");
    }

    // check that { } is not treated as an empty statement
    void f3(int a, int b) {
        if (a == b) { }
            System.out.println("a == b");
    }
}