...
In this noncompliant code example, the division operation has undefined behavior if denom equals 0 (see INT33-C. Ensure that division and remainder operations do not result in divide-by-zero errors) and may result in a SIGFPE signal to the program:
...