This is the mail archive of the
mailing list for the GCC project.
Re: [PATCH] Fix optimization regression in constant folder
> 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