This is the mail archive of the
mailing list for the GCC project.
Re: [PATCH] Fix optimization regression in constant folder
On 10/12/07, Richard Kenner <email@example.com> wrote:
> > We do that all the time now with POINTER_PLUS_EXPR which takes an
> > unsigned sizetype as its offset parameter. There is nothing bad about this.
> It's one thing if we have an expression with an offset that just MIGHT
> be negative, but quite another to do so with an expression that we KNOW
> will be negative, in my opinion. Does the spec of POINTER_PLUS_EXPR really
> require that its offset parameter be an unsigned type? It should be
> any sizetype.
It requires that it is exactly 'sizetype'. Which makes it signed for Ada again.