...
The result of the / operator is the quotient from the division of the first arithmetic operand by the second arithmetic operand. Division operations are susceptible to divide-by-zero errors. Overflow can also occur during two's-complement signed integer division when the dividend is equal to the minimum (negative) value for the signed integer type and the divisor is equal to -1 (see INT32-C. Ensure that operations on signed integers do not result in overflow).
...
Noncompliant Code Example
This code can result in a divide-by-zero error during the division of the signed operands sl1 and sl2.
...
The modulo operator provides the remainder when two operands of integer type are divided.
...
Noncompliant Code Example
This code can result in a divide-by-zero error during the modulo operation on the signed operands sl1 and sl2.
...