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: [Ada] Avoid doing arithmetics in ENUMERAL_TYPE

From: Richard Guenther <richard dot guenther at gmail dot com>
To: Eric Botcazou <ebotcazou at adacore dot com>
Cc: gcc-patches at gcc dot gnu dot org
Date: Thu, 23 Apr 2009 15:51:44 +0200
Subject: Re: [Ada] Avoid doing arithmetics in ENUMERAL_TYPE
References: <200904230036.37032.ebotcazou@adacore.com> <84fc9c000904230202u2107310ataded67ad5ccae527@mail.gmail.com> <84fc9c000904230522x42b24684ic5a5fec6610c7d8f@mail.gmail.com> <200904231542.12820.ebotcazou@adacore.com>

On Thu, Apr 23, 2009 at 3:42 PM, Eric Botcazou <ebotcazou@adacore.com> wrote:
>> Btw, this change seems to have fixed the type-verification issues
>> I ran into (and for which I added a kludge in the verifier - now removed).
>
> Great. :-) ?In my opinion arithmetics on ENUMERAL_TYPE/BOOLEAN_TYPE should be
> verboten in the middle-end - if you want to do arithmetics, use INTEGER_TYPE.

Yes.  Or even better do not have the ENUMERAL_TYPE and BOOLEAN_TYPE
distinction in the middle-end at all (just for debug information).

Richard.

References:
- [Ada] Avoid doing arithmetics in ENUMERAL_TYPE
  - From: Eric Botcazou
- Re: [Ada] Avoid doing arithmetics in ENUMERAL_TYPE
  - From: Richard Guenther
- Re: [Ada] Avoid doing arithmetics in ENUMERAL_TYPE
  - From: Richard Guenther
- Re: [Ada] Avoid doing arithmetics in ENUMERAL_TYPE
  - From: Eric Botcazou

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