/**
* @test /nodynamiccopyright/
* @bug 4759494 4986256
* @compile/ref=DivZero.noLint.out -XDrawDiagnostics DivZero.java
* @compile/ref=DivZero.lint.out -Xlint:divzero -XDrawDiagnostics DivZero.java
* @compile/ref=DivZero.lint.out -Xlint:all,-path -XDrawDiagnostics DivZero.java
*/
class DivZero
{
static void m() {
mi1 /= 0;
mi1 %= 0;
ml1 /= 0L;
ml1 %= 0L;
}
}
@SuppressWarnings("divzero")
class DivZero2
{
static void m() {
mi1 /= 0;
mi1 %= 0;
ml1 /= 0L;
ml1 %= 0L;
}
}
class DivZero3
{
@SuppressWarnings("divzero")
@SuppressWarnings("divzero")
@SuppressWarnings("divzero")
@SuppressWarnings("divzero")
@SuppressWarnings("divzero")
@SuppressWarnings("divzero")
@SuppressWarnings("divzero")
@SuppressWarnings("divzero")
@SuppressWarnings("divzero")
static void m() {
mi1 /= 0;
mi1 %= 0;
ml1 /= 0L;
ml1 %= 0L;
}
}