On Thu, 7 Jul 2011, Joseph S. Myers wrote:
> On Thu, 7 Jul 2011, Richard Guenther wrote:
>
> > not overflow (what is actually the C semantics - is the
> > multiplication allowed to overflow for unsigned intop? If not
>
> Overflow is not allowed. Formally the multiplication is as-if to infinite
On Thu, 7 Jul 2011, Richard Guenther wrote:
> not overflow (what is actually the C semantics - is the
> multiplication allowed to overflow for unsigned intop? If not
Overflow is not allowed. Formally the multiplication is as-if to infinite
precision, and then there is undefined behavior if the
This tries to make sense of the comments and code in the code
doing the index - size multiplication in pointer-int-sum. It
also fixes a bogus integer-constant conversion which results
in not properly canonicalized integer constants.
The comment in the code claims the index - size multiplication
