void (String[] args) { { Double a = Double.NaN; double b = a;//Double.NaN; if (b == Double.NaN) { ; } } if (Float.NaN != Float.NaN) { } { double a = Double.NaN; double b = Double.NaN; if (Double.NaN == a) {} if (<warning descr="Condition 'b == a' is always 'false'">b == a</warning>) {} } }