russell@unturf.com
0a580b313d
Authors: russell@unturf.com · brackishbert@gmail.com · foxhop.net · TimeHexOn.com Patches, unit tests, benchmarks, whitepaper, and outreach briefs. Public domain — no copyright claimed. Use freely.
16 lines
300 B
Java
16 lines
300 B
Java
/*
|
|
* @test /nodynamiccopyright/
|
|
* @bug 4468510
|
|
* @summary Check correct DU computation for assertions.
|
|
* @author gafter
|
|
* @compile/fail/ref=DU2.out -XDrawDiagnostics DU2.java
|
|
*/
|
|
|
|
class DU2 {
|
|
void f1() {
|
|
final int i;
|
|
i=5;
|
|
assert false;
|
|
i=6; // error
|
|
}
|
|
}
|