Synopsis: | Constant expressions must not lead to division by zero. |
Language: | C |
Severity Level: | 1 |
Category: | EXPRESSIONS |
Description: |
Division by zero in any expression leads to undefined behaviour. In general, this is only statically detectable in constant expressions.
Example: #define INFINITY 1/0 int big_array[INFINITY]; |