...
Automated Detection
Automated detection of floating-point comparison operators with NaN is straightforward. Sound determination of whether the possibility of an unordered result has been correctly handled is not feasible in the general case. Heuristic checks could be useful.
...
<ac:structured-macro ac:name="unmigrated-wiki-markup" ac:schema-version="1" ac:macro-id="ffdea7d8bd99409a-435fd310-4bb6474c-abf5bb8d-f91a04d5232a0ba914ee9117"><ac:plain-text-body><![CDATA[ | [[FindBugs 2008 | AA. References#FindBugs 08]] | FE: Doomed test for equality to NaN | ]]></ac:plain-text-body></ac:structured-macro> | |
<ac:structured-macro ac:name="unmigrated-wiki-markup" ac:schema-version="1" ac:macro-id="e5965be8521230c6-b88a144b-40104851-b7708048-5b9755cafa1e90e9f0dbffe0"><ac:plain-text-body><![CDATA[ | [[JLS 2005 | AA. References#JLS 05]] | [§4.2.3, Floating-Point Types, Formats, and Values | http://java.sun.com/docs/books/jls/third_edition/html/typesValues.html#4.2.3] | ]]></ac:plain-text-body></ac:structured-macro> |
...