The below code shoud not go to /* code a */ .
float f = Float.NaN;
if (f > 0) {
/* code a */
}
However, if you compile with debug-aide mode,
it seems it goes to /* code a /. When you compile with release mode, it does not go to / code a */, which is correct behavior.
Is this a bug?