Re: GCC optimizes integer overflow: bug or feature?

[Robert Dewar]

Florian Weimer wrote:

> Something like:
>
>         GCC does not use the latitude given in C99 only to treat
>         certain aspects of signed @samp{<<} as undefined: If the right
>         operand @var{n} is non-negative and less than the width of the
>         left operand @var{val}, the resulting value @address@hidden <<
>         @var{n}} is guaranteed to be equal to @var{val} times 2 to the
>         @var{n}th power under 2-complement arithmetic.
>
> would probably settle the issue, but it's unwieldy.

Seems fine to me and completely clear, but in my experience, a lot
of people prefer to infer from examples than to read perfectly
clear defining text, so I would add an example.