private boolean canBeNaN(@NotNull DfaValue dfaValue) { for (DfaValue eq : getEquivalentValues(dfaValue)) { if (eq instanceof DfaBoxedValue) { eq = ((DfaBoxedValue) eq).getWrappedValue(); } if (eq instanceof DfaConstValue && !isNaN(eq)) { return false; } } return dfaValue instanceof DfaVariableValue && TypeConversionUtil.isFloatOrDoubleType(((DfaVariableValue) dfaValue).getVariableType()); }