MISRAC2012-Rule-1.3_a
In this section:
Synopsis
(Required) There shall be no occurrence of undefined or critical unspecified behavior.
Enabled by default
Yes
Severity/Certainty
High/High
Full description
An expression resulting in 0 is used as a divisor. This check is identical to ATH-div-0, MISRAC2004-1.2_c.
Coding standards
- CERT INT33-C
Ensure that division and modulo operations do not result in divide-by-zero errors
- CWE 369
Divide By Zero
- MISRA C:2004 1.2
(Required) No reliance shall be placed on undefined or unspecified behavior.
- MISRA C:2012 Rule-1.3
(Required) There shall be no occurrence of undefined or critical unspecified behaviour
Code examples
The following code example fails the check and will give a warning:
int foo(void)
{
int a = 3;
a--;
return 5 / (a-2); // a-2 is 0
}
The following code example passes the check and will not give a warning about this issue:
int foo(void)
{
int a = 3;
a--;
return 5 / (a+2); // OK - a+2 is 4
}