This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]
Other format:	[Raw text]

Re: [PATCH] Fix optimization regression in constant folder

From: Ian Lance Taylor <iant at google dot com>
To: Eric Botcazou <ebotcazou at adacore dot com>
Cc: "Richard Guenther" <richard dot guenther at gmail dot com>, gcc-patches at gcc dot gnu dot org
Date: 30 Sep 2007 15:51:02 -0700
Subject: Re: [PATCH] Fix optimization regression in constant folder
References: <200709171539.26653.ebotcazou@adacore.com> <200709301522.01416.ebotcazou@adacore.com> <84fc9c000709300626k56568fa3g2a2a6f58f1bca726@mail.gmail.com> <200709301801.39718.ebotcazou@adacore.com>

Eric Botcazou <ebotcazou@adacore.com> writes:

> Then I think that we should have
> 
>   TYPE_IS_SIZETYPE => TYPE_OVERFLOW_WRAPS
>   TYPE_IS_SIZETYPE => TYPE_OVERFLOW_UNDEFINED
>   TYPE_IS_SIZETYPE => !TYPE_OVERFLOW_TRAPS

That doesn't make sense: a type either wraps on overflow or is
undefined on overflow.  I think TYPE_IS_SIZETYPE should imply
TYPE_OVERFLOW_UNDEFINED.

Richard's patch for PR 30364 should test TYPE_OVERFLOW_UNDEFINED, not
TYPE_OVERFLOW_WRAPS.

Ian

Follow-Ups:
- Re: [PATCH] Fix optimization regression in constant folder
  - From: Eric Botcazou

References:
- [PATCH] Fix optimization regression in constant folder
  - From: Eric Botcazou
- Re: [PATCH] Fix optimization regression in constant folder
  - From: Eric Botcazou
- Re: [PATCH] Fix optimization regression in constant folder
  - From: Richard Guenther
- Re: [PATCH] Fix optimization regression in constant folder
  - From: Eric Botcazou

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]