Java утверждает неприятный побочный эффект — ошибку компилятора? ⇐ JAVA

[Anonymous]

Это

public class test
{
public static void main(String[] args)
{
Object o = null;
assert o != null;
if(o != null)
System.out.println("o != null");
}
}


выводит "o != null"; как 1.5_22, так и 1.6_18. Ошибка компилятора? Комментирование утверждения исправляет это. Кажется, что байт-код переходит непосредственно к оператору печати, когда утверждения отключены:

public static main(String[]) : void
L0
LINENUMBER 5 L0
ACONST_NULL
ASTORE 1
L1
LINENUMBER 6 L1
GETSTATIC test.$assertionsDisabled : boolean
IFNE L2
ALOAD 1: o
IFNONNULL L2
NEW AssertionError
DUP
INVOKESPECIAL AssertionError.() : void
ATHROW
L2
LINENUMBER 8 L2
GETSTATIC System.out : PrintStream
LDC "o != null"
INVOKEVIRTUAL PrintStream.println(String) : void
L3
LINENUMBER 9 L3
RETURN
L4


Подробнее здесь: https://stackoverflow.com/questions/228 ... mpiler-bug