MISRA Discussion Forums › MISRA C › MISRA C:2004 to MISRA C:2012 migration
Which rule of MISRA C:2012 matches rule 13.3 of MISRA C: 2004

Thread Rating:
  • 0 Vote(s) - 0 Average
  • 1
  • 2
  • 3
  • 4
  • 5
Which rule of MISRA C:2012 matches rule 13.3 of MISRA C: 2004
Qiong Offline
Junior Member
**
Posts: 4
Threads: 3
Joined: Dec 2016
Reputation: 0
#1
14-12-2016, 06:31 PM
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?
<t></t>
Find
Reply


Messages In This Thread

Forum Jump:


Users browsing this thread: 1 Guest(s)