| Synopsis: | Both operands of the remainder operator shall be positive |
| Language: | C++ |
| Severity Level: | 5 |
| Category: | Portability |
| Description: |
Please note that a % b is implementation-defined for negative a or b, and undefined for b == 0. Also note that automatic verification of this rule is often impractical in case of signed types. |