...
The
macro and PRECISION()
popcount()
function provide the correct precision for any integer type (see INT35-C. Use correct integer precisions).
Modulo behavior resulting from left-shifting an unsigned integer type is permitted by exception INT30-EX3 to INT30-C. Ensure that unsigned integer operations do not wrap.
...