On 2022-07-16 12:37:51 +0000, Richard Damon said:
> I think the issue is that even with two's complement encoding, the
> standard still allows the use of sign bit set and the rest of the bits
> 0 to be a "trap" representation, and thus the range of valid values be
> symmetrical and not include the extra extreame negative value.
Previous C standards allowed that, but draft C23 does not. It looks
like the example in question simply wasn't updated when the standard
was altered to impose the new restrictions -- it was probably just
overlooked. Of course, examples are not normative, so it does not
affect what the standard actually requires.