...
Comparisons with NaN values can lead to unexpected results.
Rule | Severity | Likelihood | Remediation Cost | Priority | Level |
|---|---|---|---|---|---|
NUM07-J | Low | Probable | Medium | P4 | L3 |
Automated Detection
Automated detection of comparison 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.
| Tool | Version | Checker | Description |
|---|---|---|---|
| CodeSonar |
PMD.Design.BadComparison FB.CORRECTNESS.FE_TEST_IF_EQUAL_TO_NOT_A_NUMBER | Bad comparison Doomed test for equality to NaN | |
| Parasoft Jtest |
|
|
| PB.NUM.NAN |
| Avoid comparisons to Double.NaN or Float.NaN |
Bibliography
...
...