Re: GCC optimizes integer overflow: bug or feature?

[Robert Dewar <dewar at adacore dot com>]

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 @code{@var{val} <<
>  	@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.