duke@1: /*
duke@1:  * @test  /nodynamiccopyright/
duke@1:  * @bug 4906100
duke@1:  * @summary detect empty statement after if
jjg@611:  * @compile/ref=T4906100.out -XDrawDiagnostics -Xlint:empty T4906100.java
duke@1:  */
duke@1: 
duke@1: class T4906100 {
duke@1:     void f1(int a, int b) {
duke@1:         if (a == b);
duke@1:             System.out.println("a == b");
duke@1:     }
duke@1: 
duke@1:     @SuppressWarnings("empty")
duke@1:     void f2(int a, int b) {
duke@1:         if (a == b);
duke@1:             System.out.println("a == b");
duke@1:     }
duke@1: 
duke@1:     // check that { } is not treated as an empty statement
duke@1:     void f3(int a, int b) {
duke@1:         if (a == b) { }
duke@1:             System.out.println("a == b");
duke@1:     }
duke@1: }