15-12-2016, 08:23 AM
Qiong Wrote:MISRA C: 2004 has Rule 13.3 (required): Floating-point expressions shall not be tested for equality or inequality.
This rule is very useful. We use Mathworks/Polyspace for static analysis. We can find issues of (floating variable == or != 0.0) by turning on MISRA C: 2004, but we miss this check by using MISRA C:2012.
We want to always apply the latest MISRA C standard, but not sure which rule in MISRA C: 2012 matches rule 13.3 of MISRA C: 2004?
https://misra.org.uk/forum/viewtopic.php?f=241&t=1256
<t></t>