...
In this noncompliant code example, the char-type variable c may be signed or unsigned. Assuming 8-bit, two's complement character types, this code may either print out i/c = 5 (unsigned) or i/c = -17 (signed). I It is much more difficult to reason about the correctness of a program without knowing if these integers are signed or unsigned.
...