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
> Well, we need to be consistent and the above documentation is not clear
> what happens on overflow. Either assume overflow of size types wrap or
> overflow on them is undefined - if you stick to one or the other behavior
> then I'd rather have you update all the TYPE_OVERFLOW_* predicates
> than fixing this one single place.
The point is precisely not to choose between wrapping and not wrapping
arithmetics: we want to allow *all* optimizations by pretending that
overflow doesn't exist for size types.
--
Eric Botcazou