...
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| ECLAIR |
| CC2.FLP00 | Fully implemented | ||||||
| Parasoft C/C++test |
| CERT_C-FLP00-a | Floating-point expressions shall not be tested for equality or inequality | ||||||
| R2016b |
| Absorption of float operand | One addition or subtraction operand is absorbed by the other operand |
...