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: Re: [PATCH] Canonical types (1/3)

From: "Doug Gregor" <doug dot gregor at gmail dot com>
To: "Mark Mitchell" <mark at codesourcery dot com>
Cc: "Richard Kenner" <kenner at vlsi1 dot ultra dot nyu dot edu>, gcc-patches at gcc dot gnu dot org
Date: Tue, 5 Dec 2006 14:53:26 -0500
Subject: Re: Re: [PATCH] Canonical types (1/3)
References: <24b520d20611280755x5117377fh7e4e1344575fb17d@mail.gmail.com> <4574C3CA.6080509@codesourcery.com> <10612050227.AA08121@vlsi1.ultra.nyu.edu> <24b520d20612050757y706888fi5b653fbd2ac22717@mail.gmail.com> <10612051900.AA25379@vlsi1.ultra.nyu.edu> <24b520d20612051132t75234ccbt7b5d3a18bf369039@mail.gmail.com> <4575CB62.2030100@codesourcery.com>

On 12/5/06, Mark Mitchell <mark@codesourcery.com> wrote:

The rule *should* be (as per my attribute proposal) that
TYPE_MAIN_VARIANT is always the (well, a, really, due to typedefs)
cv-unqualified form of the type, dropping all "non-semantic" attributes.
 Semantic attributes (like alignment, that actually impact code
generation) should create new types, unrelated by TYPE_*_VARIANT.

I agree completely.

 Cheers,
 Doug

References:
- Re: [PATCH] Canonical types (1/3)
  - From: Mark Mitchell
- Re: [PATCH] Canonical types (1/3)
  - From: Richard Kenner
- Re: Re: [PATCH] Canonical types (1/3)
  - From: Doug Gregor
- Re: Re: [PATCH] Canonical types (1/3)
  - From: Richard Kenner
- Re: Re: Re: [PATCH] Canonical types (1/3)
  - From: Doug Gregor
- Re: [PATCH] Canonical types (1/3)
  - From: Mark Mitchell

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