...
This compliant solution uses the largest unsigned integer type available if it is guaranteed to hold the result. If it is not, another solution must be found, as discussed in rule INT32-C. Ensure that operations on non-atomic signed integers do not result in overflow.
...