This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [PATCH] Fix optimization regression in constant folder
On 9/19/07, Eric Botcazou <ebotcazou@adacore.com> wrote:
> > That only works if you know that there is no overflow. You will have a
> > hard time arguing that we never hit the case that sizetype calculations do
> > overflow.
>
> The premise is that the behavior of the program is undefined in this case.
Sure, but only GCC itself creates arithmetic in types with TYPE_IS_SIZETYPE
set. Do you guarantee we that those never result in overflow?
Richard.