...
In this noncompliant example the result of the cast of *s to unsigned int may result in a value in excess of UCHAR_MAX because of integer promotions, consequently causing the function to violate ARR30-C. VOID Guarantee that array indices are within the valid range, leading to undefined behavior.
...