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
- From: Eric Botcazou <ebotcazou at adacore dot com>
- To: Ian Lance Taylor <iant at google dot com>
- Cc: Richard Kenner <kenner at vlsi1 dot ultra dot nyu dot edu>, richard dot guenther at gmail dot com, gcc-patches at gcc dot gnu dot org, matz at suse dot de
- Date: Wed, 3 Oct 2007 17:54:22 +0200
- Subject: Re: [PATCH] Fix optimization regression in constant folder
- References: <200709171539.26653.ebotcazou@adacore.com> <200710030911.49293.ebotcazou@adacore.com> <m3ve9oe0z6.fsf@localhost.localdomain>
> > OK, so TYPE_IGNORE_OVERFLOWS + TYPE_OVERFLOW_WRAPS for sizetypes?
>
> That makes sense to me.
Agreed.
Next question: independently of the underlying type of not? For all languages
minus Ada sizetypes are unsigned so TYPE_IGNORE_OVERFLOWS+TYPE_OVERFLOW_WRAPS
is kind of natural. For Ada, sizetypes are signed (Richard explained why) so
TYPE_IGNORE_OVERFLOWS+TYPE_OVERFLOW_WRAPS is not natural.
--
Eric Botcazou