Mercurial > jdk8-mips64-public > langtools / annotate
test/tools/javac/T4906100.java@5ddecb91d843 (annotated)
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
| duke@1 | 1 | /* |
| duke@1 | 2 | * @test /nodynamiccopyright/ |
| duke@1 | 3 | * @bug 4906100 |
| duke@1 | 4 | * @summary detect empty statement after if |
| jjg@611 | 5 | * @compile/ref=T4906100.out -XDrawDiagnostics -Xlint:empty T4906100.java |
| duke@1 | 6 | */ |
| duke@1 | 7 | |
| duke@1 | 8 | class T4906100 { |
| duke@1 | 9 | void f1(int a, int b) { |
| duke@1 | 10 | if (a == b); |
| duke@1 | 11 | System.out.println("a == b"); |
| duke@1 | 12 | } |
| duke@1 | 13 | |
| duke@1 | 14 | @SuppressWarnings("empty") |
| duke@1 | 15 | void f2(int a, int b) { |
| duke@1 | 16 | if (a == b); |
| duke@1 | 17 | System.out.println("a == b"); |
| duke@1 | 18 | } |
| duke@1 | 19 | |
| duke@1 | 20 | // check that { } is not treated as an empty statement |
| duke@1 | 21 | void f3(int a, int b) { |
| duke@1 | 22 | if (a == b) { } |
| duke@1 | 23 | System.out.println("a == b"); |
| duke@1 | 24 | } |
| duke@1 | 25 | } |
